Login / Signup
Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs.
Lutz Plümer
Published in:
CSL (1988)
Keyphrases
</>
prolog programs
logic programs
sufficient conditions
semi automated
automated analysis
automated theorem provers
logic rules
linear programming
theorem prover
answer set programming
theorem proving