From post

Computational Processes Generated by Programs with Recursive Procedures and Block Structures.

, и . MFCS, том 45 из Lecture Notes in Computer Science, стр. 503-509. Springer, (1976)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

On the Algorithmic Properties of Concurrent Programs., и . Logic of Programs, том 125 из Lecture Notes in Computer Science, стр. 169-197. Springer, (1979)Applied Algorithmic Logic.. MFCS, том 53 из Lecture Notes in Computer Science, стр. 122-134. Springer, (1977)Collatz conjecture becomes theorem., и . CoRR, (2023)An Algorithmic Approach to Set Theory.. FCT, том 56 из Lecture Notes in Computer Science, стр. 499-510. Springer, (1977)Algorithmic Theories of Data Structures.. ICALP, том 140 из Lecture Notes in Computer Science, стр. 458-472. Springer, (1982)The Algebraic Specifications do not Have the Tennenbaum Property., и . Fundam. Informaticae, 28 (1-2): 141-152 (1996)On a Hierarchy of File Types and a Tower of Their Theories.. MFCS, том 520 из Lecture Notes in Computer Science, стр. 47-63. Springer, (1991)On Applications of Algorithmic Logic., и . CAAP, том 214 из Lecture Notes in Computer Science, стр. 288-306. Springer, (1986)LOGPLAN '88 - Report on the Programming Language, , и . Lecture Notes in Computer Science Springer, (1990)On Algorithmic Theory of Stacks.. MFCS, том 64 из Lecture Notes in Computer Science, стр. 452-461. Springer, (1978)