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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English GB
Title of host publication	1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
Editors	Moreno Falaschi, Marisa Navarro, Alberto Policriti
Pages	545-556
Number of pages	12
State	Published - 1997

Cite this

@inproceedings{c67eea68f2a04e64bc7e85e2befc02e4,

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

author = "Michael Codish and Cohavit Taboch",

year = "1997",

language = "אנגלית",

pages = "545--556",

editor = "Moreno Falaschi and Marisa Navarro and Alberto Policriti",

booktitle = "1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997",

}

A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. / Codish, Michael; Taboch, Cohavit.
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997. ed. / Moreno Falaschi; Marisa Navarro; Alberto Policriti. 1997. p. 545-556.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Codish, Michael

AU - Taboch, Cohavit

PY - 1997

Y1 - 1997

M3 - פרסום בספר כנס

SP - 545

EP - 556

BT - 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997

A2 - Falaschi, Moreno

A2 - Navarro, Marisa

A2 - Policriti, Alberto

ER -