A Logical Characterization of Timed Pushdown Languages.

Manfred Droste Vitaly Perevoshchikov

Published in: CSR (2015)

Keyphrases

expressive power
petri net
relational query languages
timed automata
model checking
databases
logical reasoning
language independent
description languages
markov chain
text summarization
computer programs
logical framework
linguistic resources
bayesian networks
neural network
logical theories
data sets