Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Termination Proofs for Logic Programs
Home
Publications
Termination Proofs for Logic Programs
Termination Proofs for Logic Programs
LP
Lutz Plümer
Lutz Plümer
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1990
book
Published by
Springer Science and Business Media LLC
in
Lecture Notes in Computer Science
https://doi.org/10.1007/3-540-52837-7
Abstract
No abstract available
Keywords
AUTOMAT
LOGISCHE PROGRAMMIERUNG
PARTIELLE AUSWERTUNG
TERMINIERUNG
VERIFIKATION
AUTOMATION
LINEAR PREDICATE INEQUALITIES
LINEARE PRÄDIKATUNGLEICHUNGEN
LOGIC
LOGIC PROGRAMS
PARTIAL EVALUATION
PROGRAMMING
SEMANTICS
TERMINATION
VERIFICATION
Cited by 73 articles