Pages that link to "Item:Q1854347"
From MaRDI portal
The following pages link to Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347):
Displaying 6 items.
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Deciding the first-order theory of an algebra of feature trees with updates (Q1799104) (← links)
- Ordering constraints over feature trees (Q1975203) (← links)
- Logics for unordered trees with data constraints (Q2424682) (← links)
- The first-order theory of ordering constraints over feature trees (Q2752467) (← links)
- (Q4282498) (← links)