Aart Middeldorp
where else to find them
no profile links on file
what they talk about
where they keep going back
- CPP2 editions2023–2025
on a stage with
- Christina Kirkonce
- Christina Kohlonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems | CPP 2025 | 2025-01-20 |
Formalizes Okui’s 1998 sufficient condition for confluence of left‑linear term rewrite systems inside Isabelle/HOL, representing multisteps as proof terms… | ||
| A Formalization of the Development Closedness Criterion for Left-Linear Term Rewr... | CPP 2023 | 2023-01-16 |
Formalizes van Oostrom’s development closedness criterion for left-linear term rewrite systems by encoding multi-steps as proof terms and proving the diamond… | ||
| nothing matches | ||