Decidability of the interpolation problem and of related properties in tabular logics

From MaRDI portal
Publication:431717

DOI10.1007/S10469-009-9070-0zbMath1241.03032OpenAlexW2075252106MaRDI QIDQ431717

Larisa L. Maksimova

Publication date: 29 June 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-009-9070-0




Related Items (4)




Cites Work




This page was built for publication: Decidability of the interpolation problem and of related properties in tabular logics