J
Jean-Marie Hullot
Researcher at French Institute for Research in Computer Science and Automation
Publications - 2
Citations - 389
Jean-Marie Hullot is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Mathematical proof & Initial algebra. The author has an hindex of 2, co-authored 2 publications receiving 388 citations.
Papers
More filters
Journal ArticleDOI
Proofs by induction in equational theories with constructors
Gérard Huet,Jean-Marie Hullot +1 more
TL;DR: This work shows how to prove (and disprove) theorems in the initial algebra of an equational variety by a simple extension of the Knuth-Bendix completion algorithm, and applications to proofs of programs computing over data structures, and to algebraic summation identities.
Proceedings ArticleDOI
Proofs by induction in equational theories with constructors
Gérard Huet,Jean-Marie Hullot +1 more
TL;DR: This work shows how to prove (and disprove) theorems in the initial algebra of an equational variety by a simple extension of the Knuth-Bendix completion algorithm, and applications to proofs of programs computing over data structures, and to algebraic summation identities.