Average-case analysis of unification algorithms

DOI10.1016/0304-3975(93)90208-BzbMATH Open0779.68043MaRDI QIDQ685442FDOQ685442

Authors: Luc Albert, Rafael Casas, François Fages 

Publication date: 23 January 1994

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

Recommendations

• scientific article
• 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

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)

Cites Work

• Title not available (Why is that?)
• Singularity Analysis of Generating Functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatorial aspects of continued fractions
• Linear unification
• On the sequential nature of unification
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• Fundamental properties of infinite trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complete sets of transformations for general E-unification
• Complexity of the unification algorithm for first-order expressions
• Average-case analysis of Robinson's unification algorithm with two different variables
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• The fuzzy logic programming language FASILL: design and implementation
• Title not available (Why is that?)
• Average-case analysis of Robinson's unification algorithm with two different variables
• Title not available (Why is that?)
• A practical unification algorithm
• Scheduling complexity of interleaving search
• Title not available (Why is that?)
• Title not available (Why is that?)

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)