Theory of finite or infinite trees revisited
From MaRDI portal
Publication:3514890
DOI10.1017/S1471068407003171zbMath1148.68043MaRDI QIDQ3514890
Thi-Bich-Hanh Dao, Thom Frühwirth, Khalil Djelloul
Publication date: 23 July 2008
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints, A Full First-Order Constraint Solver for Decomposable Theories, A full first-order constraint solver for decomposable theories, From decomposable to residual theories
Cites Work