A completeness result for E-unification algorithms based on conditional narrowing-Reference-Cited by-同舟云学术

A completeness result for E-unification algorithms based on conditional narrowing

Published:1988 Issue: Volume: Page:157-167
ISSN:0302-9743
Container-title:Foundations of Logic and Functional Programming
language:
Short-container-title:

Author:

Giovannetti E.,Moiso C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-19129-1_7.pdf

Reference14 articles.

1. J.A. Bergstra and J.W. Klop, Conditional rewrite rules: confluence and termination, Journal of Computer and System Sciences 32 (1986), pp. 323–362.

2. P.G. Bosco and E. Giovannetti, IDEAL: an Ideal DEductive Applicative Language, Proc. 1986 Symp. on Logic Programming (IEEE Comp. Society Press, 1986), 89–95.

3. P.G. Bosco, E. Giovannetti, G. Levi, C. Moiso and C. Palamidessi, A complete characterization of K-LEAF, a logic language with partial functions, Proc. 1987 Symp. on Logic Programming (IEEE Comp. Society Press, 1987).

4. P.G. Bosco, E. Giovannetti and C. Moiso, Refined strategies for semantic unification. Proc. TAPSOFT '87, NCS 250 (Springer-Verlag, 1987), 276–290.

5. N. Dershowitz and D.A. Plaisted, Logic programming cum applicative programming, Proc. 1985 Symp. on Logic Programming (IEEE Comp. Society Press, 1985), 54–66.

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

1. Explanatory Denotational Semantics for Complex Event Patterns;Formal Aspects of Computing;2023-11-20

2. Strategies in Conditional Narrowing Modulo SMT Plus Axioms;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

3. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude;Journal of Automated Reasoning;2017-06-06

4. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude;Lecture Notes in Computer Science;2015

5. Functional and Constraint Logic Programming;Constraints in Computational Logics;2001