External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Transformation System for Definite Programs Based on Termination Analysis

J. Cook, John P. Gallagher. A Transformation System for Definite Programs Based on Termination Analysis. In Laurent Fribourg, Franco Turini, editors, Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR 94 and META 94, Pisa, Italy, June 20-21, 1994, Proceedings. Volume 883 of Lecture Notes in Computer Science, pages 51-68, Springer, 1994.

Authors

J. Cook

This author has not been identified. Look up 'J. Cook' in Google

John P. Gallagher

This author has not been identified. It may be one of the following persons: Look up 'John P. Gallagher' in Google
runs on