Giacomo LENZI | Publications

32334Deciding the existence of uniform interpolants over transitive models

	2011
	Articolo in rivista
	Deciding the existence of uniform interpolants over transitive models ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 50. Pag.185-196 ISSN:0933-5846.
	Lenzi, Giacomo; Giovanna, D'Agostino
	Digital Object Identifier (DOI): 10.1007/s00153-010-0208-5 Codice identificativo ISI: WOS:000286668400010 Codice identificativo SCOPUS: 2-s2.0-79251586291
	Show it in Product Database (IRIS)

32641On a positive set theory with inequality

	2011
	Articolo in rivista
	On a positive set theory with inequality MATHEMATICAL LOGIC QUARTERLY. Vol. 57. Pag.474-480 ISSN:0942-5616.
	Lenzi, Giacomo
	Digital Object Identifier (DOI): 10.1002/malq.201010022 Codice identificativo ISI: WOS:000295573600004 Codice identificativo SCOPUS: 2-s2.0-80053085957
	Show it in Product Database (IRIS)

98186On modal mu-calculus in S5 and applications.

	2011
	Contributo in Atti di convegno
	On modal mu-calculus in S5 and applications.. In: Proceedings of the 26th Italian Conference on Computational Logic Aachen CEUR-WS.org Vol.CEUR Workshop Proceedings volume = 810,, Pag.9-24
	CILC 2011 Pescara, Italy, August 31 - September 2, 2011
	Lenzi, Giacomo; D'Agostino, Giovanna
	Codice identificativo ISI: WOS:000320502200007 Codice identificativo SCOPUS: 2-s2.0-84883338623
	Show it in Product Database (IRIS)

37573On P-transitive graphs and applications

	2011
	Contributo in Atti di convegno
	On P-transitive graphs and applications. In: GANDALF 2011 O. Association Pag.222-236
	GANDALF 2011 Minori, Italy 15-17 June 2011
	Lenzi, Giacomo
	Digital Object Identifier (DOI): 10.4204/EPTCS.54.16 Codice identificativo SCOPUS: 2-s2.0-85048458745
	Show it in Product Database (IRIS)