Jens Blanck

According to our database, Jens Blanck authored at least 17 papers between 1997 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Preface.

Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel

J. Log. Algebraic Methods Program., 2015

2013

Interval Domains and Computable Sequences: A Case Study of Domain Reductions.

Jens Blanck

Comput. J., 2013

Guest Editorial.

Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer

Comput. J., 2013

2011

Stability of representations of effective partial algebras.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Math. Log. Q., 2011

2010

Domain representations of spaces of compact subsets.

Ulrich Berger, Jens Blanck, Petter Kristian Køber

Math. Struct. Comput. Sci., 2010

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions.

Andrej Bauer, Jens Blanck

J. Univers. Comput. Sci., 2010

2008

Reducibility of domain representations and Cantor-Weihrauch domain representations.

Jens Blanck

Math. Struct. Comput. Sci., 2008

Stability for Effective Algebras.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

2006

Exact real arithmetic using centred intervals and bounded error terms.

Jens Blanck

J. Log. Algebraic Methods Program., 2006

2005

Efficient exact computation of iterated maps.

Jens Blanck

J. Log. Algebraic Methods Program., 2005

2002

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Theor. Comput. Sci., 2002

2000

Domain representations of topological spaces.

Jens Blanck

Theor. Comput. Sci., 2000

Exact Real Arithmetic Systems: Results of Competition.

Jens Blanck

Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000

Effectivity of Regular Spaces.

Jens Blanck

Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000

1999

Effective Domain Representations of H(<i>X</i>), the Space of Compact Subsets.

Jens Blanck

Theor. Comput. Sci., 1999

1998

Streams, Stream Transformers and Domain Representations.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1997

Domain Representability of Metric Spaces.

Jens Blanck

Ann. Pure Appl. Log., 1997