On the relationship of congruence closure and unification

DOI10.1016/S0747-7171(89)80018-5zbMATH Open0678.68041OpenAlexW1964892433WikidataQ57641786 ScholiaQ57641786MaRDI QIDQ1124338FDOQ1124338

Authors: Paris C. Kanellakis, P. Z. Revesz 

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(89)80018-5

Recommendations

• Abstract congruence closure
• scientific article; zbMATH DE number 1614687
• Congruent closure algorithms for finite automata and some applications
• Conditional congruence closure over uninterpreted and interpreted symbols
• Computing congruent closures on terms

zbMATH Keywords

PTIMElog-space completeCongruence closureparallel complexity class NCUnification closure

Mathematics Subject Classification ID

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

Cites Work

• Efficiency of a Good But Not Linear Set Union Algorithm
• Variations on the Common Subexpression Problem
• Linear unification
• Title not available (Why is that?)
• On the sequential nature of unification
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• Fast Decision Procedures Based on Congruence Closure
• Parallelism in random access machines
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Reasoning About Recursively Defined Data Structures
• Tree-size bounded alternation
• Parallel Algorithms for Term Matching
• New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
• A parallel algorithm for the monadic unification problem
• Title not available (Why is that?)
• Assignment Commands with Array References

Cited In (5)

• Title not available (Why is that?)
• Another variation on the common subexpression problem
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Abstract congruence closure
• Congruent closure algorithms for finite automata and some applications

This page was built for publication: On the relationship of congruence closure and unification

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