Hostname: page-component-76fb5796d-2lccl Total loading time: 0 Render date: 2024-04-29T12:41:37.179Z Has data issue: false hasContentIssue false
  • English
  • Français

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013

Published online by Cambridge University Press:  09 June 2016

HAJIME ISHIHARA ,
MARGARITA KOROVINA ,
ARNO PAULY ,
MONIKA SEISENBERGER  and
DIETER SPREEN
HAJIME ISHIHARA
Affiliation:
School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Email: ishihara@jaist.ac.jp
MARGARITA KOROVINA
Affiliation:
A.P. Ershov Institute of Informatics Systems, Russian Academy of Science, Siberian Branch, Prospekt Lavrentev 6, Novosibirsk, 630090, Russia Email: rita.korovina@gmail.com
ARNO PAULY
Affiliation:
Computer Laboratory, University of Cambridge, 15JJ Thompson Avenue, CB3 0FD Cambridge, U.K. Email: Arno.Pauly@cl.cam.ac.uk
MONIKA SEISENBERGER
Affiliation:
Department of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, U.K. Email: m.seisenberger@swansea.ac.uk
DIETER SPREEN
Affiliation:
Department of Mathematics, University of Siegen, 57068 Siegen, Germany Email: spreen@math.uni-siegen.de
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 issue of Mathematical Structures in Computer Science is composed mainly of papers submitted by participants of the Workshop ‘Continuity, Computability, Constructivity: From Logic to Algorithms,’ held in Gregynog, a conference centre of the University of Wales located in the beautiful nature of Mid Wales, in the last week of June 2013. In addition, several colleagues accepted our invitation to contribute to this volume.

Type
Editorial Preface
Information
Mathematical Structures in Computer Science , Volume 27 , Special Issue 8: Continuity, Computability, Constructivity: From Logic to Algorithms 2013 , December 2017 , pp. 1285 - 1286
Copyright
Copyright © Cambridge University Press 2016