| Jasmin Christian Blanchette 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 | | IJCAR Program Committee | | 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 Program | | PAAR Call for Papers | | PAAR Program Committee | | Paper: Cardinals in Isabelle/HOL | | Paper: My Life with an Automatic Theorem Prover | | Paper: Primitively (Co)recursive Definitions for Isabelle/HOL | | Paper: Truly Modular (Co)datatypes for Isabelle/HOL | | Paper: Unified Classical Logic Completeness: A Coinductive Pearl | | 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 23rd | | Vampire 2014 Proceedings | | Vampire 2014 Proceedings: Papers with Abstracts | | Vampire on Wednesday, July 23rd | | Vampire Program |
|
