Approximations of Isomorphism and Logics with Linear-Algebraic Operators.

Anuj Dawar Erich Grädel Wied Pakusa

Published in: ICALP (2019)

Keyphrases

closed form
algebraic operators
expressive power
low order
inference rules
higher order
modal logic
graph theory
linear systems
linear approximation
database
neural network
case study
multiscale
data model