Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Wadern / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2019) [Contribution to a book, Contribution to a conference proceedings]

[In 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019]
Page(s): 112:1-112:14

Authors

Selected Authors

Dawar, Anuj
Grädel, Erich
Pakusa, Wied

Identifier