Geodesic

Tome 18 (1982) no. 2

Sommaire

Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages
p. 89-105
Horn clause programs and recursive functions defined by systems of equations
p. 106-120
Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras
p. 121-130
Input-output systems, their types and applications for the automata theory
p. 131-144
Random set functions
p. 145-163
New Books
p. 164-168
Zprávy
p. 169-172