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

Test for Planarity of a Circuit Given by an Expression., and . IEEE Trans. Electronic Computers, 15 (3): 372-375 (1966)Polymorphism is conservative over simple types (Preliminary Report), and . LICS, page 7-17. IEEE Computer Society, (1987)Floyd-Hoare Logic Defines Semantics: Preliminary Version. LICS, page 44-48. IEEE Computer Society, (1986)To appear in TCS.Lambda Calculus with Constrained Types (Extended Abstract)., and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 23-40. Springer, (1985)Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report, and . STOC, page 79-88. ACM, (1969)Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report, , and . STOC, page 50-54. ACM, (1976)A Note on the Average Time to Compute Transitive Closures., , and . ICALP, page 425-434. Edinburgh University Press, (1976)The Deducibility Problem in Propositional Dynamic Logic., , and . ICALP, volume 115 of Lecture Notes in Computer Science, page 238-248. Springer, (1981)On the Expressive Power of Dynamic Logic (Preliminary Report), and . STOC, page 167-175. ACM, (1979)Axiomatic Definitions of Programming Languages: A Theoretical Assessment., and . POPL, page 203-212. ACM Press, (1980)