Sfoglia per Autore
Completeness and Decidability of the Deducibility Problem for Some Classes of Formulas of Set Theory
1987-01-01 Policriti, Alberto
Decision Procedures for Elementary Sublanguages of Set Theory. IX. Unsolvability of the decision problem for a restricted subclass of delta-0 formulas of set theory.
1988-01-01 Parlamento, F; Policriti, Alberto
Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory
1988-01-01 Parlamento, Franco; Policriti, Alberto
Decidability results for classes of purely universal formulae and quantifiers elimination in Set Theory
1988-01-01 Cantone, D; Cutello, V; Policriti, Alberto
The Logically Simplest Form of the Infinity Axiom
1988-01-01 Parlamento, Franco; Policriti, Alberto
The Automation of Syllogistic II. Optimization and Complexity Issues
1990-01-01 Cantone, D; Omodeo, E; Policriti, Alberto
Note on: The Logically Simplest Form of the Infinity Axiom
1990-01-01 Parlamento, Franco; Policriti, Alberto
Truth Table for a Combinatorial Kernel of Set Theories
1990-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A contribution to the Automated Treatment of Membership Theories
1990-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability.
1991-01-01 Parlamento, Franco; Policriti, Alberto
Expressing Infinity without Foundation
1991-01-01 Parlamento, Franco; Policriti, Alberto
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory
1993-01-01 Parlamento, Franco; Policriti, Alberto
A derived algorithm for evaluating epsilon-expressions over abstract sets
1993-01-01 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A set-theoretic translation method for polymodal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
T-theorem proving. I
1995-01-01 Policriti, Alberto; Schwartz, J. T.
A set-theoretic translation method for (poly)modal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Set-theoretic decidability results for modal theorem proving
1996-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Decidability results for metric and layered temporal logics
1996-01-01 Montanari, Angelo; Policriti, Alberto
Complementation in the lattice of equivalence relations
1996-01-01 Dikranjan, Dikran; Policriti, Alberto
Integrating lists, multisets, and sets in a logic programming framework.
1996-01-01 Dovier, Agostino; Policriti, Alberto; G., Rossi
Decidability of E*A-sentences in Membership Theories
1996-01-01 Omodeo, E.; Parlamento, Franco; Policriti, Alberto
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review)
1997-01-01 Montanari, Angelo; Policriti, Alberto
Modal deduction in second-order logic and set theory. I
1997-01-01 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
1997-01-01 Montanari, Angelo; Policriti, Alberto
Witnessing differences without redundancies
1997-01-01 Parlamento, Franco; Policriti, Alberto; Rao, Kpsb
Book review: Temporal logic. From ancient ideas to artificial intelligence
1997-01-01 Montanari, Angelo; Policriti, Alberto
On T Logic Programming
1997-01-01 Dovier, A.; Formisano, A.; Policriti, A.
Modal deduction in second-order logic and set theory. II
1998-01-01 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm
1998-01-01 Dovier, Agostino; Policriti, Alberto; Rossi, G.
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case
1999-01-01 Dovier, Agostino; Omodeo, E.; Policriti, Alberto
Finite families with few symmetric differences
1999-01-01 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
Theories of omega-layered metric temporal structures
1999-01-01 Montanari, Angelo; Peron, A; Policriti, Alberto
Editorial
1999-01-01 Montanari, Angelo; Policriti, Alberto; Venema, Y.
T-resolution: refinements and model elimination
1999-01-01 Formisano, A.; Policriti, Alberto
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
1999-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Supporting automated deduction in first-order modal logics
2000-01-01 Montanari, Angelo; Policriti, Alberto; Slanina, M.
The taming (timing) of the states
2000-01-01 Montanari, Angelo; Peron, Adriano; Policriti, Alberto
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language
2000-01-01 Falaschi, M.; Policriti, Alberto; Villanueva, A.
Towards tableau-based decision procedures for non-well-founded fragments of set theory
2000-01-01 Piazza, Carla; Policriti, Alberto
Comparing Expressiveness of Set Constructor Symbols
2000-01-01 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Ackermann Encoding, Bisimulations, and OBDD's
2001-01-01 Piazza, Carla; Policriti, Alberto
Modelling concurrent systems specified in a temporal concurrent constraint language -I
2001-01-01 Falaschi, M; Policriti, Alberto; Villanueva, A.
Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets
2001-01-01 Cantone, D.; Omodeo, E. G.; Policriti, Alberto
A logical approach to time granularity
2001-01-01 Montanari, Angelo; Policriti, Alberto
A Fast Bisimulation Algorithm
2001-01-01 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Simulation as Coarsest Partition Problem
2002-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Extending Kamp's Theorem to Model Time Granularity
2002-01-01 Montanari, Angelo; Peron, A.; Policriti, Alberto
Automated Search for LTR Retrotransposons
2002-01-01 Morgante, Michele; Policriti, Alberto; Vitacolonna, Nicola; Zuccolo, Andrea
Rank-Based Symbolic Bisimulation (and Model Checking)
2002-01-01 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
Simulation Reduction as Constraint
2002-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto
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