A parallel algorithm for the monadic unification problem
The monadic unification problem is introduced. An \(O(\log^ 2n)\) parallel algorithm to solve this problem is given and shown to be correct.
scientific article; zbMATH DE number 3976321
scientific article