Search results for: Didier Galmiche
Theory of Computing Systems > 2017 > 61 > 2 > 371-461
Theoretical Computer Science > 2016 > 637 > C > 30-58
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 459-473
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 255-271
Lecture Notes in Computer Science > FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 23-37
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 101-112
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 357-368
Lecture Notes in Computer Science
Journal of Automated Reasoning > 2013 > 51 > 1 > 3-26
Information and Computation > 2011 > 209 > 12 > 1447-1463
Journal of Applied Logic > 2010 > 8 > 4 > 371-385
Electronic Notes in Theoretical Computer Science > 2005 > 125 > 3 > 117-135