Annals of Mathematics and Artificial Intelligence, Volume 16

Volume 16, 1996

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