Computing with Infinite Data

Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines

Autoren: Daniel S. Graça and Ning Zhong
Veröffentlicht in: Computability, Ausgabe 12(2), 2023, Seite(n) 117-144, ISSN 2211-3568
Herausgeber: IOS Press
DOI: 10.3233/com-210381

Realizing semicomputable simplices by computable dynamical systems

Autoren: Daniel Coronel; Alexander Frank; Mathieu Hoyrup; Cristóbal Rojas
Veröffentlicht in: Theoretical Computer Science, Ausgabe 933, 2022, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2022.09.001

Bi-topological spaces and the Continuity Problem

Autoren: Dieter Spreen
Veröffentlicht in: Topology Proceedings, Ausgabe 61, 2021, Seite(n) 77-99, ISSN 2331-1290
Herausgeber: Topology Proceedings

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

Autoren: Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Veröffentlicht in: Logical Methods in Computer Science, 2019, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(2:21)2019

A realizability semantics for inductive formal topologies, Church'sThesis and Axiom of Choice

Autoren: Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Veröffentlicht in: Logical Methods in Computer Science, 2021, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(2:21)2021

The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints

Autoren: Franz Brauße, Konstantin Korovin, Margarita Korovina, Norbert Müller
Veröffentlicht in: Theoretical Computer Science, 2023, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2023.114125

Logic for exact real arithmetic

Autoren: Helmut Schwichtenberg, Franziskus Wiesnet
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 17, 2021, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(2:7)2021

Computing the exact number of periodic orbits for planar flows

Autoren: Daniel S. Graça and Ning Zhong
Veröffentlicht in: Transactions of the American Mathematical Society, Ausgabe 375, 2022, Seite(n) 5491-5538, ISSN 0002-9947
Herausgeber: American Mathematical Society
DOI: 10.1090/tran/8644

The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable

Autoren: Daniel S. Graça and Ning Zhong
Veröffentlicht in: Theoretical Computer Science, Ausgabe 895, 2021, Seite(n) 48-54, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2021.09.028

McShane-Whitney extensions in constructive analysis

Autoren: Iosif Petrakis
Veröffentlicht in: Logical Methods in Compuer Science, 2020, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:18)2020

OVERLAP ALGEBRAS: A CONSTRUCTIVE LOOK AT COMPLETE BOOLEAN ALGEBRAS

Autoren: FRANCESCO CIRAULO, MICHELE CONTENTE
Veröffentlicht in: Logical Methods in Computer Science, 2020, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:13)2020

Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

Autoren: Svetlana Selivanova, Victor Selivanov
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 13, Ausgabe 4, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:13)2017

On the functions generated by the general purpose analog computer

Autoren: Olivier Bournez, Daniel Graça, Amaury Pouly
Veröffentlicht in: Information and Computation, Ausgabe 257, 2017, Seite(n) 34-57, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2017.09.015

Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

Autoren: Olivier Bournez, Daniel S. Graça, Amaury Pouly
Veröffentlicht in: Journal of the ACM, Ausgabe 64/6, 2017, Seite(n) 1-76, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3127496

Complexity for partial computable functions over computable Polish spaces

Autoren: MARGARITA KOROVINA, OLEG KUDINOV
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe 28/3, 2018, Seite(n) 429-447, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129516000438

Computable elements and functions in effectively enumerable topological spaces

Autoren: MARGARITA KOROVINA, OLEG KUDINOV
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe 27/8, 2017, Seite(n) 1466-1494, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129516000141

The Rice-Shapiro theorem in Computable Topology

Autoren: Korovina, Margarita and Kudinov, Oleg
Veröffentlicht in: Logical methods in computer science, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-13(4:30)2017

Overt choice

Autoren: Matthew de Brecht, Arno Pauly, Matthias Schröder
Veröffentlicht in: Computability, Ausgabe 9/3-4, 2020, Seite(n) 169-191, ISSN 2211-3576
Herausgeber: IOS Press
DOI: 10.3233/com-190253

The principle of pointfree continuity

Autoren: Tatsuji Kawai, Giovanni Sambin
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 15, 2019, Seite(n) 1--22, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(1:22)2019

SEARCHING FOR AN ANALOGUE OF ATR 0 IN THE WEIHRAUCH LATTICE

Autoren: TAKAYUKI KIHARA, ALBERTO MARCONE, ARNO PAULY
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 85/3, 2020, Seite(n) 1006-1043, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2020.12

The Ho-Zhao Problem

Autoren: Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 14 (1:7), 2018, Seite(n) 1--19, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-14(1:7)2018

Topological Scott Convergence Theorem

Autoren: Hadrian Andradi, Weng Kin Ho
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 15-1, 2019, Seite(n) 1-14, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(1:29)2019

Behavioural Equivalence via Modalities for Algebraic Effects

Autoren: Alex Simpson, Niels Voorneveld
Veröffentlicht in: ACM Transactions on Programming Languages and Systems (TOPLAS), Ausgabe 42/1, 2020, Seite(n) 1-45, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3363518

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Autoren: Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Veröffentlicht in: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(4:5)2022

Factorizing the Top-Loc adjunction through positive topologies

Autoren: F. Ciraulo, T. Kawai, S. Maschio
Veröffentlicht in: Archive for Mathematical Logic, 2021, ISSN 0933-5846
Herausgeber: Springer Verlag
DOI: 10.1007/s00153-021-00768-5

Direct spectra of Bishop spaces and teir limits

Autoren: Iosif Petrakis
Veröffentlicht in: Logical Methods in Computer Science, 2020, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

Computing with continuous objects: a uniform co-inductive approach

Autoren: Dieter Spreen
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe 31, Ausgabe 2, 2021, Seite(n) 144-192, ISSN 1469-8072
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129521000116

A characterization of generalized existential completions

Autoren: Maria Emilia Maietti, Davide Trotta
Veröffentlicht in: Annals of Pure and Applied Logic, 2023, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2022.103234

Limits of real numbers in the binary signed digit representation

Autoren: Franziskus Wiesnet, Nils Köpp
Veröffentlicht in: Log. Methods Comput. Sci., 2022, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.48550/arxiv.2103.15702

σ-locales in Formal Topology

Autoren: F. Ciraulo
Veröffentlicht in: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:7)2022

Natural density and probability, constructively

Autoren: Samuele Maschio
Veröffentlicht in: Reports on Mathematical Logic, 2020, ISSN 0137-2904
Herausgeber: Jagiellonian University
DOI: 10.4467/20842589rm.20.002.12434

Computing Haar Measures

Autoren: Pauly, Arno; Seon, Dongseong; Ziegler, Martin
Veröffentlicht in: Proceedings of CSL 2020, Ausgabe 26, 2020
Herausgeber: Lipics
DOI: 10.4230/lipics.csl.2020.34

Computability of Ordinary Differential Equations

Autoren: D. S. Graça, N. Zhong
Veröffentlicht in: Proceedings of the 14th Conference on Computability in Europe, CiE 2018: Sailing Routes in the World of Computation, Ausgabe Volume 10936 of Lecture Notes in Computer Science, 2018, Seite(n) 204-213, ISBN 978-3-319-94417-3
Herausgeber: Springer

Computability on quasi-Polish spaces

Autoren: Mathieu Hoyrup, Cristobal Rojas, Victor Selivanov, Donald M. Stull
Veröffentlicht in: Descriptional Complexity of Formal Systems - 21st {IFIP} {WG} 1.02 International Conference, {DCFS} 2019, Ko{\v{s}}ice, Slovakia, July 17-19, 2019, Proceedings, 2019, Seite(n) 171-183
Herausgeber: Springer
DOI: 10.1007/978-3-030-23247-4_13

Average-Case Polynomial-Time Computability of Hamiltonian Dynamics

Autoren: Akitoshi Kawamura, Holger Thies, Martin Ziegler
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), 2018, Seite(n) 30:1--30:17
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2018.30

Behavioural equivalence via modalities for algebraic effects

Autoren: Alex Simpson, Niels Voorneveld
Veröffentlicht in: Lecture Notes in Computer Science, Ausgabe 10809, 2018, Seite(n) 300--326, ISBN 978-3-319-89884-1
Herausgeber: Springer

Displayed categories

Autoren: Benedikt Ahrens, Peter LeFanu Lumsdaine
Veröffentlicht in: Leibniz International Proceedings in Informatics, Ausgabe 84, 2017, Seite(n) 5:1--5:16, ISBN 978-3-95977-047-7
Herausgeber: Leibniz Zentrum für Informatik, Dagstuhl Publishing
DOI: 10.4230/lipics.fscd.2017.0

Tunneling on Wheeler Graphs

Autoren: Jarno Alanko, Travis Gagie, Gonzalo Navarro, Louisa Seelbach Benkner
Veröffentlicht in: 2019 Data Compression Conference (DCC), 2019, Seite(n) 122-131, ISBN 978-1-7281-0657-1
Herausgeber: IEEE
DOI: 10.1109/dcc.2019.00020

Computable Analysis for Verified Exact Real Computation

Autoren: Konecny, Michal; Steinberg, Florian; Thies, Holger
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 182, 2020, Seite(n) 50:1-50:18
Herausgeber: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2020.50

On the Collection of Fringe Subtrees in Random Binary Trees

Autoren: Louisa Seelbach Benkner, Stephan Wagner
Veröffentlicht in: Lecture Notes in Computer Science, Ausgabe 12118, 2020, Seite(n) 546-558, ISBN 978-3-030-61791-2
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-030-61792-9_43

Computing with Infinite Objects: the Gray Code Case

Autoren: Dieter Spreen, Ulrich Berger
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 19, issue 3, 2023, Seite(n) 1:1 - 1:62, ISSN 1860-5974
Herausgeber: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
DOI: 10.48550/arxiv.2105.14261

σ-locales and Booleanization in Formal Topology

Autoren: Francesco Ciraulo
Veröffentlicht in: 2019
Herausgeber: Cornell University

Overlap Algebras as Almost Discrete Locales

Autoren: Francesco Ciraulo
Veröffentlicht in: 2016
Herausgeber: Cornell University

Representations and evaluation strategies for feasibly approximable functions

Autoren: Michal Konecny, Eike Neumann
Veröffentlicht in: 2018
Herausgeber: Cornell University

Elementary quotient completions, Church's Thesis, and partitioned assemblies

Autoren: Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Veröffentlicht in: 2018
Herausgeber: Cornell University

Enumeration degrees and non-metrizable topology

Autoren: Takayuki Kihara, Arno Pauly
Veröffentlicht in: 2019
Herausgeber: Cornell University

"Semantics, logic and verification of ""exact real computation"""

Autoren: Franz Brauße, Pieter Collins, Johannes Kanig, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Sewon Park, Norbert Preining, Martin Ziegler
Veröffentlicht in: 2019
Herausgeber: Cornell University

On the computability of the Fréchet distance of surfaces in thwe bitmodel of real computation

Autoren: Eike Neumann
Veröffentlicht in: 2018
Herausgeber: Cornell University

Parameterised second-order complexity theory with applications to the study of interval computation

Autoren: Eike Neumann, Florian Steinberg
Veröffentlicht in: 2017
Herausgeber: Cornell University

Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data

Autoren: Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin Ziegler
Veröffentlicht in: 2018
Herausgeber: Cornell University

Natural density and probability, constructively

Autoren: Samuele Maschio
Veröffentlicht in: 2019
Herausgeber: Cornell University

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types

Autoren: Gyesik Lee, Norbert Müller, Eike Neumann, Sewon Park, Norbert Preining, Martin Ziegler
Veröffentlicht in: 2019
Herausgeber: Cornell University

Weak Reduction Principle and Computable Metric Spaces

Autoren: Margarita Korovina, Oleg Kudinov
Veröffentlicht in: Sailing Routes in the World of Computation, Ausgabe 10936, 2018, Seite(n) 234-243, ISBN 978-3-319-94417-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-94418-0_24

Outline of Partial Computability in Computable Topology

Autoren: Margarita Korovina, Oleg Kudinov
Veröffentlicht in: Unveiling Dynamics and Complexity, Ausgabe 10307, 2017, Seite(n) 64-76, ISBN 978-3-319-58740-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-58741-7_7

On Higher Effective Descriptive Set Theory

Autoren: Margarita Korovina, Oleg Kudinov
Veröffentlicht in: Unveiling Dynamics and Complexity, Ausgabe 10307, 2017, Seite(n) 282-291, ISBN 978-3-319-58740-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-58741-7_27

Extending Wadge Theory to k-Partitions

Autoren: Victor L. Selivanov
Veröffentlicht in: Unveiling Dynamics and Complexity, Ausgabe 10307, 2017, Seite(n) 387-399, ISBN 978-3-319-58740-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-58741-7_36

Behavioural Equivalence via Modalities for Algebraic Effects

Autoren: Alex Simpson, Niels Voorneveld
Veröffentlicht in: Programming Languages and Systems, Ausgabe 10801, 2018, Seite(n) 300-326, ISBN 978-3-319-89883-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_11

Undecidability of Equality for Codata Types

Autoren: Ulrich Berger, Anton Setzer
Veröffentlicht in: Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers, Ausgabe 11202, 2018, Seite(n) 34-55, ISBN 978-3-030-00388-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-00389-0_4

Highlights of the Rice-Shapiro Theorem in Computable Topology

Autoren: Margarita Korovina, Oleg Kudinov
Veröffentlicht in: Perspectives of System Informatics, Ausgabe 10742, 2018, Seite(n) 241-255, ISBN 978-3-319-74312-7
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-74313-4_18

Computability of Limit Sets for Two-Dimensional Flows

Autoren: Daniel S. Graça and Ning Zhong
Veröffentlicht in: Lecture Notes in Computer Science, Ausgabe 12813, 2021, Seite(n) 494-503, ISBN 978-3-030-80048-2
Herausgeber: Springer
DOI: 10.1007/978-3-030-80049-9_48

Finite Choice, Convex Choice and Sorting

Autoren: Takayuki Kihara, Arno Pauly
Veröffentlicht in: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings, Ausgabe 11436, 2019, Seite(n) 378-393, ISBN 978-3-030-14811-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-14812-6_23

Computability of differential equations

Autoren: Graça, Daniel; Zhong, Ning
Veröffentlicht in: Handbook of Computability and Complexity in Analysis, Ausgabe 15, 2021, Seite(n) 71-99, ISBN 978-3-030-59233-2
Herausgeber: Springer

Leistungen

Veröffentlichungen

Diese Seite teilen

Herunterladen