Narrowing and Rewriting Logic: from Foundations to Applications

Santiago Escobar, José Meseguer, Prasanna Thati

Research output: Contribution to journalArticle

Fingerprint Dive into the research topics of 'Narrowing and Rewriting Logic: from Foundations to Applications'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science