Search the dblp DataBase

Publications of Author

1. Ricardo Caferra, Nicolas Zabel
   An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. [Citation Graph (0, 0)][DBLP]
   AIMSA, 1990, pp:23-32 [Conf]
   
2. Thomas Käufl, Nicolas Zabel
   The Theorem Prover of the Program Verifier Tatzelwurm. [Citation Graph (0, 0)][DBLP]
   CADE, 1990, pp:657-658 [Conf]
   
3. Ricardo Caferra, Michel Herment, Nicolas Zabel
   User-oriented theorem proving with the ATINF graphic proof editor. [Citation Graph (0, 0)][DBLP]
   FAIR, 1991, pp:2-10 [Conf]
   
4. Ricardo Caferra, Nicolas Zabel
   Extending Resolution for Model Construction. [Citation Graph (0, 0)][DBLP]
   JELIA, 1990, pp:153-169 [Conf]
   
5. Nicolas Zabel
   An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
   JELIA, 1992, pp:304-318 [Conf]
   
6. Nicolas Zabel
   Analytic Tableaux for Finite and Infinite Post Logics. [Citation Graph (0, 0)][DBLP]
   MFCS, 1993, pp:767-776 [Conf]
   
7. Nicolas Zabel
   Deciding Fragments of the First Order Logic within an Extended Tableau Method. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1992, pp:88-91 [Conf]
   
8. Ricardo Caferra, Nicolas Zabel
   A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:13, n:6, pp:613-642 [Journal]