An Improved Lower Bound for the Elementary Theories of Trees.

Sergei G. Vorobyov
Published in: CADE (1996)
Keyphrases