Search results for: Steve Linton
Lecture Notes in Computer Science > FM’99 — Formal Methods > Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST) > 1758-1777
Concurrency and Computation: Practice and Experience > 28 > 13 > 3606 - 3636
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Full Papers > 271-285
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Computational Group Theory (Contributed) > 58-61
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
Artificial Intelligence > 2014 > 211 > Complete > 1-33
Electronic Notes in Theoretical Computer Science > 2012 > 285 > Complete > 17-28
Discrete Mathematics > 2011 > 311 > 8-9 > 715-722
Annals of Combinatorics > 2010 > 14 > 1 > 3-16