Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 16

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 16, 1996

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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.