Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference24 articles.
1. Lecture Notes in Computer Science;K. Aehlig,2005
2. Bradfield, J.C., Stirling, C.P.: Modal logics and mu-calculi: an introduction. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 293–330. Elsevier, Amsterdam (2001)
3. Broadbent, C.H.: On collapsible pushdown automata, their graphs and the power of links. Ph.D. thesis, The University of Oxford, Department of Computer Science (2011)
4. LIPIcs;C.H. Broadbent,2012
5. Lecture Notes in Computer Science;C.H. Broadbent,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher-Order Model Checking: An Overview;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07