|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Nachum Dershowitz Pages in this Program | All Proceedings Papers | | DCM DCM Pre-proceedingsd | | DCM DCM Pre-proceedingsd: Papers with Abstracts | | DCM on Sunday, July 8th | | DCM Program | | IJCAR on Sunday, July 15th | | IJCAR Proceedings 9th IJCAR, 2018 | | IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts | | IJCAR Program | | Paper: Drags: an algebraic framework for graph rewriting | | Paper: Generic Graph Semantics | | Paper: GPO: A Path Ordering for Graphs | | Paper: Well-Founded Unions | | Program | | Program for Saturday, July 7th | | Program for Sunday, July 15th | | Program for Sunday, July 8th | | Program for Wednesday, July 18th | | TERMGRAPH on Saturday, July 7th | | TERMGRAPH Pre-proceedings | | TERMGRAPH Pre-proceedings: Papers with Abstracts | | TERMGRAPH Program | | WST on Wednesday, July 18th | | WST Program | | WST WST2018proceedings | | WST WST2018proceedings: Papers with Abstracts |
|
|
|
