|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Aart Middeldorp Pages in this Program | All Proceedings Papers | | FSCD on Thursday, July 12th | | FSCD on Wednesday, July 11th | | FSCD Presented Papers | | FSCD Presented Papers: Papers with Abstracts | | FSCD Program | | IFIP WG 1.6 on Sunday, July 8th | | IFIP WG 1.6 Program | | IJCAR on Tuesday, July 17th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | IWC Final papers | | IWC Final papers: Papers with Abstracts | | IWC on Saturday, July 7th | | IWC Program | | Paper: Completion for Logically Constrained Rewriting | | Paper: Confluence Competition 2018 | | Paper: Cops and CoCoWeb: Infrastructure for Confluence Tools | | Paper: FORT 2.0 | | Paper: ProTeM: A Proof Term Manipulator | | Paper: Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL | | Program | | Program for Saturday, July 7th | | Program for Sunday, July 8th | | Program for Thursday, July 12th | | Program for Thursday, July 19th | | Program for Tuesday, July 17th | | Program for Wednesday, July 11th | | Program for Wednesday, July 18th | | WST on Thursday, July 19th | | WST on Wednesday, July 18th | | WST Program |
|
|
|
