Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings / Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Conference on Computability in Europe (15th : 2019 : Durham, England); Manea, Florin, editor.; Martin, Barnaby, editor.; Paulusma, Daniël, editor.; Primiero, Giuseppe, editor.
2019
QA9.59 .C67 2019
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings / Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
Meeting Name Conference on Computability in Europe (15th : 2019 : Durham, England)
ISBN 9783030229962 (electronic book)
3030229963 (electronic book)
3030229955
9783030229955
Published Cham, Switzerland : Springer, [2019]
Language English
Description 1 online resource.
Call Number QA9.59 .C67 2019
Dewey Decimal Classification 511.3/52
Summary This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019. The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Description based on online resource; title from digital title page (viewed on July 30, 2019).
Added Author Manea, Florin, editor.
Martin, Barnaby, editor.
Paulusma, Daniël, editor.
Primiero, Giuseppe, editor.
Series Lecture notes in computer science ; 11558.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783030229955
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Destroying bicolored P3s by deleting few edges / Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, and Frank Sommer
Degree spectra for transcendence in fields / Iskander Kalimullin, Russell Miller, and Hans Schoutens
More intensional versions of Rice's theorem / Jean-Yves Moyen and Jakob Grue Simonsen
On approximate uncomputability of the Kolmogorov complexity function / Ruslan Ishkuvatov and Daniil Musatov
Borel and Baire sets in Bishop spaces / Iosif Petrakis
Nets and reverse mathematics : some initial results / Sam Sanders
Kalmár's argument for the independence of computer science / Máté Szabó
The d.r.e. wtt-degrees are dense / Shaoyi Wang, Guohua Wu, and Mars M. Yamaleev
Finite state machines with feedback : an architecture supporting minimal machine consciousness / Jiří Wiedermann and Jan van Leeuwen
Representations of natural numbers and computability of various functions / Michał Wrocławski
On the differences and sums of strongly computably enumerable real numbers / Klaus Ambos-Spies and Xizhong Zheng.

Browse Subjects

Show more subjects...

Statistics

from
to
Export