NICOLOSI ASMUNDO, MARIANNA

NICOLOSI ASMUNDO, MARIANNA  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 69 (tempo di esecuzione: 0.006 secondi).
Titolo Data di pubblicazione Autore(i) File
28th Italian Conference on Computational Logic (CILC 2013) 1-gen-2013 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A consistent operation to compose Abstract State Machines and rigorous techniques to define, recognize and prove properties of distributed ASMs 1-gen-2002 NICOLOSI ASMUNDO, Marianna; Riccobene, E.
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 1-gen-2011 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs 1-gen-2010 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 1-gen-2001 NICOLOSI ASMUNDO, Marianna
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A graphical representation of relational formulae with complementation 1-gen-2010 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.
A Tableau-Based Decision Procedure for a Fragment of the Hyperset Theory 1-gen-2009 Cantone, Domenico; Felici, M; NICOLOSI ASMUNDO, Marianna
An efficient relational deductive system for propositional non-classical logics 1-gen-2006 Formisano, A; NICOLOSI ASMUNDO, Marianna
An ontology for ceramics cataloguing 1-gen-2015 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria D., F; Trapani, F.
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 1-gen-2022 Bella, Giampaolo; Cantone, Domenico; Longo, Cristiano; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
A C++ reasoner for the description logic DL4;× D? 1-gen-2017 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
Conjunctive Query Answering via a Fragment of Set Theory 1-gen-2016 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, D. F.
Consistent integration for sequential Abstract State Machines 1-gen-2003 NICOLOSI ASMUNDO, Marianna; Riccobene, E.
Cumulative hierarchies and computability over universes of sets 1-gen-2008 Cantone, Domenico; Chiaruttini, C; NICOLOSI ASMUNDO, Marianna; Omodeo, E. G.
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. 1-gen-2016 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
Distant reading through ontologies: The case study of catania's benedictines monastery 1-gen-2017 Cantale, Claudia; Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 1-gen-2014 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orlowska, E.