Stéphane Lescuyer - Author Profile

Edit Profile

Lescuyer, Stéphane

Documents Indexed:	3 Publications since 2007
Co-Authors:	4 Co-Authors with 3 Joint Publications
	44 Co-Co-Authors

3	Computer science (68-XX)
1	Mathematical logic and foundations (03-XX)

3 Publications have been cited 18 times in 18 Documents	Cited by ▼	Year ▼
CC(X): semantic combination of congruence closure with solvable theories. Zbl 1277.68240 Conchon, Sylvain; Contejean, Evelyne; Kanig, Johannes; Lescuyer, Stéphane	9	2008
Handling polymorphism in automated deduction. Zbl 1213.68568 Couchot, Jean-François; Lescuyer, Stéphane	5	2007
Improving Coq propositional reasoning using a lazy CNF conversion scheme. Zbl 1193.68225 Lescuyer, Stéphane; Conchon, Sylvain	4	2009
Improving Coq propositional reasoning using a lazy CNF conversion scheme. Zbl 1193.68225 Lescuyer, Stéphane; Conchon, Sylvain	4	2009
CC(X): semantic combination of congruence closure with solvable theories. Zbl 1277.68240 Conchon, Sylvain; Contejean, Evelyne; Kanig, Johannes; Lescuyer, Stéphane	9	2008
Handling polymorphism in automated deduction. Zbl 1213.68568 Couchot, Jean-François; Lescuyer, Stéphane	5	2007

all top 5

3	Bobot, François
3	Boldo, Sylvie
3	Filliâtre, Jean-Christophe
3	Melquiond, Guillaume
3	Moscato, Mariano M.
3	Muñoz, César A.
3	Titolo, Laura
2	Blanchette, Jasmin Christian
2	Böhme, Sascha
2	Clément, François
2	Dutle, Aaron M.
2	Mayero, Micaela
2	Weis, Pierre
1	Armand, Michaël
1	Ayad, Ali
1	Benzmüller, Christoph Ewald
1	Bhayat, Ahmed
1	Codish, Michael
1	Datta, Pratish
1	Dutta, Ratna
1	Faure, Germain
1	Feliú, Marco A.
1	Frade, Maria João
1	Giesl, Jürgen
1	Grégoire, Benjamin
1	Heule, Marijn J. H.
1	Hunt, Warren jun.
1	Kaufmann, Matt
1	Keller, Chantal
1	Marché, Claude
1	Moskal, Michał
1	Mukhopadhyay, Sourav
1	Paskevich, Andrei
1	Paulson, Lawrence Charles
1	Pinto, Jorge Sousa
1	Popescu, Andrei
1	Reger, Giles
1	Schneider-Kamp, Peter
1	Smallbone, Nicholas
1	Steen, Alexander
1	Théry, Laurent
1	Thiemann, René
1	Werner, Benjamin
1	Wetzler, Nathan D.

3	Journal of Automated Reasoning
1	Computers & Mathematics with Applications
1	Formal Aspects of Computing
1	Logical Methods in Computer Science
1	Computer Science Review

17	Computer science (68-XX)
6	Numerical analysis (65-XX)
3	Mathematical logic and foundations (03-XX)
2	Partial differential equations (35-XX)
1	Information and communication theory, circuits (94-XX)