LUCA SPADA | Pubblicazioni
LUCA SPADA Pubblicazioni
2020 | |
Articolo in rivista | |
Join-completions of partially ordered algebras ANNALS OF PURE AND APPLIED LOGIC. Vol. 171. Pag.1-43 ISSN:0168-0072. | |
Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.apal.2020.102842 Codice identificativo ISI: WOS:000568991900005 Codice identificativo SCOPUS: 2-s2.0-85085771956 | |
Visualizza sul Database dei Prodotti (IRIS) |
2020 | |
Contributo in Atti di convegno | |
Unification in L ukasiewicz Logic with a Finite Number of Variables. In: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings Springer Vol.1239, Pag.622-633 ISBN:978-3-030-50153-2 | |
Information Processing and Management of Uncertainty in Knowledge-Based Systems Lisbona June 15–19, 2020, | |
Abbadini, Marco; DI STEFANO, Federica; Spada, Luca | |
Versione online | |
Digital Object Identifier (DOI): 10.1007/978-3-030-50153-2_46 Codice identificativo SCOPUS: 2-s2.0-85086231827 | |
Visualizza sul Database dei Prodotti (IRIS) |