Giacomo LENZI | Publications

132508On modal mu-calculus over finite graphs with bounded strongly connected components.

	2010
	Articolo in rivista
	On modal mu-calculus over finite graphs with bounded strongly connected components. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. Pag.55-71 ISSN:2075-2180.
	Lenzi, G.; D'Agostino, G.
	Digital Object Identifier (DOI): 10.4204/EPTCS.25.9 Codice identificativo SCOPUS: 2-s2.0-85009843347
	Show it in Product Database (IRIS)

32340Representation of MV algebras by regular ultrapowers of [0,1]

	2010
	Articolo in rivista
	Representation of MV algebras by regular ultrapowers of [0,1] ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 49/4. Pag.491-500 ISSN:0933-5846.
	DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca
	Versione online
	Digital Object Identifier (DOI): 10.1007/s00153-010-0182-y Codice identificativo ISI: WOS:000277246000004 Codice identificativo SCOPUS: 2-s2.0-84893678204
	Show it in Product Database (IRIS)

32335On the Mu-calculus over transitive and finite transitive frames

	2010
	Articolo in rivista
	On the Mu-calculus over transitive and finite transitive frames THEORETICAL COMPUTER SCIENCE. Vol. 411. Pag.4273-4290 ISSN:0304-3975.
	Lenzi, Giacomo; Giovanna, D'Agostino
	Digital Object Identifier (DOI): 10.1016/j.tcs.2010.09.002 Codice identificativo ISI: WOS:000284493500001 Codice identificativo SCOPUS: 2-s2.0-78049247892
	Show it in Product Database (IRIS)

32342Recent results on Modal Mu-calculus: a survey

	2010
	Articolo in rivista
	Recent results on Modal Mu-calculus: a survey RENDICONTI DELL'ISTITUTO DI MATEMATICA DELL'UNIVERSITÀ DI TRIESTE. Vol. 42. Pag.235-255 ISSN:0049-4704.
	Lenzi, Giacomo
	Codice identificativo SCOPUS: 2-s2.0-85012863427
	Show it in Product Database (IRIS)