Skip to main content

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

Christoph Haase and Georg Zetzsche

Book Title
Logic in Computer Science‚ LICS
Publisher
IEEE
Year
2019