Travelled to:1 × France
Collaborated with:∅
Talks about:support (1) model (1) logic (1) vari (1) time (1)
Person: Alan M. Thompson
DBLP: Thompson:Alan_M=
Contributed to:
Wrote 1 papers:
- CADE-1980-Thompson #logic
- Logical Support in a Time-Varying Model (AMT), pp. 143–153.












