On confluence of Constraint Handling Rules-Reference-Cited by-同舟云学术

On confluence of Constraint Handling Rules

Published:1996 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abdennadher Slim,Frühwirth Thom,Meuss Holger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61551-2_62.pdf

Reference16 articles.

1. S. Abdennadher, T. Frühwirth, and H. Meuss. Confluent simplification rules. Technical report, LMU Munich, January 1996.

2. P. Brisset, T. Frühwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf, and M. Wallace. ECL i PS e 3.4 Extensions User Manual ECRC Munich Germany, July 1994.

3. N. Dershowitz, N. Okada, and G. Sivakumar. Confluence of conditional rewrite systems. In 1st CTRS, pages 31–44. LNCS 308, 1988.

4. ECLiPSe 3.4 User Manual, July 1994.

5. M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence in concurrent constraint programming. In Alagar and Nivat, editors, Proceedings of AMAST '95, LNCS 936. Springer, 1995.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Confluence of CHR Revisited: Invariants and Modulo Equivalence;Logic-Based Program Synthesis and Transformation;2019

2. Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs;Functional and Constraint Logic Programming;2019

3. Confluence Modulo Equivalence with Invariants in Constraint Handling Rules;Functional and Logic Programming;2018

4. Confluence and Convergence in Probabilistically Terminating Reduction Systems;Logic-Based Program Synthesis and Transformation;2018

5. On proving confluence modulo equivalence for Constraint Handling Rules;Formal Aspects of Computing;2017-01