Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

Leibniz International Proceedings in Informatics, LIPIcs

Conference Paper

R. Matthes

L. Pinto

Publication

Year of publication: 2021

Volume: 188

Identifiers

ISSN: 18688969

Other: 2-s2.0-85108233440

Locators

Alternative Titles