scientific article; zbMATH DE number 4092748

zbMATH Open0667.68033MaRDI QIDQ3819984FDOQ3819984

Authors Alfons Geser, Heinrich Hussmann, Andreas Mück

Publication date 1988

zbMATH Keywords

algebraic specificationsspeedupcompilerrecursive functioninterpreterconditional term rewriting systemsPASCAL

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Recommendations

• Publication:3028335
• scientific article; zbMATH DE number 4092749
• A compiler for nondeterministic term rewriting systems
• scientific article; zbMATH DE number 4092746
• scientific article; zbMATH DE number 4092747

Cited in

(10)

• scientific article; zbMATH DE number 3978367 (Why is no real title available?)
• Normalization by leftmost innermost rewriting
• scientific article; zbMATH DE number 4016182 (Why is no real title available?)
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
• scientific article; zbMATH DE number 4092749 (Why is no real title available?)
• A compiler for nondeterministic term rewriting systems
• Fast Knuth-Bendix completion with a term rewriting system compiler
• TSFC: A Structure-Preserving Form Compiler
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• scientific article; zbMATH DE number 4092747 (Why is no real title available?)

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 Q3819984)