scientific article; zbMATH DE number 3622985

MaRDI QIDQ4185839zbMATH OpenFDO

Authors

Publication date 1978

zbMATH Keywords

Automatic Theorem ProvingEquational AxiomsHilbert's Tenth ProblemUndecidabilityUnificatiIon Algorithms

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99)

Cited in

(1)

• Completion for unification

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