Login / Signup

Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests.

Christoph HaaseGeorg Zetzsche
Published in: LICS (2019)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • algebraic structure
  • directed graph
  • decision making
  • decision procedures