Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. On the Existential Theories of Büchi Arithmetic and Linear p−adic Fields

On the Existential Theories of Büchi Arithmetic and Linear p−adic Fields

Florent Guépin‚ Christoph Haase and James Worrell

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

Links

See Also

Back to Top