Cylindrical Algebraic Coverings for Quantifiers

Kremer, Gereon; Nalbach, Jasper Kurt Ferdinand

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

Identifikationsnummern