#
Knowledge Base of

Publications,
Seminars,
& Math Library

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

## Filter for: Liron Cohen

2 results

*
Computability Beyond Church-Turing using Choice Sequences *

by Liron Cohen, Vincent Rahli, Mark Bickford, Robert L. Constable

2018

*
Intuitionistic Ancestral Logic *

by Liron Cohen, Robert L. Constable

October 10, 2015