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