Login / Signup

Halting and Equivalence of Program Schemes in Models of Arbitrary Theories.

Dexter Kozen
Published in: Fields of Logic and Computation (2010)
Keyphrases