scientific article; zbMATH DE number 1231677

zbMath0917.68110MaRDI QIDQ4223005

Peter D. Mosses

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15026

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

zbMATH Keywords

denotational semanticsrewriting logic

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (2)

Rewriting logic: Roadmap and bibliography ⋮ A novel formal approach to program slicing

This page was built for publication: