Axiomatising Linear Time Mu-calculus.

Published in: CONCUR (1995)

Keyphrases

data sets
worst case
development environment
automated deduction
neural network
artificial intelligence
computer algebra
data mining
e learning
knowledge base
algebraic structure
provably correct
timed automata