MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Reinhold Heckmann" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

ATOM

MFPS 2005 Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces
by Reinhold Heckmann
… Reinhold Heckmann 1 AbsInt Angewandte Informatik GmbH, Science Park 1, D-66123 Saarbr"ucken, Germany…
Add To MetaCart

On the Relationship between Filter Spaces and Equilogical Spaces
by Reinhold Heckmann — 1998
…On the Relationship between Filter Spaces and Equilogical Spaces Reinhold Heckmann FB 14…
Cited by 7 (4 self) – Add To MetaCart

How Many Argument Digits are Needed to Produce n Result Digits?
by Reinhold Heckmann — 1999 — In RealComp '98 Workshop (June 1998 in Indianapolis), volume 24 of Electronic Notes in Theoretical Computer Science
…://www.elsevier.nl/locate/entcs/volume??.html 21 pages How Many Argument Digits are Needed to Produce n Result Digits? Reinhold Heckmann FB 14…
Cited by 5 (2 self) – Add To MetaCart

Contractivity of Linear Fractional Transformations
by Reinhold Heckmann — 1998 — Third Real Numbers and Computers Conference (RNC3
…Contractivity of Linear Fractional Transformations Reinhold Heckmann Abstract One possible…
Cited by 8 (3 self) – Add To MetaCart

A Non-Topological View of Dcpo’s as Convergence Spaces. In
by Reinhold Heckmann — 2003 — Schellekens and A.K. Seda (Eds.), Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
…A Non-Topological View of Dcpos as Convergence Spaces Reinhold Heckmann ∗ AbsInt Angewandte…
Cited by 6 (3 self) – Add To MetaCart

The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations
by Reinhold Heckmann — 1997 — In Proc. Foundations of Software Science and Computation Structures (FoSSaCS '98), volume 1378 of LNCS
… ? Reinhold Heckmann FB 14 -- Informatik, Universitat des Saarlandes Postfach 151150, D-66041 Saarbrucken…
Cited by 7 (4 self) – Add To MetaCart

Big Integers and Complexity Issues in Exact Real Arithmetic
by Reinhold Heckmann — 1998 — In Third Comprox workshop
…://www.elsevier.nl/locate/entcs/volume13.html 20 pages Big Integers and Complexity Issues in Exact Real Arithmetic ? Reinhold Heckmann FB…
Cited by 4 (3 self) – Add To MetaCart

Observable Modules and Power Domain Constructions
by Reinhold Heckmann — 1993 — Semantics of Programming Languages and Model Theory, volume 5 of Algebra, Logic, and Applications
…Observable Modules and Power Domain Constructions Reinhold Heckmann FB 14 -- Informatik Universitat…
Cited by 4 (1 self) – Add To MetaCart

Probabilistic Power Domains, Information Systems, and Locales
by Reinhold Heckmann — 1994 — Mathematical Foundations of Programming Semantics VIII, volume 802 of Lecture Notes in Computer Science
…Probabilistic Power Domains, Information Systems, and Locales Reinhold Heckmann FB 14…
Cited by 3 (1 self) – Add To MetaCart

Product Operations in Strong Monads
by Reinhold Heckmann — 1993 — Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Workshops in Computing
…Product Operations in Strong Monads Reinhold Heckmann FB 14 -- Informatik Universitat des…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB