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

Tools for Datalog Boundedness., , , and . PODS, page 1-12. ACM Press, (1991)Linear lambda calculus and PTIME-completeness.. J. Funct. Program., 14 (6): 623-633 (2004)Programming language foundations of computation theory.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 63 (2000)Parallel Beta Reduction is not Elementary Recursive., and . POPL, page 303-315. ACM, (1998)Complexity-Theoretic Aspects for Programming Language Design.. CP, volume 1118 of Lecture Notes in Computer Science, page 572. Springer, (1996)Relating complexity and precision in control flow analysis., and . ICFP, page 85-96. ACM, (2007)Flow Analysis, Linearity, and PTIME., and . SAS, volume 5079 of Lecture Notes in Computer Science, page 255-269. Springer, (2008)Correcting Faults in Write-Once Memory, , , and . STOC, page 225-229. ACM, (1984)A Constructive Logic of Multiple Subtyping.. POPL, page 313-324. ACM Press, (1993)Undecidable Optimization Problems for Database Logic Programs, , , and . LICS, page 106-115. IEEE Computer Society, (1987)