The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Theory of Finite or Infinite Trees Revisited
[article]
2007
arXiv
pre-print
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and a relation (t) which enables to distinguish between finite or infinite trees. We show that T has at least one model and prove its completeness by giving not only a decision procedure, but a full first-order constraint solver which gives clear and explicit solutions for any first-order constraint satisfaction problem in
arXiv:0706.4323v1
fatcat:pc6loiiimzf7bm3olewrqzj6te