Login / Signup

Rigid models of Presburger arithmetic.

Emil Jerábek
Published in: Math. Log. Q. (2019)
Keyphrases
  • probabilistic model
  • presburger arithmetic
  • database
  • search algorithm
  • first order logic