Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 12
Number of items: 12
  • Open Access
    Afshari, B., Hetzl, S., & Leigh, G. E. (2020). Herbrand's theorem as higher order recursion. Annals of Pure and Applied Logic, 171(6), Article 102792. https://doi.org/10.1016/j.apal.2020.102792
  • 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