scientific article

From MaRDI portal

Publication:2703697

Jump to:navigation, search

zbMath0965.03038MaRDI QIDQ2703697

Dirk Pattinson

Publication date: 7 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebras expressive power observations rewriting programs models of rewrite theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items

Twenty years of rewriting logic, Towards Behavioral Maude

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2703697&oldid=15550487"