Login / Signup
Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes.
Jan Dreier
Published in:
CoRR (2021)
Keyphrases
</>
finite state
finite model theory
higher order
finite automata
real time
pattern matching
first order logic
database systems
hidden markov models
singular value decomposition
decomposition methods
stochastic dominance