Results: 15
Realizability interpretation of proofs in constructive analysis.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 583, doi. 10.1007/s00224-007-9027-4
- By:
- Publication type:
- Article
A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 298, doi. 10.1007/s00224-007-9062-1
- By:
- Publication type:
- Article
Datatype-Generic Termination Proofs.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 362, doi. 10.1007/s00224-007-9056-z
- By:
- Publication type:
- Article
Computability in Europe 2006.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 295, doi. 10.1007/s00224-007-9045-2
- By:
- Publication type:
- Article
Risk Assessment for One-Counter Threads.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 563, doi. 10.1007/s00224-007-9034-5
- By:
- Publication type:
- Article
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s T.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 516, doi. 10.1007/s00224-007-9021-x
- By:
- Publication type:
- Article
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 498, doi. 10.1007/s00224-007-9019-4
- By:
- Publication type:
- Article
Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 471, doi. 10.1007/s00224-007-9013-x
- By:
- Publication type:
- Article
Classification of Computably Approximable Real Numbers.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 603, doi. 10.1007/s00224-007-9026-5
- By:
- Publication type:
- Article
Dimension Extractors and Optimal Decompression.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 425, doi. 10.1007/s00224-007-9024-7
- By:
- Publication type:
- Article
From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 542, doi. 10.1007/s00224-007-9022-9
- By:
- Publication type:
- Article
A Hierarchy below the Halting Problem for Additive Machines.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 464, doi. 10.1007/s00224-007-9020-y
- By:
- Publication type:
- Article
Division Safe Calculation in Totalised Fields.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 410, doi. 10.1007/s00224-007-9035-4
- By:
- Publication type:
- Article
Coinduction for Exact Real Number Computation.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 394, doi. 10.1007/s00224-007-9017-6
- By:
- Publication type:
- Article
Abstract Interface Behavior of Object-Oriented Languages with Monitors.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 322, doi. 10.1007/s00224-007-9047-0
- By:
- Publication type:
- Article