Login / Signup
Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes.
Jan Dreier
Published in:
LICS (2021)
Keyphrases
</>
first order logic
higher order
finite state
neural network
class labels
singular value decomposition
finite automata
real time
databases
feature selection
knowledge base
dynamic programming