Combining First-Order Classical and Intuitionistic Logic
Article in Electronic Proceedings in Theoretical Computer Science (April 2022)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Electronic Proceedings in Theoretical Computer Science (April 2022)
Preprint in arXiv (April 2022)
Book chapter (May 2019)