scientific article; zbMATH DE number 1231660
From MaRDI portal
Publication:4222985
zbMATH Open0917.68104MaRDI QIDQ4222985FDOQ4222985
Authors: Roberto Bruni, José Meseguer, Ugo Montanari 
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#15009
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1189279
- A faithful encoding of programmable strategies into term rewriting systems
- scientific article; zbMATH DE number 2040907
- Rewriting strategies and strategic rewrite programs
- A strategy to deal with divergent rewrite systems
- Rewrite strategies in the rewriting calculus
- Tiling transactions in rewriting logic
- scientific article; zbMATH DE number 1231657
- A logic for rewriting strategies
- scientific article; zbMATH DE number 1231533
Cited In (10)
- Twenty years of rewriting logic
- Two case studies of semantics execution in Maude: CCS and LOTOS
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Comparing higher-order encodings in logical frameworks and tile logic
- Tiling transactions in rewriting logic
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Normal forms for algebras of connections.
- Rewriting logic: Roadmap and bibliography
Uses Software
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 Q4222985)
