FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Liron Cohen
Organization: Cornell University
Web page: https://www.cs.cornell.edu/~lironcohen/
Pages in this Program
All Proceedings Papers
LICS on Wednesday, July 11th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: Computability Beyond Church-Turing via Choice Sequences
Paper: Non-well-founded proof system for Transitive Closure Logic
Paper: On Expanding Standard Notions of Constructivity
Paper: Transitive Closure Logic: Infinitary and Cyclic Proof Systems
PARIS Contributed papers
PARIS Contributed papers: Papers with Abstracts
PARIS on Sunday, July 8th
PARIS Program
Program
Program for Sunday, July 8th
Program for Wednesday, July 11th
WiL on Sunday, July 8th
WiL Program
WiL Short Papers and Abstracts
WiL Short Papers and Abstracts: Papers with Abstracts