Upper bounds on height of terms in a solution of a semiunification problem

DOI10.1023/A:1025649322682MaRDI QIDQ2487391zbMATH OpenOpenAlexFDO

Authors V. B. Zhizhkun

Publication date 5 August 2005

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1025649322682

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 176152
• Upper bound on the height of terms in proofs with bound-depth-restricted cuts
• scientific article; zbMATH DE number 4092757
• Semi-unification
• scientific article; zbMATH DE number 176162

Cited in

(5)

• Refinement of bounds of the height of terms in the most general unifier
• Upper bound on the height of terms in proofs with bound-depth-restricted cuts
• scientific article; zbMATH DE number 4092757 (Why is no real title available?)
• scientific article; zbMATH DE number 176152 (Why is no real title available?)
• Semi-unification

This page was built for publication: Upper bounds on height of terms in a solution of a semiunification problem

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