This volume contains the proceedings of the Workshop on Logic, Models and Computer Science (LMCS’06). The workshop was held in Camerino, Italy on April 20, 21 and 22, 2006. The aim of LMCS was bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science. LMCS was also organized to honor the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area.

Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)

CORRADINI, Flavio;TOFFALORI, Carlo
2009-01-01

Abstract

This volume contains the proceedings of the Workshop on Logic, Models and Computer Science (LMCS’06). The workshop was held in Camerino, Italy on April 20, 21 and 22, 2006. The aim of LMCS was bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science. LMCS was also organized to honor the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area.
2009
267
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/111818
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact