Strategy compliant multi-threaded term completion

DOI10.1006/JSCO.1996.0027zbMATH Open0863.68079OpenAlexW2022489627MaRDI QIDQ2365124FDOQ2365124

Authors: Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin 

Publication date: 22 January 1997

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

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

Recommendations

• scientific article; zbMATH DE number 1263425
• scientific article; zbMATH DE number 1552516
• scientific article; zbMATH DE number 1241620
• Completion for multiple reduction orderings

zbMATH Keywords

parallel term-rewritingPaReDuXshared memory parallel architectures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (2)

• Fine-grained concurrent completion
• Multi-completion with termination tools

This page was built for publication: Strategy compliant multi-threaded term completion

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