Traversié, T., & Rabe, F. (2025). Formalizing Representation Theorems for a Logical Framework with Rewriting.
Cita Chicago Style (17a ed.)Traversié, Thomas, y Florian Rabe. Formalizing Representation Theorems for a Logical Framework with Rewriting. 2025.
Cita MLA (9a ed.)Traversié, Thomas, y Florian Rabe. Formalizing Representation Theorems for a Logical Framework with Rewriting. 2025.
Precaución: Estas citas no son 100% exactas.