scientific article; zbMATH DE number 3902026

MaRDI QIDQ3680267zbMATH OpenFDO

Authors Roland Dietrich

Publication date 1985

zbMATH Keywords

confluenceKnuth-Bendix completion procedureprogramming environmentPROLOGterm rewriting systemstermination

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Computing with rewrite systems
• scientific article; zbMATH DE number 4155899
• Term rewriting systems in logic programming and in functional programming
• scientific article; zbMATH DE number 1889386
• scientific article; zbMATH DE number 2043545

Cited in

(8)

• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• scientific article; zbMATH DE number 4062563 (Why is no real title available?)
• scientific article; zbMATH DE number 4078854 (Why is no real title available?)
• scientific article; zbMATH DE number 4096777 (Why is no real title available?)
• scientific article; zbMATH DE number 2043545 (Why is no real title available?)
• scientific article; zbMATH DE number 194506 (Why is no real title available?)
• ProTeM: a proof term manipulator (system description)
• Term rewriting systems in logic programming and in functional programming

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