Linear Orders in the Pushdown Hierarchy.

Laurent Braud Arnaud Carayol

Published in: ICALP (2) (2010)

Keyphrases

data sets
multiscale
model checking
linear constraints
database
artificial intelligence
case study
expert systems
dynamic programming
hierarchical structure
linear systems
knuth bendix