Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 132
Number of items: 132
  • Ciancia, V., & Venema, Y. (2012). Stream Automata Are Coalgebras. In D. Pattinson, & L. Schröder (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012 : revised selected papers (pp. 90-108). (Lecture Notes in Computer Science; Vol. 7399). Springer. https://doi.org/10.1007/978-3-642-32784-1_6
  • Open Access
    Kupke, C., Kurz, A., & Venema, Y. (2012). Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8(3), Article 2. https://doi.org/10.2168/LMCS-8(3:2)2012
  • Open Access
    Marti, J., & Venema, Y. (2012). Lax Extensions of Coalgebra Functors. In D. Pattinson, & L. Schröder (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012 : revised selected papers (pp. 150-169). (Lecture Notes in Computer Science; Vol. 7399). Springer. https://doi.org/10.1007/978-3-642-32784-1_9
  • Open Access
    Venema, Y. (2012). Algebra en coalgebra: bespiegelingen in de logica. Universiteit van Amsterdam. http://www.oratiereeks.nl/upload/pdf/PDF-6263weboratie_Venema.pdf
  • Open Access
    Grandi, U. (2012). Binary aggregation with integrity constraints. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., & Venema, Y. (2011). Modal logics are coalgebraic. Computer Journal, 54(1), 31-41. https://doi.org/10.1093/comjnl/bxp004
  • Bílková, M., Velebil, J., & Venema, Y. (2011). On monotone modalities and adjointness. Mathematical Structures in Computer Science, 21, 383-416. https://doi.org/10.1017/S0960129510000514
  • Bergfeld, J., & Venema, Y. (2011). Model constructions for Moss' coalgebraic logic. In A. Corradini, B. Klin, & C. Cîrstea (Eds.), Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011: proceedings (pp. 100-114). (Lecture Notes in Computer Science; Vol. 6859). Springer. https://doi.org/10.1007/978-3-642-22944-2_8
  • Open Access
    Leal, R. A. (2011). Modalities through the looking glass: a study on coalgebraic modal logics and their applications. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Bezhanishvili, N., Fontaine, G., & Venema, Y. (2010). Vietoris bisimulations. Journal of Logic and Computation, 20(5), 1017-1040. https://doi.org/10.1093/logcom/exn091
Page 6 of 14