Pages that link to "Item:Q1424767"
From MaRDI portal
The following pages link to Expressiveness of full first-order constraints in the algebra of finite or infinite trees (Q1424767):
Displaying 10 items.
- A full first-order constraint solver for decomposable theories (Q1044229) (← links)
- From decomposable to residual theories (Q1045812) (← links)
- Deciding the first-order theory of an algebra of feature trees with updates (Q1799104) (← links)
- The first-order theory of ordering constraints over feature trees (Q2752467) (← links)
- (Q4808698) (← links)
- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints (Q5191405) (← links)
- Decidable Inequalities over Infinite Trees (Q5222948) (← links)
- Decomposable theories (Q5309080) (← links)
- A Full First-Order Constraint Solver for Decomposable Theories (Q5505492) (← links)
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses (Q6647302) (← links)