scientific article; zbMATH DE number 3913723

MaRDI QIDQ3690259zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

Knuth-Bendix completionrewrite system

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 4047064
• A strategy to deal with divergent rewrite systems
• scientific article; zbMATH DE number 4076598
• scientific article; zbMATH DE number 3928345
• scientific article; zbMATH DE number 3856444

Cited in

(1)

• An alternative approach to Mundici non simplicity criterion

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