Monadic Chain Logic Over Iterations and Applications to Pushdown Systems.

Dietrich Kuske Markus Lohrey

Published in: LICS (2006)

Keyphrases

expert systems
management system
distributed systems
logic programs
classical logic
real time
databases
information retrieval
query processing
intelligent systems
knowledge based systems
logic programming
building blocks
asynchronous circuits