Average-case analysis of unification algorithms

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

Rafael Casas, François Fages, Luc Albert

Publication date: 23 January 1994

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

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Singularity Analysis of Generating Functions
• 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
• 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

Cited In (5)

• The fuzzy logic programming language FASILL: design and implementation
• Title not available (Why is that?)
• A practical unification algorithm
• Scheduling complexity of interleaving search
• Title not available (Why is that?)

Uses Software

• Maple

   Recommendations

• Title not available (Why is that?) 👍 👎
• Average-case analysis of Robinson's unification algorithm with two different variables 👍 👎
• A practical unification algorithm 👍 👎
• Title not available (Why is that?) 👍 👎
• A practically efficient and almost linear unification algorithm 👍 👎
• Automatic average-case analysis of algorithms 👍 👎
• Title not available (Why is that?) 👍 👎
• Combining unification algorithms 👍 👎
• Title not available (Why is that?) 👍 👎
• Fast algorithms for uniform semi-unification 👍 👎

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)