Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
LIX, INRIA Saclay Ile de France
INRIA Futurs
LRI
Building Decision Procedures in the Calculus of Inductive Constructions
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
Higher-Order Termination: from Kruskal to Computability
HORPO with Computability Closure : A Reconstruction
Inductive-data-type Systems
No associations
LandOfFree
Jean-Pierre Jouannaud does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jean-Pierre Jouannaud, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jean-Pierre Jouannaud will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-140594