Antoni Koscielski

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Antoni Koscielski, Leszek Pacholski
Makanin's Algorithm is not Primitive Recursive. Theor. Comput. Sci. 191 (1-2) (1998)
Antoni Koscielski, Leszek Pacholski
Complexity of Makanin's Algorithm. J. ACM 43 (4) (1996)
Antoni Koscielski, Leszek Pacholski
Complexity of Unification in Free Groups and Free Semi-groups FOCS (1990)
Antoni Koscielski
An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups. IWWERT (1990)