Linearity is Polynomially Decidable for Realtime Pushdown Store Automatia

Sheila A. Greibach

Published in: Inf. Control. (1979)

Keyphrases

real time
np complete
model checking
first order logic
quality of service
np hard
expressive power
pac learning
datalog programs
dnf formulas
search algorithm
information systems
database
machine learning
databases
graphics hardware
activity monitoring