scientific article; zbMATH DE number 4043233
From MaRDI portal
Publication:3780427
Recommendations
Cited in
(18)- Needed reduction and spine strategies for the lambda calculus
- A rewriting machine and optimization of strategies of term rewriting
- Descendants and origins in term rewriting.
- scientific article; zbMATH DE number 3986675 (Why is no real title available?)
- scientific article; zbMATH DE number 4078756 (Why is no real title available?)
- scientific article; zbMATH DE number 4092747 (Why is no real title available?)
- scientific article; zbMATH DE number 1231656 (Why is no real title available?)
- scientific article; zbMATH DE number 1760140 (Why is no real title available?)
- Faithful (meta-)encodings of programmable strategies into term rewriting systems
- scientific article; zbMATH DE number 794242 (Why is no real title available?)
- Optimization of rewriting and complexity of rewriting
- A faithful encoding of programmable strategies into term rewriting systems
- Infinitary combinatory reduction systems
- Design strategies for rewrite rules
- Parallel graph rewriting on loosely coupled machine architectures
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
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)
