ask others

Informatique Théorique et Applications, Volume 15, 1981

> Home > Journals > Informatique Théorique et Applications

Volume 15, Number 1, 1981

- no documents available
- export record
  dblp key:
  - journals/ita/Enjalbert81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Enjalbert81
Patrice Enjalbert:
Systèmes de Déduction pour les Arbres et les Schémas de Programme (II). ITA 15(1): 3-21 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/DemlovaDK81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/DemlovaDK81
Marie Demlová, Jirí Demel, Václav Koubek:
On Subdirectly Irreducible Automata. ITA 15(1): 23-46 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Tchuente81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Tchuente81
Maurice Tchuente:
Sur l'Auto- Stabilisation dans un Réseau d'Ordinateurs. ITA 15(1): 47-66 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Dikovskii81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Dikovskii81
A. Ja. Dikovskii:
A Theory of Complexity of Monadic Recursion Schemes. ITA 15(1): 67-94 (1981)

Volume 15, Number 2, 1981

- no documents available
- export record
  dblp key:
  - journals/ita/Arnold81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Arnold81
André Arnold:
Sémantique des Processus Communicants. ITA 15(2): 103-139 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Leguy81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Leguy81
Jeannine Leguy:
Transductions Rationnelles Décroissantes. ITA 15(2): 141-148 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Straubing81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Straubing81
Howard Straubing:
Relationals Morphisms and Operations on Recognizable Sets. ITA 15(2): 149-159 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/EhrenfeuchtR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/EhrenfeuchtR81
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
FPOL Systems Generating Counting Languages. ITA 15(2): 161-173 (1981)

Volume 15, Number 3, 1981

- no documents available
- export record
  dblp key:
  - journals/ita/Mehlhorn81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Mehlhorn81
Kurt Mehlhorn:
Arbitrary Weight Changes in Dynamic Trees. ITA 15(3): 183-211 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Lilin81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Lilin81
Eric Lilin:
Transducteurs Finis d'Arbres et Tests d'Égalité. ITA 15(3): 213-232 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Brandstadt81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Brandstadt81
Andreas Brandstädt:
Closure Properties of Certain Families of Formal Languages with Respect to a Generalization of Cyclic Closure. ITA 15(3): 233-252 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Aguzzi81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Aguzzi81
Gianni Aguzzi:
The Theory of Invertible Algorithms. ITA 15(3): 253-279 (1981)

Volume 15, Number 4, 1981

- no documents available
- export record
  dblp key:
  - journals/ita/Daduna81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Daduna81
Hans Daduna:
On the Structure of General Stochastic Automata. ITA 15(4): 287-302 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Queinnec81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Queinnec81
Christian Queinnec:
Une Formalisation des Systèmes Conversationnels. ITA 15(4): 303-336 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/MaurerSW81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/MaurerSW81
Hermann A. Maurer, Arto Salomaa, Derick Wood:
Synchronized EOL Forms Under Uniform Interpretation. ITA 15(4): 337-353 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/AvenhausM81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/AvenhausM81
Jürgen Avenhaus, Klaus Madlener:
An Algorithm for the Word Problem in HNN Extensions and the Dependence of Its Complexity on the Group Representation. ITA 15(4): 335-371 (1981)
- no documents available
- export record
  dblp key:
  - journals/ita/Raoult81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Raoult81
Jean-Claude Raoult:
Finiteness Results on Rewriting Systems. ITA 15(4): 373-391 (1981)

maintained by

at