Login / Signup

The correctness of Newman's typability algorithm and some of its extensions.

Herman GeuversRobbert Krebbers
Published in: Theor. Comput. Sci. (2011)
Keyphrases