Author of the publication

Undecidable Optimization Problems for Database Logic Programs

, , , and . LICS, page 106-115. IEEE Computer Society, (1987)

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

Programming language foundations of computation theory.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 63 (2000)Tools for Datalog Boundedness., , , and . PODS, page 1-12. ACM Press, (1991)Complexity-Theoretic Aspects for Programming Language Design.. CP, volume 1118 of Lecture Notes in Computer Science, page 572. Springer, (1996)Parallel Beta Reduction is not Elementary Recursive., and . POPL, page 303-315. ACM, (1998)Relating complexity and precision in control flow analysis., and . ICFP, page 85-96. ACM, (2007)Linear lambda calculus and PTIME-completeness.. J. Funct. Program., 14 (6): 623-633 (2004)Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?, and . ICFP, page 92-101. ACM, (1996)SIGPLAN Notices 31(6), June 1996.Undecidable Optimization Problems for Database Logic Programs, , , and . LICS, page 106-115. IEEE Computer Society, (1987)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)