Olivier Hermant
What is this profile?
Cut Elimination
,
Logical
,
Inria
,
Assistant Camera
,
Paris
,
Gilles Dowek
,
Pierre
,
Ix
,
Michel
,
People Named Olivier Hermant
,
People Named Hermant
A quick fact about Olivier Hermant:
[PDF] -
Olivier
Hermant
has dealt with cut elimination in sequent calculus modulo
...
Source:
Activity Report 2003, Project-Team LOGICAL
[
www.inria.org
]
Related web page for Olivier Hermant:
Internet Movies Database - IMDB
Olivier
Hermant
...
www.imdb.com/name/nm1227771/
Click here for a comprehensive search on Olivier Hermant...
Terms
Privacy
Directory
Contact
©2006-2009 Pipl
[PDF] - Olivier Hermant has dealt with cut elimination in sequent calculus modulo