Automata for the Modal mu-Calculus and related Results.

David Janin Igor Walukiewicz

Published in: MFCS (1995)

Keyphrases

finite automata
databases
closely related
modal logic
data mining
website
case study
search algorithm
timed automata