Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
INRIA Lorraine - LORIA
LIAMA
INRIA Lorraine - LORIA, LIX
LRI
INRIA Futurs
(HO)RPO Revisited
A type-based termination criterion for dependently-typed higher-order rewrite systems
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce
Argument filterings and usable rules in higher-order rewrite systems
Building Decision Procedures in the Calculus of Inductive Constructions
No associations
LandOfFree
Frédéric Blanqui does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Frédéric Blanqui, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Frédéric Blanqui will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-39733