Nivat's Theorem for Pushdown Transducers.

Published in: Theor. Comput. Sci. (1992)

Keyphrases

model checking
finite automata
multiscale
expert systems
databases
information systems
three dimensional
video sequences
support vector
pairwise
viewpoint
image analysis
probability distribution