메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 3709 LNCS, Issue , 2005, Pages 137-151
A linear-logic semantics for constraint handling rules
Author keywords

[No Author keywords available]
Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; THEOREM PROVING;
EID: 33646174284     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11564751_13     Document Type: Conference Paper
Times cited : (27)
References (14)
  • 2
    • 0003370039 scopus 로고    scopus 로고
    • Confluence and semantics of constraint simplification rules
    • Slim Abdennadher, Thorn Frühwirth, Holger Meuss: Confluence and semantics of constraint simplification rules. Constraints 4(2):133-165 (1999).
    • (1999) Constraints , vol.4 , Issue.2 , pp. 133-165
    • Abdennadher, S.1    Frühwirth, T.2    Meuss, H.3
  • 3
    • 84870174832 scopus 로고
    • LO and behold! Concurrent structured processes
    • ACM SIGPLAN Notices, October
    • Jean-Marc Andreoli, Remo Pareschi: LO and Behold! Concurrent Structured Processes. ACM SIGPLAN Notices, Proceedings OOPSLA/ECOOP'90, 25(10):44-56, October 1990.
    • (1990) Proceedings OOPSLA/ECOOP'90 , vol.25 , Issue.10 , pp. 44-56
    • Andreoli, J.-M.1    Pareschi, R.2
  • 4
    • 84876206836 scopus 로고    scopus 로고
    • Master Thesis, University of Ulm, October
    • Hariolf Betz, A Linear Logic Semantics for CHR, Master Thesis, University of Ulm, October 2004, www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/ other/betzdipl.ps.gz
    • (2004) A Linear Logic Semantics for CHR
    • Betz, H.1
  • 6
    • 33646173432 scopus 로고
    • Initiation to linear logic
    • June
    • Vincent Danos, Roberto Di Cosmo: Initiation to Linear Logic. Course notes, June 1992.
    • (1992) Course Notes
    • Danos, V.1    Cosmo, R.D.2
  • 7
    • 0035946057 scopus 로고    scopus 로고
    • Linear concurrent constraint programming: Operational and phase semantics
    • François Fages, Paul Ruet, Sylvain Soliman: Linear Concurrent Constraint Programming: Operational and Phase Semantics. Information and Computation, 165(1):14-41, 2001.
    • (2001) Information and Computation , vol.165 , Issue.1 , pp. 14-41
    • Fages, F.1    Ruet, P.2    Soliman, S.3
  • 8
    • 0032186691 scopus 로고    scopus 로고
    • Theory and practice of constraint handling rules
    • Thorn Frühwirth: Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1-3):95-138, 1998.
    • (1998) Journal of Logic Programming , vol.37 , Issue.1-3 , pp. 95-138
    • Frühwirth, T.1
  • 10
    • 0023171371 scopus 로고
    • Linear logic: Its syntax and semantics
    • Jean-Yves Girard: Linear Logic: Its syntax and semantics. Theoretical Computer Science, 50:1-102, 1987.
    • (1987) Theoretical Computer Science , vol.50 , pp. 1-102
    • Girard, J.-Y.1
  • 11
    • 84947921826 scopus 로고    scopus 로고
    • Programming in lygon: An overview
    • Algebraic Methodology and Software Technology (AMAST 96), Proceedings
    • James Harland, David Pyrn, Michael Winikoff: Programming in Lygon: an overview. Algebraic Methodology and Software Technology (AMAST 96), 5th International Conference, Proceedings, 391-405, 1996.
    • (1996) 5th International Conference , pp. 391-405
    • Harland, J.1    Pyrn, D.2    Winikoff, M.3
  • 13
    • 0021415472 scopus 로고
    • Worst-case analysis of set union algorithms
    • Robert E. Tarjan, Jan van Leeuwen. Worst-case analysis of set union algorithms. Journal of the ACM, 31(2):245-281, 1984.
    • (1984) Journal of the ACM , vol.31 , Issue.2 , pp. 245-281
    • Tarjan, R.E.1    Van Leeuwen, J.2
  • 14
    • 84973864685 scopus 로고
    • A taste of linear logic
    • Invited talk, Mathematical Foundations of Computing Science
    • Philip Wadler: A taste of linear logic. Invited talk, Mathematical Foundations of Computing Science, Springer LNCS 711, 1993.
    • (1993) Springer LNCS , vol.711
    • Wadler, P.1

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