FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Gabriel Ebner
Organization: Vienna University of Technology
Web page: https://gebner.org
Pages in this Program
6th Workshop on practical aspects of automated reasoning
All Proceedings Papers
CL&C Full papers and abstracts
CL&C Full papers and abstracts: Papers with Abstracts
CL&C on Saturday, July 7th
CL&C Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: Efficient translation of sequent calculus proofs into natural deduction proofs
Paper: Fast cut-elimination using proof terms: an empirical study
Program
Program for Saturday, July 7th
Program for Thursday, July 19th