default search action

combined dblp search
author search
venue search
publication search

ask others

Informatique Théorique et Applications, Volume 15

> Home > Journals > Informatique Théorique et Applications

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 15, Number 1, 1981

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Enjalbert81
- ask others
- share record
  persistent 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). 3-21
- view
  authority control:
- export record
  dblp key:
  - journals/ita/DemlovaDK81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/DemlovaDK81
Marie Demlová, Jirí Demel, Václav Koubek:
On Subdirectly Irreducible Automata. 23-46
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Tchuente81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Tchuente81
Maurice Tchuenté:
Sur l'Auto- Stabilisation dans un Réseau d'Ordinateurs. 47-66
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Dikovskii81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Dikovskii81
A. Ja. Dikovskii:
A Theory of Complexity of Monadic Recursion Schemes. 67-94

Volume 15, Number 2, 1981

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

Volume 15, Number 3, 1981

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Mehlhorn81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Mehlhorn81
Kurt Mehlhorn:
Arbitrary Weight Changes in Dynamic Trees. 183-211
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Lilin81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Lilin81
Eric Lilin:
Transducteurs Finis d'Arbres et Tests d'Égalité. 213-232
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Brandstadt81
- ask others
- share record
  persistent 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. 233-252
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Aguzzi81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Aguzzi81
Gianni Aguzzi:
The Theory of Invertible Algorithms. 253-279

Volume 15, Number 4, 1981

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Daduna81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Daduna81
Hans Daduna:
On the Structure of General Stochastic Automata. 287-302
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Queinnec81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Queinnec81
Christian Queinnec:
Une Formalisation des Systèmes Conversationnels. 303-336
- view
  authority control:
- export record
  dblp key:
  - journals/ita/MaurerSW81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/MaurerSW81
Hermann A. Maurer, Arto Salomaa, Derick Wood:
Synchronized EOL Forms Under Uniform Interpretation. 337-353
- view
  authority control:
- export record
  dblp key:
  - journals/ita/AvenhausM81
- ask others
- share record
  persistent 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. 335-371
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Raoult81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Raoult81
Jean-Claude Raoult:
Finiteness Results on Rewriting Systems. 373-391

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.