Login / Signup

Better-quasi-orderings and coinduction.

Thomas Forster
Published in: Theor. Comput. Sci. (2003)
Keyphrases