Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

doi:10.1007/978-3-319-22156-4

Публикации

?

Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

Базель : Birkhauser/ Springer, 2015.

Под общей редакцией: G. Sommaruga, T. Strahm

Proof-theoretic analysis by iterated reflection

Беклемишев Л. Д., , in: Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015.: Basel: Birkhauser/Springer, 2015. P. 225–270.

Добавлено: 13 марта 2016 г.

Приоритетные направления: компьютерно-математическое математика

Язык: английский

DOI

Ключевые слова: computation Turing

Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

Presheaf structures governed by oriented matroids and pseudohyperplane arrangements

Лысков Д. Д., Coron B., / Series math "arxiv.org". 2026.

Добавлено: 5 ноября 2026 г.

An Enhanced Higher Green's Function on the Modular Curve

Сахарова Н. Е., / Series arXiv "math". 2026. No. 2610.17258.

Добавлено: 4 ноября 2026 г.

Modular Arrangements

Левин А. М., Сахарова Н. Е., / Series arXiv "math". 2024. No. 2412.17795.

Добавлено: 4 ноября 2026 г.

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure

Sergey Slavnov, / Series math "arxiv.org". 2026.

Добавлено: 29 октября 2026 г.

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Timur Teregulov, Elena R. Loubenets, / Series Quantum Physics "arXiv". 2026. No. 2609.31472.

Добавлено: 28 сентября 2026 г.

Pairings on the algebra of Laurent series over a ring

Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.

Добавлено: 24 сентября 2026 г.

Iterative construction of the R-matrices in arbitrary dimensions

Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.

Добавлено: 24 сентября 2026 г.

On static manifolds with boundary admitting a nowhere-vanishing static potential

Медведев В. О., / Series arXiv "math". 2026.

We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...

Добавлено: 19 сентября 2026 г.

Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge

Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.

Добавлено: 15 сентября 2026 г.

On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.

Глуцюк А. А., / Series arXiv "math". 2026.

Добавлено: 8 сентября 2026 г.

Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows

Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.

Добавлено: 31 августа 2026 г.

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

Добавлено: 21 июля 2026 г.

On functional equations for Chow polylogarithms

Болбачан В. С., / Series math "arxiv.org". 2024.

Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...

Добавлено: 16 июля 2026 г.

ICCTA '22: Proceedings of the 2022 8th International Conference on Computer Technology Applications

NY: Association for Computing Machinery (ACM), 2022.

Добавлено: 26 сентября 2022 г.

Intelligent Systems and Applications. IntelliSys 2020.

Springer, 2020.

Добавлено: 9 сентября 2020 г.

Twelfth International Tbilisi Symposium on Language, Logic and Computation

Centre for Language, Logic and Speech at the Tbilisi State University, 2017.

Добавлено: 8 октября 2019 г.

Communication, Computation, and Cognitive Processes (СССР3)

Higher School of Economics Publishing House, 2016.

Third annual conference “Communication, Computation, and Cognitive Processes (СССР3)”. National Research University Higher School of Economics, Moscow, Russia, September 28-29, 2016. ...

Добавлено: 7 декабря 2016 г.

Логико-термальная эквивалентность программ с динамической памятью

Захаров В. А., Новикова Т. А., В кн.: Дискретные модели в теории управляющих систем : IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г.: Труды.: М.: МАКС Пресс, 2015. С. 173–176.

В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.) ...

Добавлено: 12 октября 2015 г.

Modelling, Computation and Optimization in Information Systems and Management Sciences. Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part II

Springer, 2015.

This proceedings set contains 85 selected full papers presentedat the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015, held on May 11–13, 2015 at Lorraine University, France. The present part II of the 2 volume set includes articles devoted to Data analysis and Data mining, Heuristic ...

Добавлено: 1 июня 2015 г.