The complexity of explicit definitions
From MaRDI portal
Publication:1237065
DOI10.1016/0001-8708(76)90167-5zbMath0355.02010OpenAlexW1993453078MaRDI QIDQ1237065
Publication date: 1976
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0001-8708(76)90167-5
Related Items (5)
Effective Interpolation and Preservation in Guarded Logics ⋮ Progression of Decomposed Local-Effect Action Theories ⋮ Fixed-point extensions of first-order logic ⋮ Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic ⋮ A lower bound for the complexity of Craig's interpolants in sentential logic
This page was built for publication: The complexity of explicit definitions
