Giacomo LENZI | Publications

24142On modal $mu$-calculus with explicit interpolants

	2006
	Articolo in rivista
	On modal $mu$-calculus with explicit interpolants JOURNAL OF APPLIED LOGIC. Vol. 4. Pag.256-278 ISSN:1570-8683.
	Lenzi, Giacomo; G., D'Agostino
	Digital Object Identifier (DOI): 10.1016/j.jal.2005.06.008 Codice identificativo SCOPUS: 2-s2.0-33746842258
	Show it in Product Database (IRIS)

24143Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic

	2006
	Articolo in rivista
	Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic JOURNAL OF APPLIED NON-CLASSICAL LOGICS. Vol. 16. Pag.297-309 ISSN:1166-3081.
	Lenzi, Giacomo; D'Agostino, G.; French, T.
	Digital Object Identifier (DOI): 10.3166/jancl.16.297-309 Codice identificativo SCOPUS: 2-s2.0-38049038249
	Show it in Product Database (IRIS)

24174About a positive set theory with equality,

	2006
	Articolo in rivista
	About a positive set theory with equality, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 169. Pag.111-120 ISSN:1571-0661.
	Lenzi, Giacomo
	Codice identificativo SCOPUS: 2-s2.0-33847166542
	Show it in Product Database (IRIS)

24170The transitive $mu$-Calculus is B"uchi definable,

	2006
	Articolo in rivista
	The transitive $mu$-Calculus is B"uchi definable, WSEAS TRANSACTIONS ON MATHEMATICS. Vol. 5 (9). Pag.1021-1026 ISSN:1109-2769.
	Lenzi, Giacomo
	Codice identificativo SCOPUS: 2-s2.0-33746889058
	Show it in Product Database (IRIS)