scientific article; zbMATH DE number 1231657

zbMATH Open0917.68102MaRDI QIDQ4222982

Peter Borovanský

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#15006

Title of this publication is not available (Why is that?)

zbMATH Keywords

rewrite systemELAN

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (7)

A \(\rho\)-calculus of explicit constraint application ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application ⋮ REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS

Uses Software

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222982)