Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Liron Cohen

4 results

Publication Open Bar -- A Reconciliation between Intuitionistic and Classical Logic
by Vincent Rahli, Mark Bickford, Robert L. Constable, Liron Cohen

Publication Automated Reasoning in Herbrand Structures
by Liron Cohen, Reuben Rowe, Yoni Zohar
June 03, 2019

Publication Bar Induction is Compatible with Constructive Type Theory | cite »
by Vincent Rahli, Liron Cohen, Mark Bickford, Robert L. Constable

Seminar Intuitionistic Ancestral Logic
by Liron Cohen
July 12, 2012