Semantic foundations for generalized rewrite theories

Roberto Bruni, José Meseguer. Semantic foundations for generalized rewrite theories. Theoretical Computer Science, 360(1-3):386-414, 2006. [doi]

Abstract

Abstract is missing.