scientific article; zbMATH DE number 440473

MaRDI QIDQ3140630zbMATH OpenFDO

Authors Matthias Baaz

Publication date 28 November 1993

zbMATH Keywords

semi-unification

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 4092757
• Semi-unification
• scientific article; zbMATH DE number 2079021
• Publication:3204025
• Fast algorithms for uniform semi-unification

Cited in

(8)

• Logic with equality: Partisan corroboration and shifted pairing
• Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
• UNIFICATION IN INTERMEDIATE LOGICS
• scientific article; zbMATH DE number 2079021 (Why is no real title available?)
• scientific article; zbMATH DE number 7333179 (Why is no real title available?)
• Simultaneous rigid E-unification is undecidable
• The undecidability of simultaneous rigid E-unification
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

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