Analysing Mu-Calculus Properties of Pushdown Systems.

Matthew Hague C.-H. Luke Ong

Published in: SPIN (2010)

Keyphrases

computer systems
complex systems
learning systems
distributed systems
neural network
systems require
website
expert systems
formal language
computing systems
desirable properties
retrieval systems
real time
natural language
database systems
e learning
search engine
artificial intelligence
data mining
data sets