Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Sets that Don't Help, , and . STOC, page 130-134. ACM, (1973)Equations between Regular Terms and an Application to Process Logic, , , and . STOC, page 384-390. ACM, (1981)On Time-Space Classes and Their Relation to the Theory of Real Addition, and . STOC, page 233-239. ACM, (1978)Separating Nondeterministic Time Complexity Classes., , and . J. ACM, 25 (1): 146-167 (1978)Valid Identity Problem for Shuffle Regular Expressions., and . Journal of Automata, Languages and Combinatorics, 7 (1): 109-125 (2002)Coping with Errors in Binary Search Procedures (Preliminary Report), , , , and . STOC, page 227-232. ACM, (1978)Concurrent Process Equivalences: Some Decision Problems (Abstract).. STACS, volume 900 of Lecture Notes in Computer Science, page 349. Springer, (1995)Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report., and . CONCUR, volume 630 of Lecture Notes in Computer Science, page 17-31. Springer, (1992)From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 474-500. Springer, (1983)Second-Order Logical Relations (Extended Abstract)., and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 225-236. Springer, (1985)