Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Carreiro, F., Facchini, A., Venema, Y., & Zanasi, F. (2014). Weak MSO: automata and expressiveness modulo bisimilarity. In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Vienna, Austria - July 14-18, 2014 Article 27 ACM. https://doi.org/10.1145/2603088.2603101
  • Open Access
    Venema, Y., & Vosmaer, J. (2014). Modal Logic and the Vietoris Functor. In G. Bezhanishvili (Ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp. 119-153). (Outstanding contributions to logic; Vol. 4). Springer. https://doi.org/10.1007/978-94-017-8860-1_6
  • Open Access
    Carreiro, F., & Venema, Y. (2014). PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization. In R. Goré, B. Kooi, & A. Kurucz (Eds.), Advances in Modal Logic: AiML 10 (pp. 74-93). College Publications. http://www.aiml.net/volumes/volume10/Carreiro-Venema.pdf
  • Open Access
    Venema, Y. (2014). Expressiveness modulo bisimilarity: a coalgebraic perspective. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 33-65). (Outstanding contributions to logic; Vol. 5). Springer. https://doi.org/10.1007/978-3-319-06025-5_2
  • Venema, Y., Vickers, S., & Vosmaer, J. (2013). Generalised powerlocales via relation lifting. Mathematical Structures in Computer Science, 23(1), 142-199. https://doi.org/10.1017/S0960129512000229
  • Venema, Y. (2013). Cylindric Modal Logic. In H. Andréka, M. Ferenczi, & I. Németi (Eds.), Cylindric-like Algebras and Algebraic Logic (pp. 249-269). (Bolyai Society Mathematical Studies; Vol. 22). Springer. https://doi.org/10.1007/978-3-642-35025-2_12
  • Facchini, A., Venema, Y., & Zanasi, F. (2013). A characterization theorem for the alternation-free fragment of the modal µ-calculus. In Proceedings, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS 2013 : 25-28 June 2013, New Orleans, Louisiana (pp. 478-487). IEEE Computer Society. https://doi.org/10.1109/LICS.2013.54
  • Beklemishev, L., Bezhanishvili, G., Mundici, D., & Venema, Y. (2012). Foreword. Studia Logica, 100(1-2), 1-7. https://doi.org/10.1007/s11225-012-9394-y
  • 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
    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
Page 5 of 13