(2023). A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points. Automated Reasoning with Analytic Tableaux and Related Methods, 14278, . https://doi.org/10.1007/978-3-031-43513-3_12
Citace podle Chicago (17th ed.)"A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points." Automated Reasoning with Analytic Tableaux and Related Methods 14278 (2023). https://doi.org/10.1007/978-3-031-43513-3_12.
Citace podle MLA (9th ed.)"A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points." Automated Reasoning with Analytic Tableaux and Related Methods, vol. 14278, 2023, https://doi.org/10.1007/978-3-031-43513-3_12.