General size-change termination and lexicographic descent

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2566 LNCS, Issue , 2002, Pages 3-17

  Ben Amram, Amir M ^a  

^a ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FUNCTION CALLS; FUNCTION DEFINITIONS; RECURSION THEORY; RECURSIONS;

RECURSIVE FUNCTIONS;

EID: 84887913834     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36377-7_1     Document Type: Article

References (6)

1. Amir M.B en-Amram. SCT-1-1 ? PTIME (plus some other cases).unpubl ished note, Copenhagen, 2001.
2. Chin Soon Lee, Neil D.J ones, and Amir M. Ben-Amram. The size-change principle for program termination.I n Proceedings of the Twenty-Eigth ACM Symposium on Principles of Programming Languages, January 2001, pages 81-92.A CM press, 2001.
3. R. Peter. Recursive Functions.A cademic Press, 1967.
4. N.L indenstrauss, N. and Y.S agiv. Automatic termination analysis of Prolog programs.I n Proceedings of the Fourteenth International Conference on Logic Programming, L.N aish, Ed, pages 64-77. MIT Press, Leuven, Belgium, 1977. See also: http://www.cs.huji.ac.il/?naomil/.
5. Y. Sagiv.A termination test for logic programs.I n Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct 28-Nov 1, 1991, V.S araswat and K.U eda, Eds. MIT Press, 518-532.
6. J. H.v an Lint and R.M.W ilson. A Course in Combinatorics, page 23.Cam bridge University Press, 1992.