Pages that link to "Item:Q3514890"
From MaRDI portal
The following pages link to Theory of finite or infinite trees revisited (Q3514890):
Displayed 8 items.
- A full first-order constraint solver for decomposable theories (Q1044229) (← links)
- From decomposable to residual theories (Q1045812) (← links)
- A decision procedure for (co)datatypes in SMT solvers (Q2360873) (← links)
- A Decision Procedure for (Co)datatypes in SMT Solvers (Q3454092) (← links)
- (Q5020661) (← 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)
- A logical framework with higher-order rational (circular) terms (Q6091181) (← links)