Login / Signup
FTP (LNCS Selection)
1998
1999
2000
1998
2000
Keyphrases
Publications
volume 1761, 2000
Automated Deduction in Classical and Non-Classical Logics, Selected Papers
FTP (LNCS Selection)
1761 (2000)
1998
Stéphane Demri
,
Rajeev Goré
)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic.
FTP (LNCS Selection)
(1998)
Viorica Sofronie-Stokkermans
-Logics.
FTP (LNCS Selection)
(1998)
Thierry Boy de la Tour
On the Complexity of Finite Sorted Algebras.
FTP (LNCS Selection)
(1998)
Andrea Formisano
,
Eugenio G. Omodeo
An Equational Re-engineering of Set Theories.
FTP (LNCS Selection)
(1998)
Ullrich Hustadt
,
Renate A. Schmidt
Issues of Decidability for Description Logics in the Framework of Resolution.
FTP (LNCS Selection)
(1998)
Ingo Dahn
Interpretation of a Mizar-Like Logic in First-Order Logic.
FTP (LNCS Selection)
(1998)
Christian G. Fermüller
Implicational Completeness of Signed Resolution.
FTP (LNCS Selection)
(1998)
Alexander Leitsch
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.
FTP (LNCS Selection)
(1998)
Domenico Cantone
,
Calogero G. Zarba
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.
FTP (LNCS Selection)
(1998)
Deepak Kapur
,
G. Sivakumar
Proving Associative-Communicative Termination Using RPO-Compatible Orderings.
FTP (LNCS Selection)
(1998)
David A. Plaisted
,
Yunshan Zhu
Replacement Rules with Definition Detection.
FTP (LNCS Selection)
(1998)
Reinhard Pichler
Completeness and Redundancy in Constrained Clause Logic.
FTP (LNCS Selection)
(1998)
Domenico Cantone
,
Marianna Nicolosi Asmundo
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
FTP (LNCS Selection)
(1998)
Grigore Rosu
,
Joseph A. Goguen
Hidden Congruent Deduction.
FTP (LNCS Selection)
(1998)
Melvin Fitting
Higher-Order Modal Logic - A Sketch.
FTP (LNCS Selection)
(1998)
Reinhard Pichler
Extending Decidable Clause Classes via Constraints.
FTP (LNCS Selection)
(1998)
Gilles Dowek
Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.
FTP (LNCS Selection)
(1998)
Aida Pliuskeviciene
Effective Properties of Some First-Order Intuitionistic Modal Logics.
FTP (LNCS Selection)
(1998)
Claus-Peter Wirth
Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization.
FTP (LNCS Selection)
(1998)