كتاب إلكتروني
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
العنوان: | Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs |
---|---|
المؤلفون: | Savateev, YuryAff11, Shamkanov, DaniyarAff11, Aff12 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Iemhoff, Rosalie, editorAff8, Moortgat, Michael, editorAff9, de Queiroz, Ruy, editorAff10 |
المصدر: | Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. 11541:569-583 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783662595329 9783662595336 |
---|---|
DOI: | 10.1007/978-3-662-59533-6_34 |