Olivier Hermant

	2012
10		Denis Cousineau, Olivier Hermant: A Semantic Proof that Reducibility Candidates entail Cut Elimination. RTA 2012: 133-148
	2011
9		Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak: Dynamic Adaptation through Event Reconfiguration. OTM Workshops 2011: 637-646
8		Aloïs Brunel, Olivier Hermant, Clément Houtmann: Orthogonality and Boolean Algebras for Deduction Modulo. TLCA 2011: 76-90
	2010
7		Olivier Hermant: Resolution is Cut-Free. J. Autom. Reasoning 44(3): 245-276 (2010)
6		Olivier Hermant, James Lipton: Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2. J. Log. Comput. 20(2): 597-602 (2010)
	2008
5		Olivier Hermant, James Lipton: A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. CSL 2008: 169-183
	2007
4		Gilles Dowek, Olivier Hermant: A Simple Proof That Super-Consistency Implies Cut Elimination. RTA 2007: 93-106
	2006
3		Richard Bonichon, Olivier Hermant: A Semantic Completeness Proof for TaMeD. LPAR 2006: 167-181
2		Richard Bonichon, Olivier Hermant: On Constructive Cut Admissibility in Deduction Modulo. TYPES 2006: 33-47
	2005
1		Olivier Hermant: Semantic Cut Elimination in the Intuitionistic Sequent Calculus. TLCA 2005: 221-233

Coauthor Index

1	Richard Bonichon	[2] [3]
2	Aloïs Brunel	[8]
3	Denis Cousineau	[10]
4	Gilles Dowek	[4]
5	Clément Houtmann	[8]
6	Truong Giang Le	[9]
7	James Lipton	[5] [6]
8	Matthieu Manceny	[9]
9	Renaud Pawlak	[9]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page