Tome 17 (1983) no. 2

Sommaire

Relational data base design using refinement rules
p. 97-119
Space classes, intersection of languages and bounded erasing homomorphisms
p. 121-130
Mots infinis de Fibonacci et morphismes itérés
p. 131-135
Algebraic definition of a functional programming language and its semantic models
p. 137-161
Hypergraph systems and their extensions
p. 163-196