Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CORR
2010
Springer

favoriteEmaildiscussreport

58views Education» more CORR 2010»

A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems

13 years 4 months ago

A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems

Download www.comlab.ox.ac.uk

We present an algorithm for computing directly the denotation of a modal

Matthew Hague, C.-H. Luke Ong

Real-time Traffic

Automaton | Backwards Modalities | CORR 2010 | Education | Modal µcalculus Formula |

claim paper

Related Content

» Analysing MuCalculus Properties of Pushdown Systems

» On Global Model Checking Trees Generated by HigherOrder Recursion Schemes

» Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Matthew Hague, C.-H. Luke Ong

Comments (0)