Volume 56, Issue 1

May 2009

Special Issue on Artificial Intelligence and Symbolic Computation / Guest Edited by Jacques Calmet and Volker Sorge

6 articles in this issue

Preface
Jacques Calmet
Volker Sorge
EditorialNotes 24 June 2009 Pages: 1 - 2
The monoids of orders eight, nine & ten
Andreas Distler
Tom Kelsey
OriginalPaper 04 July 2009 Pages: 3 - 21
Graphical reasoning in compact closed categories for quantum computation
Lucas Dixon
Ross Duncan
OriginalPaper 02 July 2009 Pages: 23 - 42
A full first-order constraint solver for decomposable theories
Khalil Djelloul
OriginalPaper 27 June 2009 Pages: 43 - 64
Constructing infinite models represented by tree automata
Nicolas Peltier
OriginalPaper 24 June 2009 Pages: 65 - 85
Increasing interpretations
Harald Zankl
Aart Middeldorp
OriginalPaper 27 June 2009 Pages: 87 - 108

Search