Cylindrical Algebraic Coverings for Quantifiers

Kremer, Gereon; Nalbach, Jasper Kurt Ferdinand

(2023)
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]