Amanote Research
Register
Sign In
Automatic Termination Analysis of Logic Programs
doi 10.7551/mitpress/4299.003.0011
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1997
Authors
Unknown
Publisher
The MIT Press
Related search
On Termination of Constraint Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Existential Termination of Normal Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination of Logic Programs With Delay Declarations
The Journal of Logic Programming
Practical Methods for Proving Termination of General Logic Programs
Journal of Artificial Intelligence Research
Artificial Intelligence
Termination of Logic Programs With Block Declarations Running in Several Modes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Analysis of Logic Programs
Mode Analysis of Functional Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Task Granularity Analysis in Logic Programs
Lower-Bound Time-Complexity Analysis of Logic Programs
