Efficient simulation of forward-branching systems with constructor systems

DOI10.1006/JSCO.1996.0058zbMATH Open0869.68061OpenAlexW2012032783MaRDI QIDQ674754FDOQ674754

Authors: Bruno Salinier, Robert Strandh 

Publication date: 24 April 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/85140e9523b4e8c8eebfb635fa0f0324bc0bcca7

Recommendations

• Constructor equivalent term rewriting systems
• Constructor equivalent term rewriting systems are strongly sequential: A direct proof
• Transforming strongly sequential rewrite systems with constructors for efficient parallel execution

zbMATH Keywords

reduction algorithmforward-branching systemstrongly sequential constructor system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (9)

• Constructor equivalent term rewriting systems
• On the correspondence between two classes of reduction systems
• Graph \(C^\ast\)-algebras, branching systems and the Perron-Frobenius operator
• Generating applicable synthetic instances for branch problems
• BRANCHING SYSTEMS FOR HIGHER-RANK GRAPH C*-ALGEBRAS
• Constructor equivalent term rewriting systems are strongly sequential: A direct proof
• On graded irreducible representations of Leavitt path algebras.
• Strong and NV-sequentiality of constructor systems
• Unitary equivalence of representations of graph algebras and branching systems

This page was built for publication: Efficient simulation of forward-branching systems with constructor systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674754)