Cylindrical Algebraic Coverings for Quantifiers

Kremer, Gereon; Nalbach, Jasper Kurt Ferdinand

(2023)
Beitrag zu einem Tagungsband

In: Proceedings of the 7th SC-Square Workshop, CEUR-WS Proceedings
Seite(n)/Artikel-Nr.: 9 Seiten

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]