Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 2
Number of items: 2
  • 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
  • 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
Page of