Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Bradfield, J.C.: Fixpoints in arithmetic, transition systems and trees. Theoretical Informatics and Applications 33, 341–356 (1999)
2. Lecture Notes in Computer Science;J.C. Bradfield,2000
3. Bradfield, J.C., Fröschle, S.B.: Independence-friendly modal logic and true concurrency. Nordic J. Computing 9, 102–117 (2002)
4. Cameron, P., Hodges, W.: Some combinatorics of imperfect information. J. Symbolic Logic 66, 673–684 (2001)
5. Cenzer, D.: Monotone inductive definitions over the continuum. J. Symbolic Logic 41(1), 188–198 (1976)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献