BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Frédéric Blanqui
SearchCollections
Map detail
Frédéric Blanqui13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFrédéric BlanquiAFrédéric BlanquiResearcherDependency Pairs Termination in Dependent Type Theory Modulo RewritingWDependency Pairs Termin...preprint / 2019CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificatesWCoLoR: a Coq library on...preprint / 2012Designing a CPU model: from a pseudo-formal document to fast codeWDesigning a CPU model: ...preprint / 2011On the confluence of lambda-calculus with conditional rewritingWOn the confluence of la...preprint / 2011Automated verification of termination certificatesWAutomated verification ...preprint / 2012Inductive-data-type SystemsWInductive-data-type Sys...preprint / 2013A point on fixpoints in posetsWA point on fixpoints in...preprint / 2014Termination of rewrite relations on $λ$-terms based on Girard's notion of reducibilityWTermination of rewrite ...preprint / 2015On the implementation of construction functions for non-free concrete data typesWOn the implementation o...preprint / 2007Rewriting modulo in Deduction moduloWRewriting modulo in Ded...preprint / 2006Decidability of Type-checking in the Calculus of Algebraic Constructions with Size AnnotationsWDecidability of Type-ch...preprint / 2006Inductive types in the Calculus of Algebraic ConstructionsWInductive types in the ...preprint / 2006
Person12 links

Frédéric Blanqui

Researcher

PaperDependency Pairs Termination in Dependent Type Theory Modulo RewritingAuthorship / preprint / 2019PaperCoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificatesAuthorship / preprint / 2012PaperDesigning a CPU model: from a pseudo-formal document to fast codeAuthorship / preprint / 2011PaperOn the confluence of lambda-calculus with conditional rewritingAuthorship / preprint / 2011PaperAutomated verification of termination certificatesAuthorship / preprint / 2012PaperInductive-data-type SystemsAuthorship / preprint / 2013PaperA point on fixpoints in posetsAuthorship / preprint / 2014PaperTermination of rewrite relations on λλ-terms based on Girard's notion of reducibilityAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)