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