Dieter Spreen und Logic - Info zur Person

(1 - 17 von 44

)

Video: Dieter Spreen, "Digit Spaces --- Topological Foundations"

www.birs.ca

› videos › watch

Serikzhan Badaev & Dieter Spreen, A note on partial numberings ...philpapers.org › rec › BADANO

philpapers.org

Theorie der Numerierungen II.J. U. L. Eršov Mathematical Logic Quarterly 21 (1): On Effective Topological Spaces.Dieter Spreen Journal ...

Dieter Spreen, Effective inseparability in a topological setting -...

philpapers.org

Effective inseparability of pairs of sets is an important notion in logic and computer science. We study the effective inseparability of sets which appear as...

Domains and Processes: Proceedings of the 1st International Symposium...

books.google.de

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented...

Logic Colloquium Ludomir Newelski, Dag Normann, John R. Steel...

books.google.de

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the...

Logic Colloquium Seite Google Books-Ergebnisseite

books.google.com

254 DIETER SPREEN.

Advances in Constructive Topology and Logical Foundations in honor of...

events.math.unipd.it

Dieter Spreen Siegen. An Intrinsic Characterisation of Effective Topologies. An effective topological space is a two-level structure consisting of ...

On the possibility of a Rice-like Theorem for primite recursive ...

www.dcc.fc.up.pt

von AFEWS PAGES — [23] Dieter Spreen. Effective inseparability in a topological setting. Anals of Pure and Applied Logic, 80(3):257–275, [24] Dieter Spreen. › ~acm › riceS

theoinf.math.uni-siegen.de

Dieter Spreen (University of Siegen, Germany) Post-Workshop Publication: Conference Proceedings will be published as a special issue of the Annals of Pure and Applied Logic.

Some results related to the continuity problem : Dieter Spreen : Free...

archive.org

The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered....

Dieter Spreen (born January 18, 1947), German computer science ...prabook.com › web › dieter.spreen

prabook.com

Dieter Spreen, German Computer science educator. Member Association for Symbolic Logic, Institute of Electrical and Electronics Engineers Computer Society, ...

Can partial indexings be totalized? | The Journal of Symbolic Logic |...

www.cambridge.org

Can partial indexings be totalized? - Volume 66 Issue 3 - Dieter Spreen

Logic@JAIST

www.jaist.ac.jp

Markus Noeth (Ludwig-Maximilians-Universität München) 6 April September; Dieter Spreen (University of Siegen) 14 April - 5 June; Ulrich Berger (Swansea ... › activities

To homepages of some other logicians

www.math.nsc.ru

Robert Soare · Reed Solomon · Dieter Spreen · Sergei Starchenko · Frank Stephan · Vladimir Tolstykh · John Truss · Jessica Young · Boris Zil'ber. › ~asm256