scientific article; zbMATH DE number 4092747

zbMATH Open0667.68032MaRDI QIDQ3819982FDOQ3819982

Authors:

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 3978367
• scientific article; zbMATH DE number 4092748
• scientific article; zbMATH DE number 4062563
• scientific article; zbMATH DE number 4043233
• scientific article; zbMATH DE number 2182599

zbMATH Keywords

implementationKnuth-Bendix completioncompilerspecificationsLISPconditional term rewriting systems

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• UNICOM: A refined completion based inductive theorem prover
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions and comparison of simplification orderings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)