Pubblicazioni

Salvatore LA TORRE Pubblicazioni


2011
Contributo in volume (Capitolo o Saggio)
Winning CaRet Games with Modular Strategies.
In Fabio Fioravanti CILC 2011 26th Italian Conference on Computational Logic Pag.327-331
ISSN:1613-0073.
DE CRESCENZO, Ilaria; LA TORRE, Salvatore
Versione online
Codice identificativo SCOPUS: 2-s2.0-84883399932
Visualizza sul Database dei Prodotti (IRIS)
2011
Curatela
Curatore/i di Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science. Di Giovanna, D'Agostino; LA TORRE, SalvatoreVol. 54.
Giovanna, D'Agostino; LA TORRE, Salvatore
Digital Object Identifier (DOI): 10.4204/EPTCS.54
Codice identificativo SCOPUS: 2-s2.0-85048471157
Visualizza sul Database dei Prodotti (IRIS)