5 citations · 5 across the 1 of their papers we have counts for
1 paper
Florian Bruse, Oliver Friedmann, Martin Lange
Guarded normal form requires occurrences of fixpoint variables in a μ-calculus-formula to occur under the scope of a modal operator. The literature contains guarded transformations…