scientific article

zbMATH Open0667.68032MaRDI QIDQ3819982FDOQ3819982

Author name not available (Why is that?)

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

implementationKnuth-Bendix completioncompilerspecificationsLISPconditional term rewriting systems

Mathematics Subject Classification ID

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

Cited In (2)

• UNICOM: A refined completion based inductive theorem prover
• Extensions and comparison of simplification orderings

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)