Extensions of K5: Proof Theory and Uniform Lyndon Interpolation

DOI10.1007/978-3-031-43513-3_15MaRDI QIDQ6512110arXivFDO

Authors Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-031-43513-3_15

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)