Jean-Pierre Jouannaud
Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex - France
Email:
jouannaud@lix.polytechnique.fr
Téléphone: +33 1 69 33 40 73
Fax: +33 1 69 33 30 14
- CV
- Teaching Interests (in french)
- Research Interests (To know more, read my CV)
- Rewriting: confluence, termination, modularity properties
- Theorem Proving: automated inductive proofs
- Unification: unification modulo, constraint solving
- Algebraic specifications: OBJ and related languages
- Membership Equational Logic
- Higher-order term rewriting systems: strong normalization, confluence
- Type theory: the Calculus of Algebraic Constructions
- CALIFE
(in french), AVERROES (in french)
- Publications since 94
- Recent and On-going phd theses
- Stages de
DEA en cours ou libres
-
My favourite scientific associations
- My Favourite Conferences
- My Favourite Journals
- My Dreams
URL originale de cette page:
">
http://
Modifiée pour la dernière fois le:
Tous les documents fournis le sont sous la responsabilité de
leurs auteurs, et ne représentent pas nécessairement les
positions officielles de l'École polytechnique. Les
informations données le sont de bonne foi, mais leur
véracité ne saurait être garantie.