IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 172
Titolo Data di pubblicazione Autore(i) File
Decidability of E*A-sentences in Membership Theories 1-gen-1996 Omodeo, E.; Parlamento, Franco; Policriti, Alberto
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 1-gen-1997 Montanari, Angelo; Policriti, Alberto
Book review: Temporal logic. From ancient ideas to artificial intelligence 1-gen-1997 Montanari, Angelo; Policriti, Alberto
On T Logic Programming 1-gen-1997 Dovier, A.; Formisano, A.; Policriti, A.
Witnessing differences without redundancies 1-gen-1997 Parlamento, Franco; Policriti, Alberto; Rao, Kpsb
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics 1-gen-1997 Montanari, Angelo; Policriti, Alberto
Modal deduction in second-order logic and set theory. I 1-gen-1997 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Modal deduction in second-order logic and set theory. II 1-gen-1998 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 1-gen-1998 Dovier, Agostino; Policriti, Alberto; Rossi, G.
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 1-gen-1999 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Editorial 1-gen-1999 Montanari, Angelo; Policriti, Alberto; Venema, Y.
Theories of omega-layered metric temporal structures 1-gen-1999 Montanari, Angelo; Peron, A; Policriti, Alberto
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 1-gen-1999 Dovier, Agostino; Omodeo, E.; Policriti, Alberto
T-resolution: refinements and model elimination 1-gen-1999 Formisano, A.; Policriti, Alberto
Finite families with few symmetric differences 1-gen-1999 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language 1-gen-2000 Falaschi, M.; Policriti, Alberto; Villanueva, A.
Supporting automated deduction in first-order modal logics 1-gen-2000 Montanari, Angelo; Policriti, Alberto; Slanina, M.
The taming (timing) of the states 1-gen-2000 Montanari, Angelo; Peron, Adriano; Policriti, Alberto
Comparing Expressiveness of Set Constructor Symbols 1-gen-2000 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Towards tableau-based decision procedures for non-well-founded fragments of set theory 1-gen-2000 Piazza, Carla; Policriti, Alberto
Mostrati risultati da 21 a 40 di 172
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