Loria-Saenz, C. A. (1993). A theoretical framework for reasoning about program construction based on extensions of rewrite systems.
Chicago-Zitierstil (17. Ausg.)Loria-Saenz, Carlos A. A Theoretical Framework for Reasoning About Program Construction Based on Extensions of Rewrite Systems. 1993.
MLA-Zitierstil (9. Ausg.)Loria-Saenz, Carlos A. A Theoretical Framework for Reasoning About Program Construction Based on Extensions of Rewrite Systems. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.