|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Anupam Das Pages in this Program | All Proceedings Papers | | CL&C Full papers and abstracts | | CL&C Full papers and abstracts: Papers with Abstracts | | CL&C on Saturday, July 7th | | CL&C 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 | | LCC Contributed Talks | | LCC Contributed Talks: Papers with Abstracts | | LCC on Friday, July 13th | | LCC Program | | Paper: A recursion-theoretic characterisation of the positive polynomial-time functions | | Paper: Focussing, MALL and the polynomial hierarchy | | Paper: On the logical complexity of cyclic arithmetic | | Paper: Proof complexity of deep inference: a survey | | Paper: Some ideas on cut-elimination for cyclic arithmetic proofs | | Paper: Towards theories for positive polynomial time and monotone proofs with extension | | PARIS Contributed papers | | PARIS Contributed papers: Papers with Abstracts | | PARIS on Sunday, July 8th | | PARIS Program | | PC Abstracts | | PC Abstracts: Papers with Abstracts | | PC on Sunday, July 8th | | PC Program | | Program | | Program for Friday, July 13th | | Program for Monday, July 16th | | Program for Saturday, July 7th | | Program for Sunday, July 8th | | Program for Thursday, July 19th | | TYDI on Saturday, July 7th | | TYDI Program | | TYDI-0 Abstracts | | TYDI-0 Abstracts: Papers with Abstracts |
|
|
|
