A transformation system for definite programs based on termination analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	A transformation system for definite programs based on termination analysis
Original language	English
Title of host publication	Pisa, Italy
Publisher	Springer
Number of pages	18
ISBN (Print)	3540587926
Publication status	Published - 1992

Other: # CSTR-92-32. Series Lecture notes in computer science ; 883.

Handle.net

@inproceedings{6531f2704d20423da3ab1de1d1347296,

title = "A transformation system for definite programs based on termination analysis",

author = "J Cook and JP Gallagher",

note = "Other: \# CSTR-92-32. Series Lecture notes in computer science ; 883.",

year = "1992",

language = "English",

isbn = "3540587926",

booktitle = "Pisa, Italy",

publisher = "Springer",

address = "United States",

}