Cylindrical Algebraic Coverings for Quantifiers

Kremer, Gereon; Nalbach, Jasper Kurt Ferdinand

(2023)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 7th SC-Square Workshop, CEUR-WS Proceedings
Page(s)/Article-Nr.: 9 Seiten

Institutions

  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]

Identifier