Approximations of Isomorphism and Logics with Linear-Algebraic Operators.

Anuj Dawar Erich Grädel Wied Pakusa

Published in: CoRR (2019)

Keyphrases

expressive power
algebraic operators
closed form
low order
cooperative
simple linear
linear approximation
databases
bayesian networks
modal logic
linear systems
approximation methods
truth values
linear functions