The alternation hierarchy in fixpoint logic with chop is strict too - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Martin Lange. The alternation hierarchy in fixpoint logic with chop is strict too. Inf. Comput., 204(9):1346-1367, 2006. [doi]

The following publications are possibly variants of this publication:

Parallel and Symbolic Model Checking for Fixpoint Logic with ChopMartin Lange, Hans-Wolfgang Loidl. ENTCS, 128(3):125-138, 2005. [doi]

Propositional dynamic logic of context-free programs and fixpoint logic with chopMartin Lange, Rafal Somla. ipl, 100(2):72-75, 2006. [doi]

Three notes on the complexity of model checking fixpoint logic with chopMartin Lange. ita, 41(2):177-190, 2007. [doi]

runs on WebDSL