Recursion and topology on 2⩽ω for possibly infinite computations

Verónica Becher

2004, Theoretical Computer Science 322 (1), 85-136, 2004
Citas: 8

Origen de colaboraciones