Antoni Koscielski

According to our database¹, Antoni Koscielski authored at least 4 papers between 1990 and 1998.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1998

Makanin's Algorithm is not Primitive Recursive.

[DOI]

Theor. Comput. Sci., 1998

1996

Complexity of Makanin's Algorithm.

[DOI]

J. ACM, 1996

1990

An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups.

[DOI]

Proceedings of the Word Equations and Related Topics, First International Workshop, 1990

Complexity of Unification in Free Groups and Free Semi-groups

[DOI]

Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990