Journals in DBLP

Ann. Math. Artif. Intell.
1996, volume: 16, number:

1. Marie C. Ferbus, Jacqueline Vauzeilles
   Ordinals I: Basic Notions. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:1-26 [Journal]
   
2. Jacqueline Vauzeilles
   Ordinals II: Some Applications and a Functorial Approach. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:27-57 [Journal]
   
3. Françoise Delon
   Formal Power Series. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:59-73 [Journal]
   
4. Jean-Pierre Ressayre
   Polynomial Time Uniformization and Non-standard Methods. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:75-88 [Journal]
   
5. Jean-Pierre Reveillès, Denis Richard
   Back and Forth between Continuous and Discrete for the Working Computer Scientist. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:89-152 [Journal]
   
6. Hubert Holin
   Some Artefacts of Integer-computer Circles. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:153-181 [Journal]
   
7. Etienne Grandjean
   Sorting, Linear Time and the Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:183-236 [Journal]
   
8. Nadia Creignou
   Exact Complexity of Problems of Incompletely Specified Automata. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:237-249 [Journal]
   
9. Bernard Beauzamy, Jean-Louis Frot, Christian Millour
   Massively Parallel Computations on Many-variable Polynomials. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:251-283 [Journal]
   
10. Jacques Mazoyer
    Computations on One Dimensional Cellular Automata. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:285-309 [Journal]
    
11. Patrick Cégielski
    Definability, Decidability, Complexity. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:311-341 [Journal]
    
12. Jean-Eric Pin
    Logic, Semigroups and Automata on Words. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:343-384 [Journal]
    
13. Loïc Colson
    A Unary Representation Result for System T. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:385-403 [Journal]
    
14. Jean-Louis Krivine
    About Classical Logic and Imperative Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:405-414 [Journal]