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