Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Presburger arithmetic with stars‚ rational subsets of graph groups‚ and nested zero tests

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

Links

See Also

Back to Top