Skip to Main Content
MIT Press Direct, home
header search
Search
Advanced Search
Skip Nav Destination
Book cover for Logic Programming: The 1995 International Symposium
Logic Programming
Logic Programming: The 1995 International Symposium
Edited by
John W. Lloyd
John W. Lloyd
Search for other works by this author on:
This Site
Google Scholar
The MIT Press
DOI:
https://doi.org/10.7551/mitpress/4301.001.0001
ISBN electronic:
9780262291248
Publication date:
1995
Book Chapter

Correctness of Logic Program Transformations Based on Existential Termination

By
Kung-Kiu Lau
Kung-Kiu Lau
Search for other works by this author on:
This Site
Google Scholar
,
Mario Ornaghi
Mario Ornaghi
Search for other works by this author on:
This Site
Google Scholar
,
Alberto Pettorossi
Alberto Pettorossi
Search for other works by this author on:
This Site
Google Scholar
,
Maurizio Proietti
Maurizio Proietti
Search for other works by this author on:
This Site
Google Scholar
Doi:
https://doi.org/10.7551/mitpress/4301.003.0049
  • Published:
    1995

First Page Preview

First page of Correctness of Logic Program Transformations Based on Existential Termination
You do not currently have access to this chapter.
Don't already have an account? Register
A product of The MIT Press
Newsletter sign up

MIT Press Direct

Information

MIT Press

Contact Us

© 2025 The MIT Press
Close Modal
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.
Accept