Building decision procedures in the calculus of inductive constructions (2007)

Cached

Download Links

by Frédéric Blanqui , Jean-pierre Jouannaud , Pierre-yves Strub
Venue:of Lecture Notes in Computer Science
Citations:10 - 1 self