| |
| 1998 | ||
|---|---|---|
| 4 | EE | Antoni Koscielski, Leszek Pacholski: Makanin's Algorithm is not Primitive Recursive. Theor. Comput. Sci. 191(1-2): 145-156 (1998) |
| 1996 | ||
| 3 | EE | Antoni Koscielski, Leszek Pacholski: Complexity of Makanin's Algorithm. J. ACM 43(4): 670-684 (1996) |
| 1990 | ||
| 2 | Antoni Koscielski, Leszek Pacholski: Complexity of Unification in Free Groups and Free Semi-groups FOCS 1990: 824-829 | |
| 1 | Antoni Koscielski: An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups. IWWERT 1990: 12-60 | |
| 1 | Leszek Pacholski | [2] [3] [4] |