Journals in DBLP

Ann. Math. Artif. Intell.
2009, volume: 56, number: 1

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   The monoids of orders eight, nine & ten. [Citation Graph (, )][DBLP]
   
   
3. 
   Graphical reasoning in compact closed categories for quantum computation. [Citation Graph (, )][DBLP]
   
   
4. 
   A full first-order constraint solver for decomposable theories. [Citation Graph (, )][DBLP]
   
   
5. 
   Constructing infinite models represented by tree automata. [Citation Graph (, )][DBLP]
   
   
6. 
   Increasing interpretations. [Citation Graph (, )][DBLP]