René Thiemann
where else to find them
what they talk about
where they keep going back
- CPP2 editions2024–2025
on a stage with
- Dohan Kim2×
- Akihisa Yamadaonce
- Kiraku Shintanionce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting | CPP 2025 | 2025-01-20 |
Isabelle/HOL formalizes co-rewrite pairs and integrates polynomial interpretations over negative integers, the weighted path order and the co-WPO variant so… | ||
| Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs | CPP 2024 | 2024-01-15 |
Formalizes parallel critical pairs and the Gramlich/Toyama/Shintani–Hirokawa criteria in Isabelle, replacing a messy position-based notion with a context-based… | ||
| nothing matches | ||