Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Reuben Rowe
2 results
Automated Reasoning in Herbrand Structures
by Liron Cohen, Reuben Rowe, Yoni Zohar
June 03, 2019
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
| cite »
by Liron Cohen, Reuben Rowe
July 01, 2018