:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Eberl, Matthias
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2501.05276
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Reflection Principle for Potential Infinite Models of Type Theory
por: Eberl, Matthias
Publicado: (2024)

Infinite trees
por: Goy, Alexandre
Publicado: (2025)

Computing with Infinite Objects: the Gray Code Case
por: Spreen, Dieter, et al.
Publicado: (2021)

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

Complexity of Linear Equations and Infinite Gadgets
por: Grebík, Jan, et al.
Publicado: (2025)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
por: Lorenzin, Antonio, et al.
Publicado: (2025)

Algorithmic Randomness for Infinite Time Register Machines
por: Carl, Merlin
Publicado: (2014)

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

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

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
por: Elad, Neta, et al.
Publicado: (2023)

Randomness and Degree Theory for Infinite Time Register Machines
por: Carl, Merlin
Publicado: (2015)

Space and Time Complexity for Infinite Time Turing Machines
por: Carl, Merlin
Publicado: (2019)

Infinite Cliques in Simple and Stable Graphs
por: Halevi, Yatir, et al.
Publicado: (2024)

Synthesis of Infinite State Systems
por: Drucker, Ohad, et al.
Publicado: (2025)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
por: Carl, Merlin
Publicado: (2015)

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
por: Carl, Merlin
Publicado: (2020)

Trace definability III: Infinite dimensional space over a model of $T$
por: Walsberg, Erik
Publicado: (2026)

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

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

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

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
por: Pettinau, Roberto, et al.
Publicado: (2026)

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

Cut-free Deductive System for Continuous Intuitionistic Logic
por: Geoffroy, Guillaume
Publicado: (2025)

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

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

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

On the Metric Temporal Logic for Continuous Stochastic Processes
por: Ikeda, Mitsumasa, et al.
Publicado: (2023)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
por: Heim, Philippe, et al.
Publicado: (2025)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
por: Heim, Philippe, et al.
Publicado: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
por: Andrews, Uri, et al.
Publicado: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
por: Jana, Purbita, et al.
Publicado: (2025)

Universality of Infinite Chess
por: Bolan, Matthew, et al.
Publicado: (2026)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
por: Demri, Stephane, et al.
Publicado: (2023)

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
por: Mihara, Tomoki
Publicado: (2026)

Infinite Hat Problems and Large Cardinals
por: Lietz, Andreas, et al.
Publicado: (2024)

Parikh Automata on Finite and Infinite Words
por: Grobler, Mario, et al.
Publicado: (2023)

Large Scale Geometries of Infinite Strings
por: Khoussainov, Bakhadyr, et al.
Publicado: (2019)

Beyond Decisiveness of Infinite Markov Chains
por: Barbot, Benoît, et al.
Publicado: (2024)

Epsilon Calculus Provides Shorter Cut-Free Proofs
por: Baaz, Matthias, et al.
Publicado: (2024)