Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion and Transfer Axioms
2021
Erscheinungsjahr: 2021
Publikationstyp: Diverses
Sprache: Englisch
| Geprüft: | Bibliothek |
Autoren
Frey, Hannes (Autor)
Böltz, Lucas (Autor)
