( en | de | ru )

 

Disambiguation of "Hesketh, Jane"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.

, , , and . LOPSTR, page 27-45. Springer, (1991)

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.

Jane Horn

Jane Zeferino

Jane Günzel

Jane Parker

Jane Wiebel

 

Other publications of authors with the same name

Expressing Program Requirements Using Refinement Lattices., , , and . ISMIS, volume 689 of Lecture Notes in Computer Science, page 245-254. Springer, (1993)Reliable and accountable system design., , and . Knowl. Eng. Rev., 12 (3): 289-305 (1997)Experiments with Proof Plans for Induction., , , and . J. Autom. Reason., 7 (3): 303-324 (1991)Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof., , , and . LOPSTR, page 27-45. Springer, (1991)Automated Reasoning with Uncertainties., , and . Logic at Work, volume 808 of Lecture Notes in Computer Science, page 57-79. Springer, (1992)Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 310-324. Springer, (1992)Expressing Program Requirements Using Refinement Lattices., , , and . Fundam. Informaticae, 21 (3): 163-182 (1994)Lightweight Formalisation in Support of Requirements Engineering., , , and . Autom. Softw. Eng., 5 (2): 183-210 (1998)A Recursion Planning Analysis of Inductive Completion., , and . Ann. Math. Artif. Intell., 8 (3-4): 363-381 (1993)