A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints

Michael Codish, Cohavit Taboch

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish GB
Title of host publication1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
EditorsMoreno Falaschi, Marisa Navarro, Alberto Policriti
Number of pages12
StatePublished - 1997

Cite this