A parallel algorithm for the monadic unification problem

Authors:
Ivan E. Auger;M. S. Krishnamoorthy
Affiliations:
Rensselaer Polytechnic Institute, Troy, NY;Rensselaer Polytechnic Institute, Troy, NY
Venue:
BIT
Year:
1985

Citing 0
Cited 4

Parallelism and algorithms for algebraic manipulation: current work

ACM SIGSAM Bulletin
On the relationship of congruence closureand unification

Journal of Symbolic Computation
N-axioms parallel unification

Fundamenta Informaticae - Concurrency specification and programming
N-axioms Parallel Unification

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2

Quantified Score

Hi-index	0.00

Visualization

Abstract