Approximations of Isomorphism and Logics with Linear-Algebraic Operators
46th International Colloquium on Automata, Languages, and Programming. Dagstuhl. 2019 S. 112 - 113 (Leibniz International Proceedings in Informatics)
Erscheinungsjahr: 2019
ISBN/ISSN: 978-3-95977-109-2
Publikationstyp: Buchbeitrag
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
