The complexity of disjunction in intuitionistic logic

DOI10.1093/LOGCOM/EXAA018OpenAlexW3006737761WikidataQ126404402 ScholiaQ126404402MaRDI QIDQ5108032

Author name not available (Why is that?)

Publication date: 29 April 2020

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exaa018

Mathematics Subject Classification ID

No records found.

This page was built for publication: The complexity of disjunction in intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108032)