Jacques Chazarain (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Jacques Chazarain, Emmanuel Kounalis: Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. CADE 1994: 118-132

Selection of 1 from 7 records - Jacques Chazarain has 8 coauthors