scientific article; zbMATH DE number 1615240

zbMATH Open0964.03010MaRDI QIDQ2723902FDOQ2723902

Georg Struth

Publication date: 8 July 2001

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Knuth-Bendix completion for non-symmetric transitive relations

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