: P. W. Grant and J. Zhang. Heuristics for the automatic transformation of Prolog Programs in UK IT 88 Conference Publication (pp. 135 - 139); University College Swansea July 1988 (sponsors: SERC, DTI, MOD). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Specialization and Transformation of Constructive.. - Peter Madden Department (1989) (2 citations) (Correct)
No context found.
: P. W. Grant and J. Zhang. Heuristics for the automatic transformation of Prolog Programs in UK IT 88 Conference Publication (pp. 135 - 139); University College Swansea July 1988 (sponsors: SERC, DTI, MOD).
The Specialization of Constructive Existence Proofs - Peter Madden October (1988) (Correct)
No context found.
: P. W. Grant and J. Zhang. Heuristics for the automatic transformation of Prolog Programs in UK IT 88 Conference Publication (pp. 135 - 139); University College Swansea July 1988 (sponsors: SERC, DTI, MOD).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC