On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).
SOQE@KR. 2021 S. 37 - 45
Erscheinungsjahr: 2021
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
| Geprüft: | Bibliothek |
Autoren
Böltz, Lucas (Autor)
Frey, Hannes (Autor)
Peuter, Dennis (Autor)
