Login / Signup

Alternating Turing machines for inductive languages.

Daniel Leivant
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases