Search the dblp DataBase

Publications of Author

1. Jacques Chazarain, Emmanuel Kounalis
   Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. [Citation Graph (0, 0)][DBLP]
   CADE, 1994, pp:118-132 [Conf]
   
2. Jacques Chazarain, Hélène Collavizza
   Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. [Citation Graph (0, 0)][DBLP]
   CHARME, 1993, pp:109-121 [Conf]
   
3. Isabelle Attali, Jacques Chazarain, Serge Gilette
   Incremental Evaluation of Natural Semantics Specification. [Citation Graph (0, 0)][DBLP]
   PLILP, 1992, pp:87-99 [Conf]
   
4. Jacques Chazarain, Serge Muller
   LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories. [Citation Graph (0, 0)][DBLP]
   RTA, 1995, pp:420-425 [Conf]
   
5. Isabelle Attali, Jacques Chazarain
   Functional Evaluation of Strongly Non Circular Typol Specifications. [Citation Graph (0, 0)][DBLP]
   WAGA, 1990, pp:157-176 [Conf]
   
6. Jacques Chazarain, Serge Muller
   Automated Synthesis of Recursive Programs from a forall-exists Logical Specification. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1998, v:21, n:2, pp:233-275 [Journal]
   
7. Jacques Chazarain, Agustín Riscos Gonzáles, José Antonio Alonso Jimenez, Emilio Briales Morales
   Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:11, n:3, pp:181-194 [Journal]