Travelled to:
1 × USA
Collaborated with:
C.Durante J.J.Mercier
Talks about:
interpret (1) structur (1) system (1) model (1) logic (1) non (1)
Person: R. Alali
DBLP: Alali:R=
Contributed to:
Wrote 1 papers:
- DAC-1984-AlaliDM #logic
- A model for non interpreted structures of logical systems (RA, CD, JJM), pp. 258–264.