|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Didier Galmiche Pages in this Program | ADSL on Friday, July 13th | | ADSL Papers | | ADSL Papers: Papers with Abstracts | | ADSL 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 | | EICNCL on Thursday, July 19th | | EICNCL Program | | IJCAR on Monday, July 16th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | Paper: Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic | | Paper: Labelled Cyclic Proofs for Separation Logic | | Program | | Program for Friday, July 13th | | Program for Monday, July 16th | | Program for Thursday, July 19th | | Program for Wednesday, July 18th |
|
|
|
