scientific article; zbMATH DE number 794242
From MaRDI portal
Publication:4847002
zbMATH Open0839.68052MaRDI QIDQ4847002FDOQ4847002
Authors: Alexander Bockmayr, Stefan Krischer, Andreas Werner 
Publication date: 10 June 1996
Title of this publication is not available (Why is that?)
Recommendations
- Term Rewriting and Applications
- scientific article; zbMATH DE number 4092758
- scientific article; zbMATH DE number 1822269
- scientific article; zbMATH DE number 4043233
- Finite canonical rewriting systems for congruences generated by concurrency relations
- Rewrite strategies in the rewriting calculus
- scientific article; zbMATH DE number 23844
- Functional and Logic Programming
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Towards more precise rewriting approximations
Cited In (8)
- A needed narrowing strategy
- Title not available (Why is that?)
- Title not available (Why is that?)
- Detecting redundant narrowing derivations by the LSE-SL reducibility test
- Solving equations by graph transformation
- Title not available (Why is that?)
- On modularity in term rewriting and narrowing
- An optimal narrowing strategy for general canonical systems
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 Q4847002)
