swMATH43234MaRDI QIDQ5973903FDOQ5973903
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/3-540-15976-2_7
Cited In (11)
- Logic and functional programming by retractions
- Narrowing vs. SLD-resolution
- PARLOG
- AFFIRM
- Narrowing based procedures for equational disunification
- Code selection by inversion of order-sorted derivors
- A class of confluent term rewriting systems and unification
- History and basic features of the critical-pair/completion procedure
- Conditional equational theories and complete sets of transformations
- Optimization of rewriting and complexity of rewriting
- Kernel-LEAF: A logic plus functional language
This page was built for software: NARROWER
