Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 16
Number of items: 16
  • Marti, J., & Venema, Y. (2015). Lax Extensions of Coalgebra Functors and Their Logic. Journal of Computer and System Sciences, 81(5), 880-900. https://doi.org/10.1016/j.jcss.2014.12.006
  • Open Access
    Marti, J., Seifan, F., & Venema, Y. (2015). Uniform Interpolation for Coalgebraic Fixpoint Logic. In L. S. Moss, & P. Sobociński (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp. 238-252). (Leibniz International Proceedings in Informatics; Vol. 35). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2015.238
  • Marti, J., & Pinosio, R. (2014). Similarity Orders from Causal Equations. In E. Fermé, & J. Leite (Eds.), Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings (pp. 500-513). (Lecture Notes in Computer Science; Vol. 8761), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-319-11558-0_35
  • Open Access
    Marti, J., & Pinosio, R. (2014). Topological Semantics for Conditionals. In M. Dančák, & V. Punčochář (Eds.), The Logica Yearbook 2013 (pp. 115-128). College Publications.
  • Marti, J. (2013). Semantic Facts on Kripke Frames. In V. Punčochář, & P. Švarný (Eds.), The Logica Yearbook 2012 (pp. 101-112). College Publications. https://www.researchgate.net/publication/266990798_Semantic_facts_on_Kripke_frames
  • 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 2 of 2