Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Wadern / Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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