Back to Results
First PageMeta Content
Mathematical logic / Metalogic / Well-formed formula / Conjunctive normal form / Polynomial / Parity / Physics / Formal languages / Logical syntax


GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop
Add to Reading List

Document Date: 2013-05-03 12:27:57

Open Document

File Size: 291,67 KB

Share Result on Facebook

Company

Calculus Transition Systems / /

Currency

pence / /

IndustryTerm

polynomial algorithm / desired polynomial solution / guarded transformation algorithm / equation systems / polynomial solution algorithm / bottom-up algorithm / equivalent guarded equation systems / hierarchical equation systems / /

Person

MARTIN LANGE / FLORIAN BRUSE / OLIVER FRIEDMANN / /

Position

first player / player / /

Technology

same algorithm / polynomial solution algorithm / bottom-up algorithm / polynomial algorithm / guarded transformation algorithm / /

SocialTag