scientific article; zbMATH DE number 5269069
From MaRDI portal
Publication:5384983
zbMath1148.68370MaRDI QIDQ5384983
Campagnolo, Manuel Lameiras, Olivier Bournez
Publication date: 29 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (18)
Compactness in the Theory of Continuous Automata ⋮ The physical Church thesis as an explanation of the Galileo thesis ⋮ Axiomatizing Analog Algorithms ⋮ Study of dynamical systems from the viewpoint of complexity and computational capabilities ⋮ Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines ⋮ Railway scheduling using Boolean satisfiability modulo simulations ⋮ Rational analysis, intractability, and the prospects of `as if'-explanations ⋮ Distributed Learning of Wardrop Equilibria ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Characterizing Computable Analysis with Differential Equations ⋮ A survey of recursive analysis and Moore's notion of real computation ⋮ Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer ⋮ The diagonalization method in quantum recursion theory ⋮ A Universal Ordinary Differential Equation ⋮ A characterization of computable analysis on unbounded domains using differential equations ⋮ Computational bounds on polynomial differential equations ⋮ A Survey on Analog Models of Computation ⋮ Generalized finite automata over real and complex numbers
This page was built for publication:
