ACD term rewriting

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

Volumn 4079 LNCS, Issue , 2006, Pages 117-131

  Duck, Gregory J ^a   Stuckey, Peter J ^a   Brand, Sebastian ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONSTRAINT THEORY; CONTEXT SENSITIVE LANGUAGES; SOFTWARE ENGINEERING;

ASSOCIATIVE COMMUTATIVE DISTRIBUTIVE (ACD); CONSTRAINT HANDLING RULES; LOGICAL FORMULA; REWRITING RULES;

LOGIC PROGRAMMING;

EID: 33749359124     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11799573_11     Document Type: Conference Paper

References (7)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Gert Smolka, editor, Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, LNCS 1330, pages 252-266. Springer-Verlag, 1997.
2. v: A flexible query language. In International conference on Flexible Query Answering Systems, number 1495 in LNCS, pages 1-14, Roskilde, Denmark, 1998. Springer-Verlag.
3. P. Baader and T. Nipkow. Term rewriting and all that. Cambridge Univ. Press, 1998.
4. G. Duck, P. Stuckey, M. Garcia de la Banda, and C. Holzbaur. The refined operational semantics of constraint handling rules. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming, LNCS 3132, pages 90-104. Springer-Verlag, September 2004.
5. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37:95-138, 1998.
6. v Execution Engine. In Second Workshop on Constraint Handling Rules, Sitges, Spain, 2005.
7. P.J. Stuckey, M. Garcia de la Banda, M. Maher, K. Marriott, J. Slaney, Z. Somogyi, M. Wallace, and T. Walsh. The G12 project: Mapping solver independent models to efficient solutions. In M. Gabrielli and G. Gupta, editors, Proceedings of the 21st International Conference on Logic Programming, number 3668 in LNCS, pages 9-13. Springer-Verlag, 2005.