Search results for: John Slaney
Journal of Automated Reasoning > 2018 > 60 > 4 > 527-527
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Lecture Notes in Computer Science > Multi-Agent Systems. Theories, Languages and Applications > 122-136
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Short Papers > 727-731
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2010 > Applications Track > 522-536
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2005 > Invited Papers > 13-16
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Journal of Philosophical Logic > 2014 > 43 > 5 > 867-878