Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 18
Number of items: 18
  • Kupke, C. A. (2006). Finitary coalgebraic logics. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Kupke, C., Kurz, A., & Pattinson, D. (2005). Ultrafilter extensions for coalgebras. In J. L. Fiadeiro, N. Harman, M. Roggenbach, & J. Rutten (Eds.), Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings (pp. 263-277). (Lecture Notes in Computer Science; Vol. 3629). Springer. https://doi.org/10.1007/11548133_17
  • Kupke, C. A., & Venema, Y. (2005). Closure properties of coalgebra automata. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (pp. 199-208). IEEE Press.
  • Kupke, C. A., Kurz, A., & Venema, Y. (2004). Stone Coalgebras. Theoretical Computer Science, 327, 109-134. https://doi.org/10.1016/j.tcs.2004.07.023
  • Kupke, C., Kurz, A., & Pattinson, D. (2004). Algebraic Semantics for Coalgebraic Logics. Electronic Notes in Theoretical Computer Science, 106, 219-241. https://doi.org/10.1016/j.entcs.2004.02.037
  • Hansen, H. H., & Kupke, C. (2004). A Coalgebraic Perspective on Monotone Modal Logic. Electronic Notes in Theoretical Computer Science, 106, 121-143. https://doi.org/10.1016/j.entcs.2004.02.028
  • Kupke, C. A., Kurz, A., & Venema, Y. (2003). Stone coalgebras. (Technical Reports; No. PP-2003-15). Institute for Logic, Language and Computation.
  • Kurz, A., Kupke, C. A., & Venema, Y. (2003). Stone coalgebras. Electronic Notes in Theoretical Computer Science, 82(1).
Page 2 of 2