Nicolas Zabel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1990–1993
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | MFCS | Analytic Tableaux for Finite and Infinite Post Logics. | Nicolas Zabel |
| 1992 | JELIA | An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. | Nicolas Zabel |
| 1992 | TABLEAUX | Deciding Fragments of the First Order Logic within an Extended Tableau Method. | Nicolas Zabel |
| 1990 | AIMSA | An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. | Ricardo Caferra, Nicolas Zabel |
| 1990 | CADE | The Theorem Prover of the Program Verifier Tatzelwurm. | Thomas Kufl, Nicolas Zabel |
| 1990 | JELIA | Extending Resolution for Model Construction. | Ricardo Caferra, Nicolas Zabel |