TABLE OF CONTENTS

M.KARPINSKI, J. VAN LEEUWEN

Preface

B.	v .BRAUNMUEHL, R. VERBEEK, Input-driven Languages are recognized in log n space

R.L. CONSTABLE, Constructive mathematics as a programming
logic I: Some principles of theory	21

R.	FREIVALDS, Space and reversal complexity of probabilistic one—way Turing machines
D.	HAREL, Recurring dominoes: Making the highly undecidable
highly understandable		51

H.	LANGMAACK, A new transformational approach to partial correctness proof calculi for algol 68—like programs with finite modes and simple sideeffects

A.	MACINTYRE, Effective determination of the zeros of
p-ADIC exponential functions		103
R.	PARIKH, The logic of games and its applications
E.	SHAMIR, E. UPFAL, A fast parallel construction of
disjoint paths in networks		141

P.	TRUM, D. WOTSCHKE, Descriptional complexity for classes
of Ianov—schemes	155
Author Index	187