This special issue of ACM Transactions on Computational Logic is devoted to papers first presented at the 17th Annual Conference of the European Association for Computer Science Logic (CSL 2008), held September 16–19, 2008, in Bertinoro, near Bologna (Italy).
CSL 2008 special issue / M. Kaminiski; S. Martini. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - STAMPA. - (2010), pp. 1-210. [10.1145/1805950]
CSL 2008 special issue
MARTINI, SIMONE
2010
Abstract
This special issue of ACM Transactions on Computational Logic is devoted to papers first presented at the 17th Annual Conference of the European Association for Computer Science Logic (CSL 2008), held September 16–19, 2008, in Bertinoro, near Bologna (Italy).File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
