Copertina

Computing with Infinite Objects: the Gray Code Case

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Spreen, Dieter, Berger, Ulrich
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Infinite trees
di: Goy, Alexandre
Pubblicazione: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
di: Pinsker, Michael, et al.
Pubblicazione: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
di: Spreen, Dieter
Pubblicazione: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
di: Niwiński, Damian, et al.
Pubblicazione: (2023)

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

Localized Attractor Computations for Infinite-State Games (Full Version)
di: Schmuck, Anne-Kathrin, et al.
Pubblicazione: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

On the Computational Content of Moduli of Regularity and their Logical Strength
di: Kohlenbach, Ulrich
Pubblicazione: (2026)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Synthesis of Infinite State Systems
di: Drucker, Ohad, et al.
Pubblicazione: (2025)

Parameterized Infinite-State Reactive Synthesis
di: Maderbacher, Benedikt, et al.
Pubblicazione: (2025)

Explanations for Unrealizability of Infinite-State Safety Shields
di: Rodriguez, Andoni, et al.
Pubblicazione: (2025)

Towards Learning Infinite SMT Models (Work in Progress)
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Infinite State Model Checking by Learning Transitive Relations
di: Frohn, Florian, et al.
Pubblicazione: (2025)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
di: Peressotti, Marco
Pubblicazione: (2025)

Computation of Interpolants for Description Logic Concepts in Hard Cases
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2026)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
di: Bombardelli, Alberto, et al.
Pubblicazione: (2023)

List types for resource aware languages: an implicit name approach
di: Ghilezan, Silvia, et al.
Pubblicazione: (2021)

Bijective proofs for Eulerian numbers of types B and D
di: Santocanale, Luigi
Pubblicazione: (2021)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
di: de Groot, Jim, et al.
Pubblicazione: (2021)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
di: Hartonas, Chrysafis
Pubblicazione: (2021)

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
di: Oda, Yukihiro, et al.
Pubblicazione: (2021)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

On Small Types in Univalent Foundations
di: de Jong, Tom, et al.
Pubblicazione: (2021)

Universal Horn Sentences and the Joint Embedding Property
di: Bodirsky, Manuel, et al.
Pubblicazione: (2021)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)