Rewriting Logic as a Logical and Semantic Framework (1993)

by Narciso Martí-Oliet , José Meseguer
Citations:147 - 52 self

Document Versions

Rewriting Logic as a Logical and Semantic Framework –Narciso Martí-Oliet, José Meseguer — 1993
Rewriting Logic as a Logical and Semantic Framework –Narciso Martí-Oliet, José Meseguer — 1993
Rewriting Logic as a Logical and Semantic Framework –Narciso Marti-Oliet, José Meseguer — 1996