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
  

Last update Tue Feb 14 04:13:55 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page