Combining lazy narrowing with disequality constraints-Reference-Cited by-同舟云学术

Combining lazy narrowing with disequality constraints

Published:1994 Issue: Volume: Page:385-399
ISSN:0302-9743
Container-title:Programming Language Implementation and Logic Programming
language:
Short-container-title:

Author:

Arenas-Sánchez Puri,Gil-Luezas Ana,López-Fraguas Francisco J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58402-1_27.pdf

Reference22 articles.

1. P.H. Cheong: Compiling lazy narrowing into Prolog, Technical Report 25, LIENS, 1990, to appear in: Journal of New Generation Computing.

2. A. Colmerauer: Prolog and infinite trees, in K.L. Clark, S.A. Tarnlund (eds.) Logic Programming, Academic Press, 1982, 231–251.

3. A. Colmerauer: Equations and inequations on finite and infinite trees, Procs. FGCS'84, 1984, 85–99.

4. H. Comon: Disunification: A Survey, in: J.L.Lassez,G. Plotkin (eds.) Computational Logic, Essays in Honor of Alan Robinson, MIT Press, 1991,322–359.

5. A. Dovier, G.F. Rossi: Embedding extensional finite sets in CLP, Procs. Int. Logic Progr. Symp., MIT Press, 1993.

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

1. Transforming Boolean equalities into constraints;Formal Aspects of Computing;2017-05

2. From Boolean Equalities to Constraints;Logic-Based Program Synthesis and Transformation;2015

3. A Complete Axiomatization of Strict Equality;Functional and Logic Programming;2010

4. A Proposal for Disequality Constraints in Curry;Electronic Notes in Theoretical Computer Science;2007-06

5. A new generic scheme for functional logic programming with constraints;Higher-Order and Symbolic Computation;2007-02-24