author-photo

Virgile Prevosto

French Institute for Research in Computer Science and Automation

8

Papers

35

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

RPP : Preuve automatique de propriétés relationnelles par Self-Composition

2018
Show All
- Source
- Cite
- Save
Citations (0)
Programming languages, types, compilation and proofs

2006
Show All
- Source
- Cite
- Save
Citations (0)
New Results - FOC project

2003
Show All
- Source
- Cite
- Save
Citations (0)
Algorithms and Proofs Inheritance in the FOC Language

2003 Journal of Automated Reasoning
- Virgile Prevosto
- Damien Doligez
Show All
- Source
- Cite
- Save
Citations (14)
Algebraic Structures and Dependent Records

2002 TPHOLs | Theorem Proving in Higher Order Logics
Show All
- Source
- Cite
- Save
Citations (10)