Complexity of intuitionistic propositional logic and its fragments

From MaRDI portal
Publication:3643316

DOI10.3166/jancl.18.267-292zbMath1181.03006OpenAlexW2008892119MaRDI QIDQ3643316

Mikhail Rybakov

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.18.267-292




Related Items (6)



Cites Work


This page was built for publication: Complexity of intuitionistic propositional logic and its fragments