:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Konečný, Michal, Park, Sewon, Thies, Holger
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2410.13508
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Formalization of Amicable Numbers Theory
por: Chen, Zhipeng, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Observation algebras: Heyting algebra over coherence spaces
por: Brunet, Paul
Publicado: (2025)

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

Meta-Modelling in Formal Concept Analysis
por: Wang, Yingjian
Publicado: (2024)

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

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

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

The complete classification for quantified equality constraints
por: Zhuk, Dmitriy, et al.
Publicado: (2021)

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

Exact Exploration
por: Blass, Andreas, et al.
Publicado: (2024)

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

Minimally Comparing Relational Abstract Domains
por: Ballou, Kenny, et al.
Publicado: (2023)

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

Formalizing equivalences without tears
por: de Jong, Tom
Publicado: (2024)

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