Jacques Chazarain

According to our database, Jacques Chazarain authored at least 7 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Automated Synthesis of Recursive Programs from a forall-exists Logical Specification.

Jacques Chazarain, Serge Muller

J. Autom. Reason., 1998

1995

LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories.

Jacques Chazarain, Serge Muller

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1994

Mechanizable Inductive Proofs for a Class of Forall Exists Formulas.

Jacques Chazarain, Emmanuel Kounalis

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.

Jacques Chazarain, Hélène Collavizza

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Incremental Evaluation of Natural Semantics Specification.

Isabelle Attali, Jacques Chazarain, Serge Gilette

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic.

Jacques Chazarain, Agustín Riscos Gonzáles, José Antonio Alonso Jimenez, Emilio Briales Morales

J. Symb. Comput., 1991

1990

Functional Evaluation of Strongly Non Circular Typol Specifications.

Isabelle Attali, Jacques Chazarain

Proceedings of the Attribute Grammars and their Applications, 1990