Arkle, S., & Polonsky, A. (2026). A Formalization of Abstract Rewriting in Agda.
Chicago-Zitierstil (17. Ausg.)Arkle, Sam, und Andrew Polonsky. A Formalization of Abstract Rewriting in Agda. 2026.
MLA-Zitierstil (9. Ausg.)Arkle, Sam, und Andrew Polonsky. A Formalization of Abstract Rewriting in Agda. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.