Search results for: Alwen Tiu
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Satisfiability > 167-181
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 180-195
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 242-256
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 96-111
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 10. Model Checking and Verification > 391-397
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 189-204
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Invited Papers > 18-32
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 248-262
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 105-116
Journal of Applied Logic > 2012 > 10 > 4 > 330-367
Formal Aspects of Computing > 2012 > 24 > 4-6 > 701-726
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 135-150
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 5 > 3-18
Formal Aspects of Computing > 2007 > 19 > 3 > 321-341
Electronic Notes in Theoretical Computer Science > 2006 > 145 > Complete > 63-78