Pages that link to "Item:Q1093359"
From MaRDI portal
The following pages link to An algebraic semantics approach to the effective resolution of type equations (Q1093359):
Displaying 10 items.
- Order-sorted unification (Q582269) (← links)
- A complete and recursive feature theory (Q673135) (← links)
- Another variation on the common subexpression problem (Q685700) (← links)
- Attributive concept descriptions with complements (Q749235) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Using powerdomains to generalize relational databases (Q1183586) (← links)
- Domains for logic programming (Q1185016) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
