Confluence of Logically Constrained Rewrite Systems Revisited

Jonas Schöpf, Fabian Mitterwallner and Aart Middeldorp

Confluence Criteria for Logically Constrained Rewrite Systems

Jonas Schöpf and Aart Middeldorp

Left-Linear Completion with AC Axioms

Johannes Niederhauser, Nao Hirokawa and Aart Middeldorp

DEPP

Fabian Mitterwallner and Aart Middeldorp

Formalized Signature Extension Results for Equivalence

Alexander Lochmann, Fabian Mitterwallner and Aart Middeldorp

Polynomial Termination over N Is Undecidable

Fabian Mitterwallner and Aart Middeldorp

Development Closed Critical Pairs: Towards a Formalized Proof

Christina Kohl and Aart Middeldorp

Hydra Battles and AC Termination

Nao Hirokawa and Aart Middeldorp

Composing Proof Terms

Christina Kohl and Aart Middeldorp

Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh and Franziska Rapp

IWC Business Meeting

Nao Hirokawa and Aart Middeldorp

Completion for Logically Constrained Rewriting

Sarah Winkler and Aart Middeldorp

ProTeM: A Proof Term Manipulator

Christina Kohl and Aart Middeldorp

FORT 2.0

Franziska Rapp and Aart Middeldorp

Cops and CoCoWeb: Infrastructure for Confluence Tools

Nao Hirokawa, Julian Nagele and Aart Middeldorp

Confluence Competition 2018

Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani and Harald Zankl