Login / Signup

Combining decision procedures for the reals.

Jeremy AvigadHarvey Friedman
Published in: Log. Methods Comput. Sci. (2006)
Keyphrases