The following pages link to (Q4473025):
Displaying 5 items.
- Deciding the first-order theory of an algebra of feature trees with updates (Q1799104) (← links)
- On a decision procedure for quantified linear programs (Q2462634) (← links)
- The first-order theory of ordering constraints over feature trees (Q2752467) (← links)
- Finite and Rational Tree Constraints (Q4318170) (← links)
- (Q4808698) (← links)