|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Nicolas Peltier Pages in this Program | ADSL on Friday, July 13th | | ADSL Papers | | ADSL Papers: Papers with Abstracts | | ADSL Program | | All Proceedings Papers | | IJCAR on Monday, July 16th | | IJCAR on Saturday, July 14th | | IJCAR on Sunday, July 15th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | Paper: A Generic Framework for Implicate Generation Modulo Theories | | Paper: A Tableaux Calculus for Reducing Proof Size | | Paper: Superposition with Datatypes and Codatatypes | | Paper: The Complexity of Prenex Separation Logic with One Selector | | Program | | Program for Friday, July 13th | | Program for Monday, July 16th | | Program for Saturday, July 14th | | Program for Sunday, July 15th |
|
|
|
