Approximations of Isomorphism and Logics with Linear-Algebraic Operators
Dawar, Anuj (Corresponding author); Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author)
Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019)
Buchbeitrag, Beitrag zu einem Tagungsband
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.)
Seite(n)/Artikel-Nr.: 112:1-112:14
Identifikationsnummern
- DOI: 10.4230/LIPICS.ICALP.2019.112
- DOI: 10.18154/RWTH-2019-06475
- RWTH PUBLICATIONS: RWTH-2019-06475