Vincent van Oostrom

Identifiers

• name variant Vincent van Oostrom 0.60 · backfill

Papers (4)

1. Confluence by Critical Pair Analysis Revisited (Extended Version) cs.LO · 2019 · author #3
2. Critical Peaks Redefined - $\Phi \sqcup \Psi = \top$ cs.LO · 2017 · author #3
3. A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the $\lambda\beta$-calculus in Nominal Isabelle cs.LO · 2016 · author #2
4. Layer Systems for Proving Confluence cs.LO · 2014 · author #4

Mentions

• 1404.1225 #4 · backfill · confidence 0.70 Vincent van Oostrom

Frequent Coauthors

• Julian Nagele 3 shared papers
• Michio Oyamaguchi 2 shared papers
• Nao Hirokawa 2 shared papers
• Aart Middeldorp 1 shared papers
• Bertram Felgenhauer 1 shared papers
• Christian Sternagel 1 shared papers
• Harald Zankl 1 shared papers