- other
Untitled
Scope: model theory, computability theo- ry, proof theory, logic foundation of com- puter science. Programme committee: Yu. L. Ersdhov. (chair), S. I. Adiyan ...
- other
Untitled
Sep 5, 1999 ... ry, model theory, computability and com- plexity theory, history of ... theory, the mathematical theory of. Brownian motion, and ...
- journal article file
Mathematisches Forschungsinstitut Oberwolfach New Directions in ...
Tools from real algebraic geometry are very well suited for studying computability ... butions coming from matroid theory and the theory of delta-matroids that ...
- journal article file
A spectral sequence on lattice homology
Since the introduction of the invariants, many results have been found towards their computability ... theory. If G is negative definite, then the usual ...
- journal article file
On the interplay between Lorentzian Causality and Finsler metrics of ...
Consequences for the computability of. Cauchy developments are also derived ... Ljusternik-Schnirelmann theory, we obtain also the existence of infinitely.
- journal article file
Defining functions for unbounded Cm domains
theory nor a Sobolev space theory suitable for studying the ¯∂-Neumann problem ... norms provide a balance between computability (derivatives are only with.
- other
(PDF) Mathematical Instruments between Material Artifacts and Ideal ...
... theory, even if this was not always perceived by the users of these machines ... computability theory) the equality test is not com-. putable, while ...
- journal article file
On the entropies of subshifts of finite type on countable amenable ...
Barbieri, Shift spaces on groups computability and dynamics. Ph.D ... Ergodic Theory Dynam. Systems 37 (2017), no. 4, 1187–1210. Zbl 1386.37013 MR ...
- journal article file
A symbol calculus for foliations
The power of this calculus lies in the computability of limt!0 p ıt q, and that the ... Gilkey, Invariance Theory, The Heat Equation, and the Atiyah–Singer Index ...
- other
Pierced by a sun ray
field theory and complex geometry [17]. Work with Kuperschmidt and Lebedev ... The themes of computability, of classical and quantum informa- tion, and ...