Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories

Khalil Djelloul, Thi-Bich-Hanh Dao. Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 7-14, ACM, 2006. [doi]

Abstract

Abstract is missing.