Geodesic

Tome 15 (1979) no. 2

Sommaire

Dynamic systems and theory of simulation
p. 77-87
Memory complexity of countable functions
p. 88-99
A Turing machine space hierarchy
p. 100-121
Intermittent-assertion method as a structural induction
p. 122-135
A note on connections between 0L-languages and context-free languages
p. 136-140
Информационные пучки в дифференциальных играх
p. 141-148
On the core of an incomplete $n$-person game
p. 149-155
Nové knihy
p. 156-158
Zprávy
p. 159