default search action

combined dblp search
author search
venue search
publication search

ask others

Informatique Théorique et Applications, Volume 17

> 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 17, Number 1, 1983

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Wechler83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Wechler83
Wolfgang Wechler:
Characterization of Rational and Algebraic Power Series. 3-11
- view
  authority control:
- export record
  dblp key:
  - journals/ita/EhrenfeuchtR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/EhrenfeuchtR83
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On the Separating Power of Eol Systems. 13-22
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Sakarovitch83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Sakarovitch83
Jacques Sakarovitch:
Deux Remarques sur un Théorème de S. Eilenberg. 23-48
- view
  authority control:
- export record
  dblp key:
  - journals/ita/CaludeP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/CaludeP83
Cristian Calude, Gheorghe Paun:
Independent Instances for Some Undecidable Problems. 49-54
- view
  authority control:
- export record
  dblp key:
  - journals/ita/LeviP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/LeviP83
Giorgio Levi, A. M. Pegna:
Top-Down Mathematical Semantics and Symbolic Execution. 55-70
- view
  authority control:
- export record
  dblp key:
  - journals/ita/MargariaZ83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/MargariaZ83
Ines Margaria, Maddalena Zacchi:
Right and Left Invertibility in lambda-beta-Calculus. 71-88

Volume 17, Number 2, 1983

- view
  authority control:
- export record
  dblp key:
  - journals/ita/BatiniD83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/BatiniD83
Carlo Batini, Alessandro D'Atri:
Relational Data Base Design Using Refinement Rules. 97-119
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Brandstadt83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Brandstadt83
Andreas Brandstädt:
Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms. 121-130
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Pansiot83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Pansiot83
Jean-Jacques Pansiot:
Mots Infinis de Fibonacci et Morphismes Itérés. 131-135
- view
  authority control:
- export record
  dblp key:
  - journals/ita/BroyW83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/BroyW83
Manfred Broy, Martin Wirsing:
Algebraic Definition of a Functional Programming Language and Its Semantic Models. 137-161
- view
  authority control:
- export record
  dblp key:
  - journals/ita/JanssensR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/JanssensR83
Dirk Janssens, Grzegorz Rozenberg:
Hypergraph Systems and Their Extensions. 163-196

Volume 17, Number 3, 1983

- view
  authority control:
- export record
  dblp key:
  - journals/ita/CulikK83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/CulikK83
Karel Culík II, Juhani Karhumäki:
On the Ehrenfeucht Conjecture for DOL Languages. 205-230
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Arz83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Arz83
Johannes Arz:
Syntactic Congruences and Syntactic Algebras. 231-238
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Robin83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Robin83
Guy Robin:
Méthodes D'Optimisation pour un Problème de Théorie des Nombres. 239-247
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Kemp83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Kemp83
Rainer Kemp:
The Reduction of Binary Trees by Means of an Input-Restricted Deque. 249-284
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Prodinger83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Prodinger83
Helmut Prodinger:
Topologies on Free Monoids Induced by Families of Languages. 285-290

Volume 17, Number 4, 1983

- view
  authority control:
- export record
  dblp key:
  - journals/ita/Soria83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Soria83
Michèle Soria:
Une Extension des Langages Déterministes. 301-319
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Knast83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Knast83
Robert Knast:
A Semigroup Characterization of Dot-Depth one Languages. 321-330
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Knast83a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Knast83a
Robert Knast:
Some Theorems on Graph Congruences. 331-342
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Franchi-Zannettacci83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Franchi-Zannettacci83
M. P. Franchi-Zannettacci:
Un Algorithme de Calcul Formel des Séries Énumératrices de Langage Linéaire. 343-364
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Louchard83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Louchard83
Guy Louchard:
The Brownian Motion: A Neglected Tool for the Complexity Analysis of Sorted Tables Manipulation. 365-385
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Marchetti-SpaccamelaT83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Marchetti-SpaccamelaT83
Alberto Marchetti-Spaccamela, Maurizio Talamo:
Probabilistic Analysis of Two Euclidean Location Problems. 387-395
- view
  authority control:
- export record
  dblp key:
  - journals/ita/PaulVW83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/PaulVW83
Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener:
Parallel Computation on 2-3-Trees. 397-404

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.