scientific article

zbMath0965.03038MaRDI QIDQ2703697

Dirk Pattinson

Publication date: 7 May 2001

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

zbMATH Keywords

coalgebrasexpressive powerobservationsrewriting programsmodels 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