Stéphane Lescuyer

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j3		Stéphane Lescuyer: First-Class Containers in Coq. Stud. Inform. Univ. 9(1): 87-127 (2011)
	2009
j2		Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7(2): 225-252 (2009)
c3		Stéphane Lescuyer, Sylvain Conchon: Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. FroCoS 2009: 287-303
c2		Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. JFLA 2009: 477-507
	2008
j1		Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer: CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electr. Notes Theor. Comput. Sci. 198(2): 51-69 (2008)
	2007
c1		Jean-François Couchot, Stéphane Lescuyer: Handling Polymorphism in Automated Deduction. CADE 2007: 263-278

Coauthor Index

Last update Sat May 25 11:28:38 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page