Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Manoury, Pascal - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot
Automatizing Termination Proofs Recursively Defined Functions
A family of recursive schemas Pascal MANOURY
A Programing Language with Proofs Pascal MANOURY Marianne SIMONOT
Preuves & Programmes Un cas d''ecole
The Coq Proof Assistant Users friendly Recursive Definition
A User's Friendly Syntax to Define Recursive Functions as Typed Pascal Manoury 0
Une preuve sous Ra alli's AF2 6 janvier 1999
jnvier PHHQ ! tournes prnophones des vngges epplitifs! tpveHQ isonner formellement sur les progrmmes wv
