Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
A Saturation Method for the Modal Mu-Calculus with Backwa... | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
0
Authors
M. Hague
1 more
M. Hague
•
C. -H. L. Ong
Published
June 30, 2010
Paper
Conversation
0
Reviews
0
Bounties
0
Loading PDF viewer…
Supporters
Support the authors with ResearchCoin
Tip RSC
Preprint Server
Other Formats
PDF
