Jean-Marie Hullot

Statistics

Publications

Citations

553

H-Index

Active since

1980

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Jean-Marie Hullot is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, inductive theorem proving, and computing.

Publications per year

1980–1987

Publications

Proofs by induction in equational theories with constructors

Gérard Huet, Jean-Marie Hullot · Journal of Computer and System Sciences · 1982 · 264 citations · Full text

Natural Sciences, Computer Science, Mathematics +17

European conference on object-oriented programming on ECOOP '87

Jean Bézivín, Jean-Marie Hullot, Pierre Cointe et al. · 1987 · 172 citations

Computing, Computer Science, Computer Systems +13

Proofs by induction in equational theories with constructors

Gérard Huet, Jean-Marie Hullot · 1980 · 78 citations

Natural Sciences, Computer Science, Mathematics +17

LELISP, a portable and efficient LISP system

Jérôme Chailloux, Ma ́thieu Devin, Jean-Marie Hullot · 1984 · 39 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–4 of 4