SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

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

Volumn 1256, Issue , 1997, Pages 838-848

Termination of constraint logic programs

(1) Ruggieri, Salvatore a

a UNIVERSITY OF PISA (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; LOGIC PROGRAMMING;

CONSTRAINT LOGIC PROGRAMS; CONSTRAINT SYSTEMS; NON IDEALS; SELECTION RULES;

COMPUTER CIRCUITS;

EID: 84951135057 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-63165-8_236 Document Type: Conference Paper

Times cited : (8)

References (9)

1
- 0040717657
- Studies in Pure Prolog: Termination
- J. W. Lloyd, editor, Springer-Verlag, Berlin
- K.R. Apt and D. Pedreschi. Studies in Pure Prolog: Termination. In J. W. Lloyd, editor, Symposium on Computational Logic, pages 150-176. Springer-Verlag, Berlin, 1990.
- (1990) Symposium on Computational Logic , pp. 150-176
- Apt, K.R.¹ Pedreschi, D.²

2
- 0040123795
- Characterizing termination of logic programs with level mappings
- E. L. Lusk and R. A. Overbeek, editors, The MIT Press
- M. Bezem. Characterizing termination of logic programs with level mappings. In E. L. Lusk and R. A. Overbeek, editors, Proceedings of the North American Conference on Logic Programming, pages 69-80. The MIT Press, 1989.
- (1989) Proceedings of the North American Conference on Logic Programming , pp. 69-80
- Bezem, M.¹

3
- 84958045834
- On Termination of Constraint Logic Programs
- M. Bruynooghe and J. Penjam, editors
- L. Colussi, E. Marchiori, and M. Marchiori. On Termination of Constraint Logic Programs. In M. Bruynooghe and J. Penjam, editors, Proc. of PPCP'95, number 976 in Lectures Notes in Computer Science, 1995.
- (1995) Proc. Of PPCP'95, Number 976 in Lectures Notes in Computer Science
- Colussi, L.¹ Marchiori, E.² Marchiori, M.³

4
- 0041110119
- Analysis of nonlinear constraints in CLP(R)
- D. S. Warren, editor, MIT Press
- M. Hanus. Analysis of nonlinear constraints in CLP(R). In D. S. Warren, editor, Proceedings of the 1993 International Conference on Logic Programming, pages 8399. MIT Press, 1993.
- (1993) Proceedings of the 1993 International Conference on Logic Programming , pp. 8399
- Hanus, M.¹

5
- 0026884407
- The CLP(R) Language and System
- P. Stuckey J. Jaffar, S. Michaylov and R. Yap. The CLP(R) Language and System. ACM Toplas, 14 (3):339-395, 1992.
- (1992) ACM Toplas , vol.14 , Issue.3 , pp. 339-395
- Jaffar, P.S.J.¹ Michaylov, S.² Yap, R.³

6
- 4243532938
- Constraint logic programming: A survey
- J. Jaffar and M.J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19,20:503-581, 1994.
- (1994) Journal of Logic Programming , vol.19 , Issue.20 , pp. 503-581
- Jaffar, J.¹ Maher, M.J.²

7
- 0012192384
- A Logic Programming View of CLP
- D. S. Warren, editor, The MIT Press
- M.J. Maher. A Logic Programming View of CLP. In D. S. Warren, editor, Proceedings of the 1993 International Conference on Logic Programming. The MIT Press, 1993.
- (1993) Proceedings of the 1993 International Conference on Logic Programming
- Maher, M.J.¹

8
- 0040622366
- Inferring Left-terminating Classes of Queries for Constraint Logic Programs
- M. Maher, editor, The MIT Press
- F. Mesnard. Inferring Left-terminating Classes of Queries for Constraint Logic Programs. In M. Maher, editor, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 7-21. The MIT Press, 1996.
- (1996) Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming , pp. 7-21
- Mesnard, F.¹

9
- 0028429645
- Termination of logic programs: The never-ending story
- D. De Schreye and S. Decorte. Termination of logic programs: the never-ending story. Journal of Logic Programming, 19-20:199-260, 1994.
- (1994) Journal of Logic Programming , vol.19-20 , pp. 199-260
- De Schreye, D.¹ Decorte, S.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.