Login / Signup

Unification Algorithms Cannot Be Combined in Polynomial Time.

Miki HermannPhokion G. Kolaitis
Published in: Inf. Comput. (2000)
Keyphrases