Nicolas Zabel (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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)
4		Ricardo Caferra, Michel Herment, Nicolas Zabel: User-oriented theorem proving with the ATINF graphic proof editor. FAIR 1991: 2-10
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
1		Ricardo Caferra, Nicolas Zabel: Extending Resolution for Model Construction. JELIA 1990: 153-169

Selection of 4 from 8 records - Nicolas Zabel has 3 coauthors