Ergebnisse für: computable structures and models

Analog computation Automata theory Cellular automata Classical computability and degree structures Computability theoretic aspects of programs Computable analysis and real computation Computable structures and models Continuous computing Decidability of theories DNA computing, self-assembly and tiling Emerging and non-standard models of computation Finite model theory Generalized recursion theory Higher type computability Hyper-computational models

Analog computation Automata theory Cellular automata Classical computability and degree structures Computability theoretic aspects of programs Computable analysis and real computation Computable structures and models Continuous computing Decidability of theories DNA computing, self-assembly and tiling Emerging and non-standard models of computation Finite model theory Generalized recursion theory Higher type computability Hyper-computational models

Analog computation Bioinformatics and bio-inspired computation Classical computability and degree structures Computable analysis and real computation Computable structures and models DNA computing Emerging and non-standard models of computation Generalized recursion theory History of computation Hypercomputational models Infinite time turing machines Natural computation Physics and computability Proof complexity Proof theory and computability

bioinformatics and bio-inspired computation computational complexity DNA computing natural computation swarm intelligence and self-organisation analog computation computable structures and models computational biology computational learning computational linguistics generalized recursion theory higher type computability history of computation hypercomputational models quantum computing and complexity

bioinformatics and bio-inspired computation computational complexity DNA computing natural computation swarm intelligence and self-organisation analog computation computable structures and models computational biology computational learning computational linguistics generalized recursion theory higher type computability history of computation hypercomputational models quantum computing and complexity

Analog computation Bioinformatics and bio-inspired computation Classical computability and degree structures Computable analysis and real computation Computable structures and models DNA computing Emerging and non-standard models of computation Generalized recursion theory History of computation Hypercomputational models Infinite time turing machines Natural computation Physics and computability Proof complexity Proof theory and computability