Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 13
Number of items: 13
  • Afshari, B., Leigh, G. E., & Menéndez Turata, G. (2021). Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 335-353). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_20
  • 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