( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Real Time Counter Machines (Preliminary Version)

, , и . SWAT, стр. 148-154. IEEE Computer Society, (1967)

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.

Albert Meyer

Albert Meyer

Albert Meyer

Albert Meyer

Albert Meyer

 

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

Computational Speed-Up by Effective Operators., и . J. Symb. Log., 37 (1): 55-68 (1972)Sets that Don't Help, , и . STOC, стр. 130-134. ACM, (1973)Concurrent Process Equivalences: Some Decision Problems (Abstract).. STACS, том 900 из Lecture Notes in Computer Science, стр. 349. Springer, (1995)Observing Truly Concurrent Processes.. TACS, том 789 из Lecture Notes in Computer Science, стр. 886. Springer, (1994)Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report., и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 17-31. Springer, (1992)From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview., , и . Logic of Programs, том 164 из Lecture Notes in Computer Science, стр. 474-500. Springer, (1983)Second-Order Logical Relations (Extended Abstract)., и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 225-236. Springer, (1985)Coping with Errors in Binary Search Procedures (Preliminary Report), , , , и . STOC, стр. 227-232. ACM, (1978)Equations between Regular Terms and an Application to Process Logic, , , и . STOC, стр. 384-390. ACM, (1981)On Time-Space Classes and Their Relation to the Theory of Real Addition, и . STOC, стр. 233-239. ACM, (1978)