Deciding the unguarded modal µ-calculus.

Oliver Friedmann Martin Lange

Published in: J. Appl. Non Class. Logics (2013)

Keyphrases

transition systems
modal logic
automated deduction
genetic algorithm
algebraic structure
concurrent systems
data mining
information retrieval
artificial intelligence
decision making
image processing
image sequences
first order logic