Copertina

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Konečný, Michal, Park, Sewon, Thies, Holger
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Extracting efficient exact real number computation from proofs in constructive type theory
di: Konečný, Michal, et al.
Pubblicazione: (2022)

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)

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

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
di: de Lima, Thaynara Arielly, et al.
Pubblicazione: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
di: Rojas, Diego A.
Pubblicazione: (2024)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

Formal Verification of the Empty Hexagon Number
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

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

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

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
di: Gaßner, Christine
Pubblicazione: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
di: Park, Sewon, et al.
Pubblicazione: (2016)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
di: Pąk, Karol, et al.
Pubblicazione: (2024)

A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)

Hybrid Modal Operators for Definite Descriptions
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2024)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
di: Wrona, Michal
Pubblicazione: (2024)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
di: Ambridge, Todd Waugh
Pubblicazione: (2024)

Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

A note on Stone-Čech compactification in ZFA
di: Przybyłek, Michał R.
Pubblicazione: (2023)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
di: Cerna, David M., et al.
Pubblicazione: (2022)

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

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2025)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
di: Biernacka, Małgorzata, et al.
Pubblicazione: (2022)

Observation algebras: Heyting algebra over coherence spaces
di: Brunet, Paul
Pubblicazione: (2025)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
di: Ratschan, Stefan
Pubblicazione: (2012)

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

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
di: Kikot, Stanislav, et al.
Pubblicazione: (2017)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

The Characterization of Abstract Truth and its Factorization
di: Kent, Robert E.
Pubblicazione: (2024)

Minimally Comparing Relational Abstract Domains
di: Ballou, Kenny, et al.
Pubblicazione: (2023)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
di: Brown, Chad E., et al.
Pubblicazione: (2025)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

Meta-Modelling in Formal Concept Analysis
di: Wang, Yingjian
Pubblicazione: (2024)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
di: Bayer, Jonas, et al.
Pubblicazione: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
di: ter Beek, Maurice H., et al.
Pubblicazione: (2026)