Pages that link to "Item:Q1124313"
From MaRDI portal
The following pages link to Inheritance hierarchies: Semantics and unifications (Q1124313):
Displayed 5 items.
- Order-sorted unification (Q582269) (← links)
- Semantic networks (Q1202620) (← links)
- The KL-ONE family (Q1202629) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)