Login / Signup
Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic.
Tobias Nipkow
Published in:
VERIFY (2007)
Keyphrases
</>
optimal solution
databases
knowledge representation