IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 70
Titolo Data di pubblicazione Autore(i) File
Global Skolemization with grouped quantifiers 1-gen-1997 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Omodeo, E. G. file da validare
A further and effective liberalization of the delta-rule in free variable semantic tableaux 1-gen-2000 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A further and effective liberalization of the delta-rule in free variable semantic tableaux 1-gen-2000 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A Formal Approach for Specification Composition and Inconsistency Handling Using ASMs 1-gen-2001 NICOLOSI ASMUNDO, Marianna file da validare
Using ASMs for Inconsistency Handling through ViewPoint Framework 1-gen-2001 NICOLOSI ASMUNDO, Marianna; Riccobene, E. file da validare
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. file da validare
Consistent integration for sequential Abstract State Machines 1-gen-2003 NICOLOSI ASMUNDO, Marianna; Riccobene, E. file da validare
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A Sound Framework for $\delta$-Rule Variants in Free Variable Semantic Tableaux (Short abstract) 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
Towards an efficient relational deductive system for propositional non-classical logics 1-gen-2006 Formisano, A; NICOLOSI ASMUNDO, Marianna file da validare
An efficient relational deductive system for propositional non-classical logics 1-gen-2006 Formisano, A; NICOLOSI ASMUNDO, Marianna
Skolem functions and Hilbert's epsilon-terms in Free Variable Tableau Systems 1-gen-2006 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
On the satisfiability problem for a 3-level quantified syllogistic 1-gen-2007 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
On the satisfiability problem for a 3-level quantified syllogistic and applications 1-gen-2007 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A Sound Framework for delta-rule Variants in Free Variable Semantic Tableaux 1-gen-2007 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
Global skolemization with grouped quantifiers 1-gen-2007 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Omodeo, E. file da validare
Gerarchie Cumulative e Computabilità sopra Universi di Insiemi 1-gen-2007 Cantone, Domenico; Chiaruttini, C; NICOLOSI ASMUNDO, Marianna; Omodeo, E. file da validare
Cumulative hierarchies and computability over universes of sets 1-gen-2008 Cantone, Domenico; Chiaruttini, C; NICOLOSI ASMUNDO, Marianna; Omodeo, E. G. file da validare
A graphical representation of relational formulae with complementation 1-gen-2008 Cantone, Domenico; A., Formisano; NICOLOSI ASMUNDO, Marianna; E. G., Omodeo file da validare
On the satisfiability problem for a 3-level quantified syllogistic 1-gen-2008 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
Mostrati risultati da 1 a 20 di 70
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile