Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Blanck, Jens - Department of Computer Science, University of Wales Swansea
Dissertation for the Degree of Doctor of Philosophy in Mathematical logic at Uppsala University in 1997
Dissertation for the Degree of Doctor of Philosophy in Mathematical logic at Uppsala University in 1997
The Journal of Logic and Algebraic Programming 64 (2005) 4159
http://journals.cambridge.org Downloaded: 26 Mar 2010 IP address: 137.44.2.45 Math. Struct. in Comp. Science (2010), vol. 20, pp. 107126. c Cambridge University Press 2010
The Journal of Logic and Algebraic Programming 66 (2006) 5067
Exact Real Arithmetic Systems: Results of Competition
Canonical Effective Subalgebras of Classical Algebras as
Math. Struct. in Comp. Science (2008), vol. 18, pp. 10311056. c 2008 Cambridge University Press doi:10.1017/S0960129508007093 First published online 3 September 2008 Printed in the United Kingdom
Domain representations of partial functions, with applications to spatial objects and
Canonical Effective Subalgebras of Classical Algebras as
URL: http://www.elsevier.nl/locate/entcs/volume13.html 19 pages Domain representations of topological spaces
Theoretical Computer Science 219 (1999) 1948 www.elsevier.com/locate/tcs
Theoretical Computer Science 247 (2000) 229255 www.elsevier.com/locate/tcs
Effectivity of Regular Spaces Jens Blanck
UNIVERSITY OF WALES SWANSEA REPORT SERIES
http://journals.cambridge.org Downloaded: 14 Apr 2011 IP address: 137.44.2.45 Math. Struct. in Comp. Science (2008), vol. 18, pp. 10311056. c 2008 Cambridge University Press
