Pages that link to "Item:Q3514890"
From MaRDI portal
The following pages link to Theory of finite or infinite trees revisited (Q3514890):
Displayed 4 items.
- A full first-order constraint solver for decomposable theories (Q1044229) (← links)
- From decomposable to residual theories (Q1045812) (← links)
- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints (Q5191405) (← links)
- A Full First-Order Constraint Solver for Decomposable Theories (Q5505492) (← links)