FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Christoph Benzmüller
Organization: Freie Universität Berlin
Web page: http://christoph-benzmueller.de
Pages in this Program
All Proceedings Papers
ARQNL Full papers, demo papers and invited contributions
ARQNL Full papers, demo papers and invited contributions: Papers with Abstracts
ARQNL on Wednesday, July 18th
ARQNL Program
IJCAR on Tuesday, July 17th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
Paper: System Demonstration: The Higher-Order Prover Leo-III
Paper: The Higher-Order Prover Leo-III
Program
Program for Friday, July 13th
Program for Tuesday, July 17th
Program for Wednesday, July 18th
SMT on Friday, July 13th
SMT Program