( en | de | ru )

 

Disambiguation of "Jones, Neil D."

Author of the publication

copydeleteadd this publication to your clipboard
Experiments with Implementations of Two Theoretical Constructions.

, , , and . Logic at Botik, volume 363 of Lecture Notes in Computer Science, page 119-133. Springer, (1989)

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.

Neil Jones

Neil Jones

D B Jones

James Neil

Katharine Neil

 

Other publications of authors with the same name

Program Speedups in Theory and Practice.. IFIP Congress (1), volume A-51 of IFIP Transactions, page 595-602. North-Holland, (1994)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)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)Complete Problems for Deterministic Polynomial Time., and . Theor. Comput. Sci., 3 (1): 105-117 (1976)The expressive power of higher-order types or, life without CONS.. J. Funct. Program., 11 (1): 5-94 (2001)