Search results
Results: 1
Number of items: 1
-
Afshari, B., & Grotenhuis, L. (2026). Intuitionistic μ-Calculus with the Lewis Arrow. In G. L. Pozzato, & T. Uustalu (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025 : proceedings (pp. 374-392). (Lecture Notes in Computer Science; Vol. 15980), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-032-06085-3_20
Page of