Nicolas Zabel

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Nicolas Zabel
Analytic Tableaux for Finite and Infinite Post Logics. MFCS (1993)
Nicolas Zabel
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. JELIA (1992)
Ricardo Caferra, Nicolas Zabel
A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving. J. Symb. Comput. 13 (6) (1992)
Nicolas Zabel
Deciding Fragments of the First Order Logic within an Extended Tableau Method. TABLEAUX (1992)
Ricardo Caferra, Michel Herment, Nicolas Zabel
User-oriented theorem proving with the ATINF graphic proof editor. FAIR (1991)
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)
Ricardo Caferra, Nicolas Zabel
Extending Resolution for Model Construction. JELIA (1990)
Thomas Käufl, Nicolas Zabel
The Theorem Prover of the Program Verifier Tatzelwurm. CADE (1990)