Zdzislaw Habasinski

Information about the author Zdzislaw Habasinski will soon be added to the site.

Found 1 papers in total

Solving generalized equations over infinite trees

1989

In the paper a nondeterministic algorithm for solving sets of equations between terms...

Papers per page: