Copertina

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gallego-Hernández, Jorge, Mansutti, Alessio
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

MCSAT Modulo Transcendental Arithmetics
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2026)

Optimization Modulo Integer Linear-Exponential Programs
di: Hitarth, S, et al.
Pubblicazione: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

The Existential Theory of the Reals with Summation Operators
di: Bläser, Markus, et al.
Pubblicazione: (2024)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
di: Haase, Christoph, et al.
Pubblicazione: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
di: Sierra-Aristizabal, Manuel
Pubblicazione: (2023)

An Imperative Language for Verified Exact Real-Number Computation
di: Bauer, Andrej, et al.
Pubblicazione: (2024)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
di: Brough, Jackson
Pubblicazione: (2026)

Existential Positive Transductions of Sparse Graphs
di: Mählmann, Nikolas, et al.
Pubblicazione: (2026)

Finite Axiomatizability by Disjunctive Existential Rules
di: Calautti, Marco, et al.
Pubblicazione: (2025)

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

CTL* Verification and Synthesis using Existential Horn Clauses
di: Carelli, Mishel, et al.
Pubblicazione: (2024)

The Existential Theory of the Reals as a Complexity Class: A Compendium
di: Schaefer, Marcus, et al.
Pubblicazione: (2024)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
di: Nakamura, Yoshiki
Pubblicazione: (2023)

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

Existential Notation3 Logic
di: Arndt, Dörthe, et al.
Pubblicazione: (2023)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
di: Gerlach, Lukas
Pubblicazione: (2026)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

Automata for Enriched Trees and Applications
di: Blumensath, Achim
Pubblicazione: (2025)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2021)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
di: Karimov, Toghrul
Pubblicazione: (2024)

An Axiomatic Theory for Reversible Computation
di: Lanese, Ivan, et al.
Pubblicazione: (2023)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

Univalent Enriched Categories and the Enriched Rezk Completion
di: van der Weide, Niels
Pubblicazione: (2024)

Timed Strategies for Real-Time Rewrite Theories
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Integer Reasoning Modulo Different Constants in SMT
di: Pertseva, Elizaveta, et al.
Pubblicazione: (2025)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
di: Ratschan, Stefan
Pubblicazione: (2023)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
di: Fandinno, Jorge, et al.
Pubblicazione: (2026)

Modular Automatic Complexity Analysis of Recursive Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2025)

Targeting Completeness: Automated Complexity Analysis of Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2024)

Existential Definability over the Subword Ordering
di: Baumann, Pascal, et al.
Pubblicazione: (2022)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)