Pages that link to "Item:Q1124313"
From MaRDI portal
The following pages link to Inheritance hierarchies: Semantics and unifications (Q1124313):
Displaying 9 items.
- Order-sorted unification (Q582269) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Semantic networks (Q1202620) (← links)
- The KL-ONE family (Q1202629) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)
