Login / Signup
Jean-Pierre Jouannaud
ORCID
Publication Activity (10 Years)
Years Active: 1977-2024
Publications (10 Years): 9
Top Topics
Theorem Prover
Active Rules
Rewrite Rules
Presburger Arithmetic
Top Venues
CoRR
LPAR
Theor. Comput. Sci.
J. Log. Algebraic Methods Program.
</>
Publications
</>