Sommaire

Characterization of rational and algebraic power series

Wechler, Wolfgang

Access to full text
Full (PDF)
Full (DJVU)
p. 3-11

Numdam
Relational data base design using refinement rules

Batini, C. ; d'Atri, A.

Access to full text
Full (PDF)
Full (DJVU)
p. 97-119

Numdam
On the Ehrenfeucht conjecture for DOL languages

Culik, Karel Ii ; Karhumäki, Juhani

Access to full text
Full (PDF)
Full (DJVU)
p. 205-230

Numdam
Une extension des langages déterministes

Soria, Michèle

Access to full text
Full (PDF)
Full (DJVU)
p. 301-319

Numdam
On the separating power of EOL systems

Ehrenfeucht, A. ; Rozenberg, G.

Access to full text
Full (PDF)
Full (DJVU)
p. 13-22

Numdam
Space classes, intersection of languages and bounded erasing homomorphisms

Brandstädt, Andreas

Access to full text
Full (PDF)
Full (DJVU)
p. 121-130

Numdam
Syntactic congruences and syntactic algebras

Arz, Johannes

Access to full text
Full (PDF)
Full (DJVU)
p. 231-238

Numdam
A semigroup characterization of dot-depth one languages

Knast, Robert

Access to full text
Full (PDF)
Full (DJVU)
p. 321-330

Numdam
Deux remarques sur un théorème de S. Eilenberg

Sakarovitch, Jacques

Access to full text
Full (PDF)
Full (DJVU)
p. 23-48

Numdam
Mots infinis de Fibonacci et morphismes itérés

Pansiot, Jean-Jacques

Access to full text
Full (PDF)
Full (DJVU)
p. 131-135

Numdam
Méthodes d'optimisation pour un problème de théorie des nombres

Robin, G.

Access to full text
Full (PDF)
Full (DJVU)
p. 239-247

Numdam
Some theorems on graph congruences

Knast, Robert

Access to full text
Full (PDF)
Full (DJVU)
p. 331-342

Numdam
Independent instances for some undecidable problems

Calude, Cristian ; Păun, Gheorghe

Access to full text
Full (PDF)
Full (DJVU)
p. 49-54

Numdam
Algebraic definition of a functional programming language and its semantic models

Broy, Manfred ; Wirsing, Martin

Access to full text
Full (PDF)
Full (DJVU)
p. 137-161

Numdam
The reduction of binary trees by means of an input-restricted deque

Kemp, R.

Access to full text
Full (PDF)
Full (DJVU)
p. 249-284

Numdam
Un algorithme de calcul formel des séries énumératrices de langage linéaire

Franchi-Zannettacci, M. P.

Access to full text
Full (PDF)
Full (DJVU)
p. 343-364

Numdam
Top-down mathematical semantics and symbolic execution

Lévi, G. ; Pegna, A. M.

Access to full text
Full (PDF)
Full (DJVU)
p. 55-70

Numdam
Hypergraph systems and their extensions

Janssens, D. ; Rozenberg, G.

Access to full text
Full (PDF)
Full (DJVU)
p. 163-196

Numdam
Topologies on free monoids induced by families of languages

Prodinger, Helmut

Access to full text
Full (PDF)
Full (DJVU)
p. 285-290

Numdam
The brownian motion : a neglected tool for the complexity analysis of sorted tables manipulation

Louchard, G.

Access to full text
Full (PDF)
Full (DJVU)
p. 365-385

Numdam
Right and left invertibility in λ-β-calculus

Margaria, I. ; Zacchi, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 71-88

Numdam
Probabilistic analysis of two euclidean location problems

Marchetti-Spaccamela, A. ; Talamo, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 387-395

Numdam
Parallel computation on 2-3-trees

Paul, W. ; Vishkin, U. ; Wagener, H.

Access to full text
Full (PDF)
Full (DJVU)
p. 397-404

Numdam