Login / Signup
On guarded transformation in the modal μ-calculus.
Florian Bruse
Oliver Friedmann
Martin Lange
Published in:
Log. J. IGPL (2015)
Keyphrases
</>
transition systems
modal logic
artificial intelligence
case study
neural network
expert systems
transformation rules
computer algebra