:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Affeldt, Reynald, Stone, Zachary
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2403.18229
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Taming Differentiable Logics with Coq Formalisation
di: Affeldt, Reynald, et al.
Pubblicazione: (2024)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2023)

A Foundation for Differentiable Logics using Dependent Type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
di: Florath, Andreas
Pubblicazione: (2024)

Teaching Divisibility and Binomials with Coq
di: Boldo, Sylvie, et al.
Pubblicazione: (2024)

Maths with Coq in L1, a pedagogical experiment
di: Kerjean, Marie, et al.
Pubblicazione: (2025)

A Coq Formalization of Unification Modulo Exclusive-Or
di: Xu, Yichi, et al.
Pubblicazione: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
di: Cao, Qinxiang, et al.
Pubblicazione: (2024)

A beginner guide to Iris, Coq and separation logic
di: Dietrich, Elizabeth
Pubblicazione: (2021)

Towards Automatic Transformations of Coq Proof Scripts
di: Magaud, Nicolas
Pubblicazione: (2024)

Finite element method. Detailed proofs to be formalized in Coq
di: Clément, François, et al.
Pubblicazione: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
di: Soldevila, Mallku, et al.
Pubblicazione: (2024)

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

CoqPilot, a plugin for LLM-based generation of proofs
di: Kozyrev, Andrei, et al.
Pubblicazione: (2024)

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

Towards a Coq-verified Chain of Esterel Semantics
di: Berry, Gérard, et al.
Pubblicazione: (2019)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)

A Graphical Interface for Category Theory Proofs in Coq
di: Chabassier, Luc
Pubblicazione: (2025)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
di: Ma, Zhifeng, et al.
Pubblicazione: (2024)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
di: Nechesov, Andrey
Pubblicazione: (2024)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
di: Tang, Xichen
Pubblicazione: (2025)

Overview and Roadmap of Team Automata
di: ter Beek, Maurice H., et al.
Pubblicazione: (2025)

Advances in Algorithmic Meta Theorems
di: Siebertz, Sebastian, et al.
Pubblicazione: (2024)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
di: Batz, Kevin, et al.
Pubblicazione: (2025)

A Dichotomy Theorem for Ordinal Ranks in MSO
di: Niwiński, Damian, et al.
Pubblicazione: (2025)

A No-go Theorem for Coalgebraic Product Construction
di: Kori, Mayuko, et al.
Pubblicazione: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
di: Koul, Prajval, et al.
Pubblicazione: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Ruitenburg's Theorem Mechanized and Contextualized
di: Litak, Tadeusz
Pubblicazione: (2024)

Lovász Theorems for Modal Languages
di: Comer, Jesse
Pubblicazione: (2024)

Algorithmic Perspective on Toda's Theorem
di: Fried, Dror, et al.
Pubblicazione: (2025)

Preservation Theorems in Semiring Semantics
di: Brinke, Sophie, et al.
Pubblicazione: (2026)

Locality Theorems in Semiring Semantics
di: Bizière, Clotilde, et al.
Pubblicazione: (2023)

Codd's Theorem for Databases over Semirings
di: Badia, Guillermo, et al.
Pubblicazione: (2025)

Generating Theorems by Generating Proof Structures
di: Wernhard, Christoph
Pubblicazione: (2026)

A General Completeness Theorem for Skip-free Star Algebras
di: Kappé, Tobias, et al.
Pubblicazione: (2025)

On Randomized Computational Models and Complexity Classes: a Historical Overview
di: Antonelli, Melissa, et al.
Pubblicazione: (2024)

Equational Theorem Proving for Clauses over Strings
di: Kim, Dohan
Pubblicazione: (2023)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
di: De Mol, Liesbeth, et al.
Pubblicazione: (2025)