Succinctness of Order-Invariant Logics on Depth-Bounded Structures.

Kord Eickmeyer Michael Elberfeld Frederik Harwath

Published in: ACM Trans. Comput. Log. (2017)

Keyphrases

modal logic
neural network
website
database
data mining
information systems
description logics
affine transformation
affine invariant