Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aart Middeldorp
conf.researchr.org general profile
FLOPS 2024 profile
ICFP 2017 profile
POPL 2019 profile
POPL 2021 profile
POPL 2023 profile
POPL 2025 profile
Not registered as user
Name:
Aart Middeldorp
Contributions
2025
CPP
Author of Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems within the CPP 2025-track
2024
FLOPS
Committee Member in Programme Committee within the FLOPS 2024-track
2023
CPP
Author of A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems within the CPP 2023-track
2021
CPP
Author of A Verified Decision Procedure for the First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems within the CPP 2021-track
2019
CPP
Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track
2017
FSCD
Author of Infinite Runs in Abstract Completion within the FSCD 2017-track
Share
x
Sun 22 Dec 03:12