|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Jasmin Christian Blanchette Pages in this Program | All Proceedings Papers | | IJCAR on Monday, July 16th | | IJCAR on Sunday, July 15th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | Isabelle on Friday, July 13th | | Isabelle Papers | | Isabelle Papers: Papers with Abstracts | | Isabelle Program | | ITP on Thursday, July 12th | | ITP Program | | Paper: A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract) | | Paper: Formalizing Bachmair and Ganzinger's Ordered Resolution Prover | | Paper: Superposition for Lambda-Free Higher-Order Logic | | Paper: Superposition with Datatypes and Codatatypes | | Program | | Program for Friday, July 13th | | Program for Monday, July 16th | | Program for Sunday, July 15th | | Program for Thursday, July 12th | | VDMW on Friday, July 13th | | VDMW Program |
|
|
|
