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

DOI: 10.4230/LIPIcs.TYPES.2020.4

Alternative Titles