Carlos Loría-Sáenz. A theoretical framework for reasoning about program construction based on extensions of rewrite systems. PhD thesis, Universität Kaiserslautern, 1993.
@phdthesis{books-daglib-0072842,
title = {A theoretical framework for reasoning about program construction based on extensions of rewrite systems},
author = {Carlos Loría-Sáenz},
year = {1993},
tags = {rule-based, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/books-daglib-0072842},
cites = {0},
citedby = {0},
school = {Universität Kaiserslautern},
}