Pages that link to "Item:Q1124313"
From MaRDI portal
The following pages link to Inheritance hierarchies: Semantics and unifications (Q1124313):
Displaying 19 items.
- Order-sorted unification (Q582269) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Graphical inheritance notation for state-based classes (Q927454) (← links)
- Semantic networks (Q1202620) (← links)
- The KL-ONE family (Q1202629) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- Inheritance systems with exceptions (Q1329230) (← links)
- Inheritance-based subtyping (Q1854552) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- (Q3046762) (← links)
- (Q3115136) (← links)
- (Q3204024) (← links)
- Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions (Q4286218) (← links)
- A Set-Theoretical Approach for the Induction of Inheritance Hierarchies (Q4923573) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- Separation Logic for Multiple Inheritance (Q5415606) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)