没有合适的资源?快使用搜索试试~ 我知道了~
资源推荐
资源详情
资源评论
Higher-Order
Computability
John Longley · Dag Normann
More information about this series at http://www.springer.com/series/8819
Theory and Applications of Computability
Series Editors
In cooperation with the association Computability in Europe
Prof. P. Bonizzoni
Università degli Studi di Milano-Bicocca
Dipartimento di Informatica Sistemistica e Comunicazione (DISCo)
Milan
Italy
bonizzoni@disco.unimib.it
Prof. V. Brattka
Universit der Bundeswehr München
vasco.brattka@unibw.de
Prof. S.B. Cooper
University of Leeds
Department of Pure Mathematics
Leeds
UK
s.b.cooper@leeds.ac.uk
Prof. P. Panangaden
ät
Fakultät für Informatik
Neubiberg
Germany
Prof. E. Mayordomo
Universidad de Zaragoza
Departamento de Informática e Ingeniería de Sistemas
Zaragoza
Spain
elvira@unizar.es
McGill University
School of Computer Science
Montr alé
prakash@cs.mcgill.ca
Canada
Books published in this series will be of
graduate students, with a unique focus on issues of computability. The perspective
of the series is multidisciplinary, recapturing the spirit of Turing by linking theoretical
and real-world concerns from computer science, mathematics, biology, physics,
and the philosophy of science.
The series includes research monographs, advanced and graduate texts, and books
that offer an original and informative view of computability and computational
paradigms.
Series Advisory Board
Samson Abramsky, University of Oxford
Eric Allender Rutgers, The State University of New Jersey
Klaus Ambos-Spies, Universität Heidelberg
Jeremy Avigad, Carnegie Mellon University
Samuel R. Buss, University of California, San Diego
Rodney G. Downey, Victoria University of Wellington
Sergei S. Goncharov, Novosibirsk State University
Peter Jeavons, University of Oxford
Nataša Jonoska, University of South Florida, Tampa
Ulrich Kohlenbach, Technische Universität Darmstadt
Ming Li, University of Waterloo
Wolfgang Maass, Technische Universität Graz
Grzegorz Rozenberg, Leiden University and University of Colorado, Boulder
Alan Selman, University at Buffalo, The State University of New York
Wilfried Sieg, Carnegie Mellon University
Jan van Leeuwen, Universiteit Utrecht
Klaus Weihrauch, FernUniversität Hagen
Philip Welch, University of Bristol
Giorgio Ausiello, Università di Roma, “La Sapienza”
,
interest to the research community and
John Longle y • Dag Normann
Higher-Order Computability
ISSN 2190-619X (electronic)
Theory and Applications of Computability
ISBN 978-3-662-47991-9 ISBN 978-3-662-47992-6 (eBook)
DOI 10.1007/978-3-662-47992-6
Library of Congress Control Number: 2015951088
Springer Heidelberg New York Dordrecht London
© Springer-Verlag Berlin Heidelberg 2015
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of
the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or
information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar
methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publication does not imply, even in the absence of a specific statement, that such names are exempt
from the relevant protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publisher nor the
authors or the editors give a warranty, express or implied, with respect to the material contained herein
or for any errors or omissions that may have been made.
Printed on acid-free paper
ISSN 2190-6203
Springer-Verlag GmbH Berlin Heidelberg is part of Springer Science+Business Media (www.springer.com)
John Longley Dag Normann
The University of Oslo
Oslo, Norway
Edinburgh, UK
School of Informatics
The University of Edinburgh
Department of Mathematics
剩余586页未读,继续阅读
资源评论
Hilovaiseriliis
- 粉丝: 0
- 资源: 5
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- yolov5,SSD 可能使用到的一些代码
- 基于c51单片机+DS1302+DHT11温湿度模块+LCD1602显示的万年历硬件原理图+BOM+软件程源码序+仿真图.zip
- NSGA2的MATLAB代码
- Messagepassingtest_GCN_DGL.py
- Sh,Docker 运维好帮手,一招通过 sh 脚本批量快速启动和重启多个Docker 容器
- PCF2123.pdf
- 打开注册表操作.doc
- Windows 常见运行运行库32+64
- WMJUL8iC.html
- 基于3KW光伏并网单相逆变器设计(TMS320F28035控制板+显示板+STM32F103功率板)硬件(原理图+PCB)工程
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功