Conditional narrowing modulo a set of equations

Alexander Bockmayr

doi:10.1007/bf01202035

Conditional narrowing modulo a set of equations

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/bf01202035 ◽

1993 ◽

Vol 4 (3) ◽

pp. 147-168 ◽

Cited By ~ 9

Author(s):

Alexander Bockmayr

Keyword(s):

Conditional Narrowing

Download Full-text

Conditional narrowing without conditions

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888255 ◽

2003 ◽

Cited By ~ 6

Author(s):

Sergio Antoy ◽

Bernd Brassel ◽

Michael Hanus

Keyword(s):

Conditional Narrowing

Download Full-text

Conditional narrowing with constructive negation

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_4 ◽

1993 ◽

pp. 59-79 ◽

Cited By ~ 1

Author(s):

María José Ramírez ◽

Moreno Falaschi

Keyword(s):

Constructive Negation ◽

Conditional Narrowing

Download Full-text

New completeness results for lazy conditional narrowing

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 ◽

10.1145/1013963.1013979 ◽

2004 ◽

Author(s):

Mircea Marin ◽

Aart Middeldorp

Keyword(s):

Conditional Narrowing

Download Full-text

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

Foundations of Logic and Functional Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-19129-1_7 ◽

1988 ◽

pp. 157-167 ◽

Cited By ~ 12

Author(s):

E. Giovannetti ◽

C. Moiso

Keyword(s):

Completeness Result ◽

Unification Algorithms ◽

Conditional Narrowing

Download Full-text

Safe folding/unfolding with conditional narrowing

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0026999 ◽

1997 ◽

pp. 1-15 ◽

Cited By ~ 6

Author(s):

M. Alpuente ◽

M. Falaschi ◽

G. Moreno ◽

G. Vidal

Keyword(s):

Conditional Narrowing

Download Full-text

The passau RAP system: Prototyping algebraic specifications using conditional narrowing

8th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-16780-3_139 ◽

1986 ◽

pp. 689-690

Author(s):

Heinrich Hussmann

Keyword(s):

Algebraic Specifications ◽

Conditional Narrowing

Download Full-text

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

Lecture Notes in Computer Science - Logic, Rewriting, and Concurrency ◽

10.1007/978-3-319-23165-5_2 ◽

2015 ◽

pp. 48-71 ◽

Cited By ~ 1

Author(s):

Luis Aguirre ◽

Narciso Martí-Oliet ◽

Miguel Palomino ◽

Isabel Pita

Keyword(s):

Rewriting Logic ◽

Conditional Narrowing

Download Full-text

Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773205 ◽

2001 ◽

Cited By ~ 25

Author(s):

Sergio Antoy

Keyword(s):

Conditional Narrowing

Download Full-text

Conditional Narrowing Modulo in Rewriting Logic and Maude

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12904-4_4 ◽

2014 ◽

pp. 80-96 ◽

Cited By ~ 2

Author(s):

Luis Aguirre ◽

Narciso Martí-Oliet ◽

Miguel Palomino ◽

Isabel Pita

Keyword(s):

Rewriting Logic ◽

Conditional Narrowing

Download Full-text

A Complete Selection Function for Lazy Conditional Narrowing

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_13 ◽

2001 ◽

pp. 201-215

Author(s):

Taro Suzuki ◽

Aart Middeldorp

Keyword(s):

Selection Function ◽

Conditional Narrowing

Download Full-text