scientific article; zbMATH DE number 4092747

MaRDI QIDQ3819982zbMATHFDO

Authors

Publication date 1988

zbMATH Keywords

implementationKnuth-Bendix completioncompilerspecificationsLISPconditional term rewriting systems

Mathematics Subject Classification ID

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

Cited in

(10)

• UNICOM: A refined completion based inductive theorem prover
• scientific article; zbMATH DE number 3978367 (Why is no real title available?)
• Applying string-rewriting to sequence-based specification
• scientific article; zbMATH DE number 4092743 (Why is no real title available?)
• Extensions and comparison of simplification orderings
• scientific article; zbMATH DE number 4043233 (Why is no real title available?)
• scientific article; zbMATH DE number 4092745 (Why is no real title available?)
• scientific article; zbMATH DE number 1760140 (Why is no real title available?)
• scientific article; zbMATH DE number 4062563 (Why is no real title available?)
• scientific article; zbMATH DE number 4092748 (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 Q3819982)