dblp.uni-trier.dewww.uni-trier.de

Stéphane Lescuyer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EESylvain 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
1EEJean-Francois Couchot, Stéphane Lescuyer: Handling Polymorphism in Automated Deduction. CADE 2007: 263-278

Coauthor Index

1Sylvain Conchon [2]
2Evelyne Contejean [2]
3Jean-Francois Couchot [1]
4Johannes Kanig [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)