Lista de

Notre Dame Journal of Formal Logic
4
2005
1
"Program size complexity for possibly infinite computations" (2005) Becher, V.; Figueira, S.; Nies, A.; Picchi, S. Notre Dame Journal of Formal Logic. 46(1):51-64