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