Data di Pubblicazione:
2001
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
S. RONCHI DELLA ROCCA; ROVERSI L.
Link alla scheda completa:
Titolo del libro:
Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings
Pubblicato in: