Average-case analysis of unification algorithms

DOI10.1016/0304-3975(93)90208-BMaRDI QIDQ685442zbMATH OpenFDO

Authors Luc Albert, Rafael Casas, François Fages

Publication date 23 January 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90208-B

zbMATH Keywords

average-case complexityoccur checkrandom pairs of treesunifiable pairs of treeunification algorithms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 176505
• Average-case analysis of Robinson's unification algorithm with two different variables
• A practical unification algorithm
• scientific article; zbMATH DE number 986985
• A practically efficient and almost linear unification algorithm
• Automatic average-case analysis of algorithms
• scientific article; zbMATH DE number 4041254
• Combining unification algorithms
• scientific article; zbMATH DE number 862545
• Fast algorithms for uniform semi-unification

Cites work

• scientific article; zbMATH DE number 3134390 (Why is no real title available?)
• scientific article; zbMATH DE number 4155934 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 4080959 (Why is no real title available?)
• scientific article; zbMATH DE number 18539 (Why is no real title available?)
• scientific article; zbMATH DE number 52125 (Why is no real title available?)
• scientific article; zbMATH DE number 177816 (Why is no real title available?)
• scientific article; zbMATH DE number 1142298 (Why is no real title available?)
• scientific article; zbMATH DE number 3995082 (Why is no real title available?)
• scientific article; zbMATH DE number 3443655 (Why is no real title available?)
• scientific article; zbMATH DE number 862545 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• An Efficient Unification Algorithm
• Average-case analysis of Robinson's unification algorithm with two different variables
• Combinatorial aspects of continued fractions
• Complete sets of transformations for general E-unification
• Complexity of the unification algorithm for first-order expressions
• Fundamental properties of infinite trees
• Linear unification
• On the sequential nature of unification
• Singularity Analysis of Generating Functions

Cited in

(8)

• The fuzzy logic programming language FASILL: design and implementation
• scientific article; zbMATH DE number 4060703 (Why is no real title available?)
• Average-case analysis of Robinson's unification algorithm with two different variables
• scientific article; zbMATH DE number 522867 (Why is no real title available?)
• A practical unification algorithm
• Scheduling complexity of interleaving search
• scientific article; zbMATH DE number 176505 (Why is no real title available?)
• scientific article; zbMATH DE number 3995082 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maple

This page was built for publication: Average-case analysis of unification algorithms

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