| Aart Middeldorp Pages in this Program | All Proceedings Papers | | IFIP-WG16 on Sunday, July 13th | | IFIP-WG16 Proceedings (Abstracts) | | IFIP-WG16 Proceedings (Abstracts): Papers with Abstracts | | IFIP-WG16 Program | | IJCAR on Sunday, July 20th | | IJCAR Program | | IJCAR Program Committee | | ITP 2014 LNCS Proceedings | | ITP 2014 LNCS Proceedings: Papers with Abstracts | | ITP on Thursday, July 17th | | ITP Program | | IWC 2014 Workshop Proceedings | | IWC 2014 Workshop Proceedings: Papers with Abstracts | | IWC on Sunday, July 13th | | IWC Program | | Paper: A New and Formalized Proof of Abstract Completion | | Paper: Automating Elementary Interpretations | | Paper: Basic Normalization | | Paper: Conditional Confluence (System Description) | | Paper: Normalization Equivalence of Rewrite Systems | | Program | | Program for Friday, July 18th | | Program for Monday, July 14th | | Program for Sunday, July 13th | | Program for Sunday, July 20th | | Program for Thursday, July 17th | | RTA-TLCA 2014 LNCS Proceedings | | RTA-TLCA 2014 LNCS Proceedings: Papers with Abstracts | | RTA-TLCA on Monday, July 14th | | RTA-TLCA Program | | TERMGRAPH 2014 VSL Proceedings | | TERMGRAPH 2014 VSL Proceedings: Papers with Abstracts | | TermGraph on Sunday, July 13th | | TermGraph Program | | TERMGRAPH Program Committee | | WST 2014 Informal Proceedings | | WST 2014 Informal Proceedings: Papers with Abstracts | | WST on Friday, July 18th | | WST Program |
|
