Login / Signup

Decomposition of Decidable First-Order Logics over Integers and Reals.

Florent BouchyAlain FinkelJérôme Leroux
Published in: TIME (2008)
Keyphrases