Login / Signup

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

Khalil Djelloul
Published in: FroCoS (2005)
Keyphrases