Annals of Mathematics and Artificial Intelligence, Volume 16

Volume 16, 1996

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