Jacques Chazarain

Publication Activity (10 Years)

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

Publications

Jacques Chazarain, Serge Muller
Automated Synthesis of Recursive Programs from a forall-exists Logical Specification. J. Autom. Reason. 21 (2) (1998)
Jacques Chazarain, Serge Muller
LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories. RTA (1995)
Jacques Chazarain, Emmanuel Kounalis
Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. CADE (1994)
Jacques Chazarain, Hélène Collavizza
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. CHARME (1993)
Isabelle Attali, Jacques Chazarain, Serge Gilette
Incremental Evaluation of Natural Semantics Specification. PLILP (1992)
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. J. Symb. Comput. 11 (3) (1991)
Isabelle Attali, Jacques Chazarain
Functional Evaluation of Strongly Non Circular Typol Specifications. WAGA (1990)