NARROWER
From MaRDI portal
Cited in
(11)- A class of confluent term rewriting systems and unification
- History and basic features of the critical-pair/completion procedure
- Narrowing vs. SLD-resolution
- Narrowing based procedures for equational disunification
- Kernel-LEAF: A logic plus functional language
- PARLOG
- Logic and functional programming by retractions
- AFFIRM
- Optimization of rewriting and complexity of rewriting
- Code selection by inversion of order-sorted derivors
- Conditional equational theories and complete sets of transformations
This page was built for software: NARROWER
