Abstract. In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the hy-perfinite II1 factor, starting from the class of Kalmar recursive functions. More method-ologically, we address the problem of finding the right perspective from which to view the new relation between computation and combinatorial aspects in operator algebras. The rich structure of discrete invariants may provide a mathematical setting able to shed light on some basic combinatorial phenomena that are at the basis of our understanding of complexity. 1
accepté à Information and ComputationInternational audienceWe describe the functions computed by boo...
A computable economist's view of the world of computational complexity theory is described. This mea...
We provide several machine-independent characterizations of deterministic complexity classes in the ...
This paper defines an interpretation of Turing Machines computing elementary functions as operators ...
AbstractWe provide machine-independent characterizations of some complexity classes, over an arbitra...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractThe basic motivation behind this work is to tie together various computational complexity cl...
Implicit computational complexity, which aims at characterizing complexity classes by machine-indepe...
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexi...
Abstract. Recursive analysis is the most classical approach to model and discuss compu-tations over ...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...
International audienceRecursive analysis is a model of analog computation which is based on type 2 T...
The computational complexity of a problem is usually defined in terms of the resources required on s...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...
International audienceThe first theoretical study of analog computation was published by Shannon in ...
accepté à Information and ComputationInternational audienceWe describe the functions computed by boo...
A computable economist's view of the world of computational complexity theory is described. This mea...
We provide several machine-independent characterizations of deterministic complexity classes in the ...
This paper defines an interpretation of Turing Machines computing elementary functions as operators ...
AbstractWe provide machine-independent characterizations of some complexity classes, over an arbitra...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
AbstractThe basic motivation behind this work is to tie together various computational complexity cl...
Implicit computational complexity, which aims at characterizing complexity classes by machine-indepe...
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexi...
Abstract. Recursive analysis is the most classical approach to model and discuss compu-tations over ...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...
International audienceRecursive analysis is a model of analog computation which is based on type 2 T...
The computational complexity of a problem is usually defined in terms of the resources required on s...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...
International audienceThe first theoretical study of analog computation was published by Shannon in ...
accepté à Information and ComputationInternational audienceWe describe the functions computed by boo...
A computable economist's view of the world of computational complexity theory is described. This mea...
We provide several machine-independent characterizations of deterministic complexity classes in the ...