Author index volume 25 (1983)

Theoretical Computer North-Holland

AUTHOR

Science 25 ( 1983) 343

INDEX VOLUME

343

25 (1983)

(The issue number is given in front of the page numbers)

Case, J. and C. Smith, Comparison of identification criteria for ’ machine inductive inference Courcelle, B., Fundamental properties of infinite trees Kfoury, A.J., Definability by programs in first-order structures Milner, R., Calculi for synchrony and asynchrony Nelson, E., Iterative algebras &Dtinlaing, C., Infinite regular Thue systems Priese, L., Automata and concurrency Smith, C., see J. Case Valk, R., Infinite behaviour of Petri nets

030j-2975/83/53.00

Q 1983. Elsevier Science Publishers B.V. (North-Holland)

(2)193-220 (2) 95-l 69 (1) l- 66 (3)267-310 (1) 67- 94 (2)171-192 (3)221-265 (2)193-220 (,3)31l-341