| 1993 |
|---|
| 8 | | Nicolas Zabel:
Analytic Tableaux for Finite and Infinite Post Logics.
MFCS 1993: 767-776 |
| 1992 |
|---|
| 7 | | Nicolas Zabel:
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.
JELIA 1992: 304-318 |
| 6 | | Nicolas Zabel:
Deciding Fragments of the First Order Logic within an Extended Tableau Method.
TABLEAUX 1992: 88-91 |
| 5 | | Ricardo Caferra,
Nicolas Zabel:
A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving.
J. Symb. Comput. 13(6): 613-642 (1992) |
| 1991 |
|---|
| 4 | | Ricardo Caferra,
Michel Herment,
Nicolas Zabel:
User-oriented theorem proving with the ATINF graphic proof editor.
FAIR 1991: 2-10 |
| 1990 |
|---|
| 3 | | 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.
AIMSA 1990: 23-32 |
| 2 | | Thomas Käufl,
Nicolas Zabel:
The Theorem Prover of the Program Verifier Tatzelwurm.
CADE 1990: 657-658 |
| 1 | | Ricardo Caferra,
Nicolas Zabel:
Extending Resolution for Model Construction.
JELIA 1990: 153-169 |
