| Dmitriy Traytel Pages in this Program | All Proceedings Papers | | IJCAR 2014 LNCS proceedings | | IJCAR 2014 LNCS proceedings: Papers with Abstracts | | IJCAR on Saturday, July 19th | | IJCAR Program | | Isabelle 2014 Papers (Unrefereed) | | Isabelle 2014 Papers (Unrefereed): Papers with Abstracts | | Isabelle on Sunday, July 13th | | Isabelle Program | | ITP 2014 LNCS Proceedings | | ITP 2014 LNCS Proceedings: Papers with Abstracts | | ITP on Monday, July 14th | | ITP on Tuesday, July 15th | | ITP on Wednesday, July 16th | | ITP Program | | Paper: Cardinals in Isabelle/HOL | | Paper: Primitively (Co)recursive Definitions for Isabelle/HOL | | Paper: Truly Modular (Co)datatypes for Isabelle/HOL | | Paper: Unified Classical Logic Completeness: A Coinductive Pearl | | Paper: Unified Decision Procedures for Regular Expression Equivalence | | Program | | Program for Monday, July 14th | | Program for Saturday, July 19th | | Program for Sunday, July 13th | | Program for Tuesday, July 15th | | Program for Wednesday, July 16th |
|
