Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 2
Number of items: 2
  • Open Access
    Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2024). A simple loopcheck for intuitionistic K. In G. Metcalfe, T. Studer, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024 : proceedings (pp. 47-63). (Lecture Notes in Computer Science; Vol. 14672), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-62687-6_4
  • Open Access
    Das, A., & Girlando, M. (2023). Cyclic Hypersequent System for Transitive Closure Logic. Journal of Automated Reasoning, 67(3), Article 27. https://doi.org/10.1007/s10817-023-09675-1
Page of