Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-18T10:05:31.109Z Has data issue: false hasContentIssue false
  • English
  • Français

Preface to the special issue: Computing with infinite data: topological and logical foundations

Published online by Cambridge University Press:  13 November 2014

ULRICH BERGER ,
VASCO BRATTKA ,
VICTOR SELIVANOV ,
DIETER SPREEN  and
HIDEKI TSUIKI
ULRICH BERGER
Affiliation:
Department of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, United Kingdom Email: u.berger@swansea.ac.uk
VASCO BRATTKA
Affiliation:
Institute for Theoretical Computer Science, Mathematics and Operations Research, Faculty of Computer Science, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, 85577 Neubiberg, Germany, and Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag X3, Rondebosch 7701, South Africa Email: Vasco.Brattka@cca-net.de
VICTOR SELIVANOV
Affiliation:
A.P. Ershov Institute of Informatics Systems, Russian Academy of Science, Siberian Branch, Prospekt Lavrentev 6, Novosibirsk, 630090, Russia Email: vseliv@iis.nsk.su
DIETER SPREEN
Affiliation:
Department of Mathematics, University of Siegen, 57068 Siegen, Germany, and Department of Decision Sciences, University of South Africa, PO Box 392, Pretoria 0003, South Africa Email: spreen@math.uni-siegen.de
HIDEKI TSUIKI
Affiliation:
Graduate School of Human and Environmental Studies, Kyoto University, Yoshida-nihonmatsu-cho, Sakyo-ku, Kyoto 606-8501, Japan Email: tsuiki@i.h.kyoto-u.ac.jp
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This special issue of Mathematical Structures in Computer Science is composed mainly of papers submitted by participants of the Dagstuhl Seminar on Computing with Infinite Data: Topological and Logical Foundations. The workshop took place in the Schloss Dagstuhl - Leibniz Center for Informatics in the first half of October 2011.

Type
Editorial Preface
Information
Mathematical Structures in Computer Science , Volume 25 , Special Issue 7: Computing with Infinite Data: Topological and Logical Foundations Part 1 , October 2015 , pp. 1463 - 1465
Copyright
Copyright © Cambridge University Press 2014