Search results for: Tom Kelsey
Pilot and Feasibility Studies > 2018 > 4 > 1 > 1-7
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 27-42
Lecture Notes in Computer Science > FM’99 — Formal Methods > Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST) > 1758-1777
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 271-285
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2002 > Technical Papers > 415-430
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 256-270
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 333-347
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 199-210
Semigroup Forum > 2014 > 88 > 1 > 93-112
Procedia Computer Science > 2011 > 4 > Complete > 1062-1071
Annals of Mathematics and Artificial Intelligence > 2009 > 56 > 1 > 3-21
Journal of Symbolic Computation > 2005 > 39 > 5 > 539-567