Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Liron Cohen
4 results
Open Bar -- A Reconciliation between Intuitionistic and Classical Logic
by Vincent Rahli, Mark Bickford, Robert L. Constable, Liron Cohen
2020
Automated Reasoning in Herbrand Structures
by Liron Cohen, Reuben Rowe, Yoni Zohar
June 03, 2019
Bar Induction is Compatible with Constructive Type Theory
| cite »
by Vincent Rahli, Liron Cohen, Mark Bickford, Robert L. Constable
2019
Intuitionistic Ancestral Logic
by Liron Cohen
July 12, 2012