Giacomo LENZI | Pubblicazioni

2479On the Modal mu-calculus over finite symmetric graphs

	2015
	Articolo in rivista
	On the Modal mu-calculus over finite symmetric graphs MATHEMATICA SLOVACA. Vol. 65. Pag.731-746 ISSN:0139-9918.
	Giovanna, D'Agostino; Lenzi, Giacomo
	Digital Object Identifier (DOI): 10.1515/ms-2015-0052 Codice identificativo ISI: WOS:000365543500004 Codice identificativo SCOPUS: 2-s2.0-84945131649
	Visualizza sul Database dei Prodotti (IRIS)

2791Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic

	2015
	Articolo in rivista
	Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic THEORETICAL COMPUTER SCIENCE. Vol. 563. Pag.75-85 ISSN:0304-3975.
	D'Agostino, Giovanna; Lenzi, Giacomo
	Digital Object Identifier (DOI): 10.1016/j.tcs.2014.08.015 Codice identificativo ISI: WOS:000348951200003 Codice identificativo SCOPUS: 2-s2.0-84926383744
	Visualizza sul Database dei Prodotti (IRIS)

2644On generalizing the Nullstellensatzfor MV algebras

	2015
	Articolo in rivista
	On generalizing the Nullstellensatzfor MV algebras JOURNAL OF LOGIC AND COMPUTATION. Vol. 25. Pag.701-717 ISSN:0955-792X.
	L. P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo
	Digital Object Identifier (DOI): doi:10.1093/logcom/exu042 Codice identificativo ISI: WOS:000355952200009 Codice identificativo SCOPUS: 2-s2.0-84942118868
	Visualizza sul Database dei Prodotti (IRIS)

98189Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions

	2015
	Contributo in Atti di convegno
	Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. In: FUZZ-IEEE 2015 New York Institute of Electrical and Electronics Engineers Inc. Pag.1-8 ISBN:978-146737428-6
	FUZZ-IEEE 2015 Istanbul 2-5 agosto 2015
	DI NOLA, Antonio; Lenzi, Giacomo; Vitale, Gaetano
	Codice identificativo ISI: WOS:000370288300117 Codice identificativo SCOPUS: 2-s2.0-84975701703
	Visualizza sul Database dei Prodotti (IRIS)