Pages that link to "Item:Q1975203"
From MaRDI portal
The following pages link to Ordering constraints over feature trees (Q1975203):
Displaying 5 items.
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- Speeding up operations on feature terms using constraint programming and variable symmetry (Q2341834) (← links)
- The first-order theory of ordering constraints over feature trees (Q2752467) (← links)
- (Q4282498) (← links)