Strategy compliant multi-threaded term completion

DOI10.1006/JSCO.1996.0027MaRDI QIDQ2365124zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

parallel term-rewritingPaReDuXshared memory parallel architectures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

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

Cited in

(2)

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

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)