dblp.uni-trier.dewww.uni-trier.de

Jacques Chazarain Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
6EEJacques Chazarain, Serge Muller: LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories. RTA 1995: 420-425
1994
5EEJacques 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
3EEIsabelle 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
1EEIsabelle Attali, Jacques Chazarain: Functional Evaluation of Strongly Non Circular Typol Specifications. WAGA 1990: 157-176

Coauthor Index

1Isabelle Attali [1] [3]
2Hélène Collavizza [4]
3Serge Gilette [3]
4Agustín Riscos Gonzáles [2]
5José Antonio Alonso Jimenez [2]
6Emmanuel Kounalis [5]
7Emilio Briales Morales [2]
8Serge Muller [6] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)