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) [Contribution to a book, Contribution to a conference proceedings]

46th International Colloquium on Automata, Languages, and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / edited by Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi
Page(s): 112:1-112:14