Login / Signup

On abstract resource semantics and computability logic.

Ilya MezhirovNikolay K. Vereshchagin
Published in: J. Comput. Syst. Sci. (2010)
Keyphrases