NARROWER
From MaRDI portal
Software:5973903
swMATH43234MaRDI QIDQ5973903FDOQ5973903
Author name not available (Why is that?)
Cited In (9)
- Logic and functional programming by retractions
- Narrowing vs. SLD-resolution
- 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
