Solving First-Order Constraints in the Theory of the Evaluated Trees
From MaRDI portal
Publication:3608448
DOI10.1007/978-3-540-73817-6_7zbMath1176.68198OpenAlexW1631711703MaRDI QIDQ3608448
Khalil Djelloul, Thi-Bich-Hanh Dao
Publication date: 5 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2570
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
A full first-order constraint solver for decomposable theories ⋮ From decomposable to residual theories
This page was built for publication: Solving First-Order Constraints in the Theory of the Evaluated Trees
