scientific article; zbMATH DE number 4043233
From MaRDI portal
Publication:3780427
zbMATH Open0639.68028MaRDI QIDQ3780427FDOQ3780427
Authors: M. C. J. D. van Eekelen, M. J. Plasmeijer 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
Cited In (17)
- Faithful (meta-)encodings of programmable strategies into term rewriting systems
- A rewriting machine and optimization of strategies of term rewriting
- Infinitary combinatory reduction systems
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Design strategies for rewrite rules
- A faithful encoding of programmable strategies into term rewriting systems
- Parallel graph rewriting on loosely coupled machine architectures
- Title not available (Why is that?)
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
- Optimization of rewriting and complexity of rewriting
- Needed reduction and spine strategies for the lambda calculus
- Descendants and origins in term rewriting.
- Title not available (Why is that?)
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 Q3780427)
