Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;A Balan,2011
2. Baltag, A.: Truth-as-simulation: towards a coalgebraic perspective on logic and games. Technical report SEN-R9923, CWI, November 1999
3. Baltag, A.: A logic for coalgebraic simulation. In: Coalgebraic Methods in Computer Science, CMCS 2000. ENTCS, vol. 33, pp. 42–60. Elsevier (2000)
4. Lecture Notes in Mathematics;M Barr,1970
5. Lecture Notes in Computer Science;K Chatzikokolakis,2014
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献