scientific article; zbMATH DE number 2043545

MaRDI QIDQ4447249zbMATH OpenFDO

Authors Pierre-Etienne Moreau, J. J. Vinju, M. G. J. van den Brand

Publication date 16 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3902026
• scientific article; zbMATH DE number 1231662
• scientific article; zbMATH DE number 1368955
• Conditional rewriting logic: Deduction, models and concurrency
• A higher-order implementation of rewriting

Cited in

(1)

• scientific article; zbMATH DE number 3902026 (Why is no real title available?)

Describes a project that uses

Uses Software

• JITty
• ATERM
• ELAN
• Stratego

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 Q4447249)