Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rudi Schneider
conf.researchr.org general profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2026 profile
Registered user since Wed 30 Apr 2025
Name:
Rudi Schneider
Country:
Germany
Affiliation:
Technische Universität Berlin
Contributions
2026
POPL
Author of Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation within the POPL-track
2025
PLDI
Author of Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs within the PLDI Research Papers-track
2024
EGRAPHS
Author of Slotted E-Graphs within the EGRAPHS 2024-track
Share
x
Thu 10 Sep 00:43