Back to Results
First PageMeta Content
Mathematics / Logic in computer science / Philosophical logic / Non-classical logic / Kripke semantics / Modal μ-calculus / Combinatory logic / Temporal logic / Modal depth / Logic / Mathematical logic / Modal logic


Games and Modal Mu-Calculus Colin Stirling
Add to Reading List

Document Date: 2009-05-20 10:03:05

Open Document

File Size: 219,72 KB

Share Result on Facebook
UPDATE