Program size complexity for possibly infinite computations

Verónica Becher

2005, Notre Dame Journal of Formal Logic 46 (1), 51-64, 2005
Citas: 13

Origen de colaboraciones