Kari, Cellular automata, tilings and (un)computability. In ... theory of ends, second- order logic, tiling problems, cellular automata, and ...
... shape . . . . . . . . . . . . . . . . . . . . . . . . . . . . 826. Camillo De Lellis, The regularity theory for the area functional (in geometric mea- sure ...
Note also that the computability of the right coset function allows to ... theory and applications to geometry. Springer, Berlin, 1998. Zbl0997.20500.
In Hee- gaard Floer theory, there is a parallel theory for 3-manifolds with torus boundary, called Bordered Heegaard Floer homology, due to Lipshitz, Ozsváth ...
Learning theory. The problem of learning probability distributions produced ... DeMarrais, and M.-D. A. Huang, Quantum computability. SIAM. J. Comput ...
At first, I felt more at home in linear algebra because I had a rather algebraic mindset. I also liked to learn about Turing machines, computability, and formal ...
To make this precise one nowadays uses the language of p-adic Hodge theory. ... As for the computability of those decompositions, consider first the case k ...
ber theory, Waldschmidt introduced an asymptotic quantity bα(I) [36] for ... In [3] we introduce the notion of linear computability. By this notion we ...
Darbinyan, Computability, orders, and solvable groups. J. Symb. Log ... theory, languages, and com- putation. Third edn., Addison-Wesley Ser. Comput ...
Theory and Rel. Fields. 138 (2007), 581–645. [3] J. Bricmont and A ... Moreover, we discuss computability issues for computing the asymptotic velocity ...