Found 2 Documents (Results 1–2)

Failure of cut-elimination in the cyclic proof system of bunched logic with inductive propositions. (English) Zbl 07700616

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 11, 14 p. (2021).
MSC:  68-XX 03B70 68Qxx
Full Text: DOI

Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps. (English) Zbl 07368086

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 88-105 (2020).
MSC:  68N17 68N18
Full Text: DOI

Filter Results by …

Year of Publication

Main Field