Two preservation results for countable products of sequential spaces.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 161
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2007 AND VI 17 AND IP 1
Results: 7
1
2
A monadic, functional implementation of real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 129, doi. 10.1017/S0960129506005871
- By:
- Publication type:
- Article
3
Implementing the cylindrical algebraic decomposition within the Coq system.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 99, doi. 10.1017/S096012950600586X
- By:
- Publication type:
- Article
4
Preface to the special issue: Constructive analysis, types and exact real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 1, doi. 10.1017/S0960129506005846
- By:
- Publication type:
- Article
5
Constructive analysis, types and exact real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 3, doi. 10.1017/S0960129506005834
- By:
- Publication type:
- Article
6
RealLib: An efficient implementation of exact real arithmetic.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 81, doi. 10.1017/S0960129506005822
- By:
- Publication type:
- Article
7
Spatiality for formal topologies.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 1, p. 65, doi. 10.1017/S0960129506005810
- By:
- Publication type:
- Article