Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ENTCS
1998

favoriteEmaildiscussreport

60views more ENTCS 1998»

Semantics, modularity, and rewriting logic

13 years 4 months ago

Semantics, modularity, and rewriting logic

Download www.brics.dk

Peter D. Mosses

Real-time Traffic

ENTCS 1998 |

claim paper

Related Content

» A Rewriting Logic Semantics Approach to Modular Program Analysis

» Modular Access Control Via Strategic Rewriting

» A Compositional Semantics for Conditional Term Rewriting Systems

» Modularity of Confluence

» ELAN from a rewriting logic point of view

» Comparing Meseguers Rewriting Logic with the Logic CRWL

» Monads and Modular Term Rewriting

» A comparison between two logical formalisms for rewriting

» The Rewriting Logic Semantics Project

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	ENTCS
Authors	Peter D. Mosses

Comments (0)