Search results for: Gilles Dowek
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 107-124
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 125-141
Information and Computation > 2013 > 223 > Complete > 78-93
Theoretical Computer Science > 2012 > 451 > Complete > 38-69
Science of Computer Programming > 2012 > 77 > 10-11 > 1039-1057
Natural Computing > 2012 > 11 > 2 > 247-251
Information and Computation > 2011 > 209 > 9 > 1231-1245
Theoretical Computer Science > 2011 > 412 > 37 > 4853-4866
Electronic Notes in Theoretical Computer Science > 2008 > 205 > Complete > 137-144
Theoretical Computer Science > 2006 > 360 > 1-3 > 193-208
Electronic Notes in Theoretical Computer Science > 2005 > 117 > Complete > 249-261
Electronic Notes in Theoretical Computer Science > 2003 > 85 > 7 > 1-13
Journal of Automated Reasoning > 2003 > 31 > 1 > 33-72
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 3 > 371-380
Information and Computation > 2000 > 157 > 1-2 > 183-235