Foundation of a computable solid modelling
Theoretical Computer Science
Real functions computable by finite automata using affine representations
Theoretical Computer Science
Real number computation through gray code embedding
Theoretical Computer Science
Interpolation function and computability
Theoretical Computer Science
A Logical Approach to Specification of Hybrid Systems
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Generalised Computability and Applications to Hybrid Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Static Analyses of the Precision of Floating-Point Operations
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Computational Dimension of Topological Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Semantic Characterisations of Second-Order Computability over the Real Numbers
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Real functions incrementally computable by finite automata
Theoretical Computer Science - Mathematical foundations of programming semantics
Domain theory and differential calculus (functions of one variable)
Mathematical Structures in Computer Science
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
Mathematical Structures in Computer Science
Effective real numbers in Mmxlib
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
The best interval representations of t-norms and automorphisms
Fuzzy Sets and Systems
RealLib: An efficient implementation of exact real arithmetic
Mathematical Structures in Computer Science
Towards Computability over Effectively Enumerable Topological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
A computable approach to measure and integration theory
Information and Computation
The dedekind reals in abstract stone duality
Mathematical Structures in Computer Science
A characterization of computable analysis on unbounded domains using differential equations
Information and Computation
On the Kolmogorov complexity of continuous real functions
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Complexity and intensionality in a type-1 framework for computable analysis
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Computability in computational geometry
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Domain-Theoretic formulation of linear boundary value problems
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Hi-index | 0.00 |