default search action

combined dblp search
author search
venue search
publication search

ask others

Informatique Théorique et Applications, Volume 14

> 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 14, Number 1, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Marchand80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Marchand80
P. Marchand:
Grammaires Parenthésées et Bilangages Réguliers. 3-38
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Luca80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Luca80
Aldo de Luca:
On Some Properties of the Syntactic Semigroup of a Very Pure Subsemigroup. 39-56
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Tchuente80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Tchuente80
Maurice Tchuenté:
Sure l'Émitation Itérative des Situations de Blocage dans un Système. 57-66
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Monien80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Monien80
Burkhard Monien:
Two-Way Multihead Automata Over a One-Letter Alphabet. 67-82
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Remy80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Remy80
Jean-Luc Rémy:
Construction, Évaluation et Amélioration Systématiques de Structures de Données. 83-118
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Paun80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Paun80
Gheorghe Paun:
Some Consequences of a Result of Ehrenfeucht and Rozenberg. 119-122

Volume 14, Number 2, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Heilbrunner80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Heilbrunner80
Stephan Heilbrunner:
An Algorithm for the Solution of Fixed-Point Equations for Infinite Words. 131-141
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Salle80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Salle80
Patrick Sallé:
Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). 143-167
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Sommerhalder80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Sommerhalder80
Rudolph Sommerhalder:
Classes of Languages Proof Against Regular Pumping. 169-180
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Duval80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Duval80
Jean-Pierre Duval:
Mots de Lyndon et Périodicité. 181-191
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Hotz80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Hotz80
Günter Hotz:
Verschränkte Homomorphismen Formaler Sprachen. 193-208
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Viry80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Viry80
Guy Viry:
Factorisation des Polynomes a Plusieurs Variables. 209-223
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Prodinger80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Prodinger80
Helmut Prodinger:
Topologies on Free Monoids Induced by Closure Operators of a Special Type. 225-237

Volume 14, Number 3, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Enjalbert80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Enjalbert80
Patrice Enjalbert:
Systèmes de Déduction pour les Arbres et les Schémas de Programmes. 247-278
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Simovici80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Simovici80
Dan A. Simovici:
Computing of Graphs of Relations Using Generative Grammars. 279-299
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Salle80a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Salle80a
Patrick Sallé:
Une Généralisation de la Théorie des Types en lambda-Calcul (II). 301-314

Volume 14, Number 4, 1980

- view
  authority control:
- export record
  dblp key:
  - journals/ita/AstesianoC80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/AstesianoC80
Egidio Astesiano, Gerardo Costa:
Nondeterminism and Fully Abstract Models. 323-347
- view
  authority control:
- export record
  dblp key:
  - journals/ita/CulikK80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/CulikK80
Karel Culík II, Juhani Karhumäki:
On the Equality Sets for Homomorphisms on Free Monoids with Two Generators. 349-369
- view
  authority control:
- export record
  dblp key:
  - journals/ita/CardonC80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/CardonC80
A. Cardon, Maxime Crochemore:
Détermination de la Représentation Standard d'une Série Reconnaissable. 371-379

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.