Skip Nav Destination
Logic Programming
Logic Programming: The 14th International Conference
Edited by
The MIT Press
ISBN electronic:
9780262291354
Publication date:
1997
Book Chapter
Automatic Termination Analysis of Logic Programs
-
Published:1997
Citation
Naomi Lindenstrauss, Yehoshua Sagiv, 1997. "Automatic Termination Analysis of Logic Programs", Logic Programming: The 14th International Conference, Lee Naish
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.