Login / Signup

Completeness Results for Recursive Data Bases.

Tirza HirstDavid Harel
Published in: J. Comput. Syst. Sci. (1996)
Keyphrases