Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
From MaRDI portal
Publication:6512110
DOI10.1007/978-3-031-43513-3_15arXiv2307.11727MaRDI QIDQ6512110FDOQ6512110
Raheleh Jalali, Iris van der Giessen, Roman Kuznets
This page was built for publication: Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6512110)
