About the Combination of Trees and Rational Numbers in a Complete First-Order Theory.

Khalil Djelloul About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. 106-121 2005 conf/frocos/2005 FroCos http://dx.doi.org/10.1007/11559306_6 db/conf/frocos/frocos2005.html#Djelloul05