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

被引：0

作者：

Berger, Ulrich ^{[1
]}

Brattka, Vasco ^{[2
,3
]}

Selivanov, Victor ^{[4
]}

Spreen, Dieter ^{[5
,6
]}

Tsuiki, Hideki ^{[7
]}

机构：

[1] Univ Coll Swansea, Dept Comp Sci, Swansea SA2 8PP, W Glam, Wales

[2] Univ Bundeswehr Munchen, Inst Theoret Comp Sci Math & Operat Res, Fac Comp Sci, D-85577 Neubiberg, Germany

[3] Univ Cape Town, Dept Math & Appl Math, ZA-7701 Rondebosch, South Africa

[4] Russian Acad Sci, AP Ershov Inst Informat Syst, Siberian Branch, Novosibirsk 630090, Russia

[5] Univ Siegen, Dept Math, D-57068 Siegen, Germany

[6] Univ S Africa, Dept Decis Sci, ZA-0003 Pretoria, South Africa

[7] Kyoto Univ, Grad Sch Human & Environm Studies, Sakyo Ku, Kyoto 6068501, Japan

来源：

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 2015年 / 25卷 / 07期

关键词：

D O I：

10.1017/S0960129513000364

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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. Copyright © Cambridge University Press 2014.

引用

页码：1463 / 1465

页数：3