Geodesic

Volume 15 (1979) no. 2

Sommaire

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