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

Complexity of Some Problems Concerning L Systems., and . Math. Syst. Theory, (1979)Redundant Call Elimination via Tupling., , and . Fundam. Informaticae, 69 (1-2): 1-37 (2006)Turing Machines and the Spectra of First-Order Formulas., and . J. Symb. Log., 39 (1): 139-150 (1974)BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation., and . Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 273-284. Springer, (1996)Termination Analysis of the Untyped lamba-Calculus., and . RTA, volume 3091 of Lecture Notes in Computer Science, page 1-23. Springer, (2004)Program Speedups in Theory and Practice.. IFIP Congress (1), volume A-51 of IFIP Transactions, page 595-602. North-Holland, (1994)Complete Problems for Deterministic Polynomial Time., and . Theor. Comput. Sci., 3 (1): 105-117 (1976)Challenging Problems in Partial Evaluation and Mixed Computation.. New Generation Comput., 6 (2&3): 291-302 (1988)Program flow analysis - theory and applications., and . Prentice Hall software series Prentice Hall, (1981)The expressive power of higher-order types or, life without CONS.. J. Funct. Program., 11 (1): 5-94 (2001)