Simultaneous rigid sorted unification

DOI10.1007/3-540-40006-0_14MaRDI QIDQ4536326zbMATH OpenFDO

Authors P. J. Martin, A. Gavilanes

Publication date 25 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-40006-0_14

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Simultaneous rigid sorted unification for tableaux
• Unification in sort theories and its applications
• A new sorted logic
• Tableau methods for a logic with term declarations
• scientific article; zbMATH DE number 3997190

Cited in

(7)

• Unification in sort theories and its applications
• Simultaneous rigid sorted unification for tableaux
• scientific article; zbMATH DE number 4168655 (Why is no real title available?)
• scientific article; zbMATH DE number 67964 (Why is no real title available?)
• A new sorted logic
• Order-sorted unification
• Tableau methods for a logic with term declarations

This page was built for publication: Simultaneous rigid sorted unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536326)