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.