default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformatique Théorique et Applications, Volume 17
Volume 17, Number 1, 1983
- Wolfgang Wechler:
Characterization of Rational and Algebraic Power Series. 3-11 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On the Separating Power of Eol Systems. 13-22 - Jacques Sakarovitch:
Deux Remarques sur un Théorème de S. Eilenberg. 23-48 - Cristian Calude, Gheorghe Paun:
Independent Instances for Some Undecidable Problems. 49-54 - Giorgio Levi, A. M. Pegna:
Top-Down Mathematical Semantics and Symbolic Execution. 55-70 - Ines Margaria, Maddalena Zacchi:
Right and Left Invertibility in lambda-beta-Calculus. 71-88
Volume 17, Number 2, 1983
- Carlo Batini, Alessandro D'Atri:
Relational Data Base Design Using Refinement Rules. 97-119 - Andreas Brandstädt:
Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms. 121-130 - Jean-Jacques Pansiot:
Mots Infinis de Fibonacci et Morphismes Itérés. 131-135 - Manfred Broy, Martin Wirsing:
Algebraic Definition of a Functional Programming Language and Its Semantic Models. 137-161 - Dirk Janssens, Grzegorz Rozenberg:
Hypergraph Systems and Their Extensions. 163-196
Volume 17, Number 3, 1983
- Karel Culík II, Juhani Karhumäki:
On the Ehrenfeucht Conjecture for DOL Languages. 205-230 - Johannes Arz:
Syntactic Congruences and Syntactic Algebras. 231-238 - Guy Robin:
Méthodes D'Optimisation pour un Problème de Théorie des Nombres. 239-247 - Rainer Kemp:
The Reduction of Binary Trees by Means of an Input-Restricted Deque. 249-284 - Helmut Prodinger:
Topologies on Free Monoids Induced by Families of Languages. 285-290
Volume 17, Number 4, 1983
- Michèle Soria:
Une Extension des Langages Déterministes. 301-319 - Robert Knast:
A Semigroup Characterization of Dot-Depth one Languages. 321-330 - Robert Knast:
Some Theorems on Graph Congruences. 331-342 - M. P. Franchi-Zannettacci:
Un Algorithme de Calcul Formel des Séries Énumératrices de Langage Linéaire. 343-364 - Guy Louchard:
The Brownian Motion: A Neglected Tool for the Complexity Analysis of Sorted Tables Manipulation. 365-385 - Alberto Marchetti-Spaccamela, Maurizio Talamo:
Probabilistic Analysis of Two Euclidean Location Problems. 387-395 - 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.
last updated on 2024-12-19 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
