메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 2401 LNCS, Issue , 2002, Pages 224-238
Logical loops
Author keywords

[No Author keywords available]
Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; RECONFIGURABLE HARDWARE;
EID: 84888247983     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45619-8_16     Document Type: Conference Paper
Times cited : (23)
References (12)
  • 1
    • 0030143450 scopus 로고    scopus 로고
    • Arrays, bounded quantification and iteration in logic and constraint logic programming
    • K. R. Apt. Arrays, bounded quantification and iteration in logic and constraint logic programming. Science of Computer Programming, 26(1-3):133-148, 1996.
    • (1996) Science of Computer Programming , vol.26 , Issue.1-3 , pp. 133-148
    • Apt, K.R.1
  • 2
    • 21144472616 scopus 로고
    • Prolog with arrays and bounded quantifications
    • A. Voronkov, editor, Springer
    • J. Barklund and J. Bevemyr. Prolog with arrays and bounded quantifications. In A. Voronkov, editor, Proceedings of LPAR'93, pages 28-39. Springer, 1993.
    • (1993) Proceedings of LPAR'93 , pp. 28-39
    • Barklund, J.1    Bevemyr, J.2
  • 4
    • 84888229399 scopus 로고    scopus 로고
    • ECLIPSE user manual version 4.0
    • ECLiPSe Team, London, July
    • ECLiPSe Team. ECLiPSe User Manual Version 4.0. Technical report, IC-Parc, Imperial College, London, July 1998.
    • (1998) Technical Report, IC-Parc, Imperial College
  • 5
    • 0003479590 scopus 로고    scopus 로고
    • Curry: An integrated functional logic language
    • Kiel, Germany, June
    • M. Hanus. Curry: An integrated functional logic language. Technical report, Univerity of Kiel, Kiel, Germany, June 2000.
    • (2000) Technical Report, Univerity of Kiel
    • Hanus, M.1
  • 8
    • 0003350308 scopus 로고
    • A C++ implementation of CLP
    • Singapore, November
    • J.-F. Puget. A C++ implementation of CLP. In Proceedings of SPICIS 94, Singapore, November 1994.
    • (1994) Proceedings of SPICIS 94
    • Puget, J.-F.1
  • 10
    • 0038477837 scopus 로고    scopus 로고
    • Logic programming in oz with mozart
    • D. D. Schreye, editor, Las Cruces, NM, USA, Nov. The MIT Press
    • P. VanRoy. Logic programming in Oz with Mozart. In D. D. Schreye, editor, International Conference on Logic Programming, pages 38-51, Las Cruces, NM, USA, Nov. 1999. The MIT Press.
    • (1999) International Conference on Logic Programming , pp. 38-51
    • Van Roy, P.1
  • 11
    • 0004768559 scopus 로고
    • Logic programming with bounded quantifiers
    • A. Voronkov, editor, Springer LNAI
    • A. Voronkov. Logic programming with bounded quantifiers. In A. Voronkov, editor, Logic Programming, First and Second Russian Conference, pages 486-514. Springer LNAI, 1990/1991.
    • (1990) Logic Programming, First and Second Russian Conference , pp. 486-514
    • Voronkov, A.1
  • 12
    • 0021774950 scopus 로고
    • Higher-order extensions to prolog - are they needed?
    • D. H. D. Warren. Higher-order extensions to Prolog - are they needed? Machine Intelligence, 10:441-454, 1982.
    • (1982) Machine Intelligence , vol.10 , pp. 441-454
    • Warren, D.H.D.1

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