Visibly Pushdown Transducers.

Jean-François Raskin Frédéric Servais

Published in: ICALP (2) (2008)

Keyphrases

model checking
finite automata
finite state automata
database
computational complexity
information extraction
semi automatic
databases
database systems