dblp.uni-trier.dewww.uni-trier.de

Nicolas Zabel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1993
8EENicolas Zabel: Analytic Tableaux for Finite and Infinite Post Logics. MFCS 1993: 767-776
1992
7EENicolas 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
2EEThomas Käufl, Nicolas Zabel: The Theorem Prover of the Program Verifier Tatzelwurm. CADE 1990: 657-658
1EERicardo Caferra, Nicolas Zabel: Extending Resolution for Model Construction. JELIA 1990: 153-169

Coauthor Index

1Ricardo Caferra [1] [3] [4] [5]
2Michel Herment [4]
3Thomas Käufl [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)