Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 11
Number of items: 11
  • Afshari, B., Jäger, G., & Leigh, G. E. (2019). An infinitary treatment of full mu-calculus. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 17-34). (Lecture Notes in Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_2
Page 2 of 2