Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 17 (1983)
Sommaire du
Fascicule no. 1
Characterization of rational and algebraic power series
Wechler, Wolfgang
p. 3-11
On the separating power of EOL systems
Ehrenfeucht, A.
;
Rozenberg, G.
p. 13-22
Deux remarques sur un théorème de S. Eilenberg
Sakarovitch, Jacques
p. 23-48
Independent instances for some undecidable problems
Calude, Cristian
;
Păun, Gheorghe
p. 49-54
Top-down mathematical semantics and symbolic execution
Lévi, G.
;
Pegna, A. M.
p. 55-70
Right and left invertibility in
λ
-
β
-calculus
Margaria, I.
;
Zacchi, M.
p. 71-88
Sommaire du
Fascicule no. 2
Relational data base design using refinement rules
Batini, C.
;
d'Atri, A.
p. 97-119
Space classes, intersection of languages and bounded erasing homomorphisms
Brandstädt, Andreas
p. 121-130
Mots infinis de Fibonacci et morphismes itérés
Pansiot, Jean-Jacques
p. 131-135
Algebraic definition of a functional programming language and its semantic models
Broy, Manfred
;
Wirsing, Martin
p. 137-161
Hypergraph systems and their extensions
Janssens, D.
;
Rozenberg, G.
p. 163-196
Sommaire du
Fascicule no. 3
On the Ehrenfeucht conjecture for DOL languages
Culik, Karel Ii
;
Karhumäki, Juhani
p. 205-230
Syntactic congruences and syntactic algebras
Arz, Johannes
p. 231-238
Méthodes d'optimisation pour un problème de théorie des nombres
Robin, G.
p. 239-247
The reduction of binary trees by means of an input-restricted deque
Kemp, R.
p. 249-284
Topologies on free monoids induced by families of languages
Prodinger, Helmut
p. 285-290
Sommaire du
Fascicule no. 4
Une extension des langages déterministes
Soria, Michèle
p. 301-319
A semigroup characterization of dot-depth one languages
Knast, Robert
p. 321-330
Some theorems on graph congruences
Knast, Robert
p. 331-342
Un algorithme de calcul formel des séries énumératrices de langage linéaire
Franchi-Zannettacci, M. P.
p. 343-364
The brownian motion : a neglected tool for the complexity analysis of sorted tables manipulation
Louchard, G.
p. 365-385
Probabilistic analysis of two euclidean location problems
Marchetti-Spaccamela, A.
;
Talamo, M.
p. 387-395
Parallel computation on 2-3-trees
Paul, W.
;
Vishkin, U.
;
Wagener, H.
p. 397-404