Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 3
Number of items: 3
  • 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.
  • Fontaine, G., Leal, R., & Venema, Y. (2010). Automata for Coalgebras: an approach using predicate liftings. In S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, & P. G. Spirakis (Eds.), Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings (Vol. 2, pp. 381-392). (Lecture Notes in Computer Science; Vol. 6199), (Advanced Research in Computing and Software Science). Springer. https://doi.org/10.1007/978-3-642-14162-1_32
  • Leal, R. A. (2008). Predicate liftings versus nabla modalities. Electronic Notes in Theoretical Computer Science, 203(5), 195-220. https://doi.org/10.1016/j.entcs.2008.05.026
Page of