Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Matteo Bianchetti"'
Autor:
Matteo Bianchetti, Giorgio Venturi
Publikováno v:
Topoi. 42:307-321
Autor:
Matteo Bianchetti
Publikováno v:
Archive for Mathematical Logic. 59:335-365
Infinite time Turing machines represent a model of computability that extends the operations of Turing machines to transfinite ordinal time by defining the content of each cell at limit steps to be the $$\limsup $$ of the sequences of previous conten