scientific article
From MaRDI portal
Publication:2852094
zbMath1273.68211MaRDI QIDQ2852094
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002167
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Memory Representations in Rewriting Logic Semantics Definitions, A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Uses Software
