Copertina

When are two algorithms the same? Towards addressing Hilbert's 24th problem

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Doubrovinski, Konstantin
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

Did Turing prove the undecidability of the halting problem?
di: Hamkins, Joel David, et al.
Pubblicazione: (2024)

An order out of nowhere: a new algorithm for infinite-domain CSPs
di: Mottet, Antoine, et al.
Pubblicazione: (2023)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
di: Grilletti, Gianluca, et al.
Pubblicazione: (2024)

Basic interactive algorithms: Preview
di: Gurevich, Yuri
Pubblicazione: (2025)

When Darwin met Ianus: dichotomies of expressivity
di: Brunar, Johanna, et al.
Pubblicazione: (2025)

When Are Prime Formulae Characteristic?
di: Aceto, Luca, et al.
Pubblicazione: (2024)

On the algorithmic structure of Dialectica realisers
di: Barbarossa, Davide, et al.
Pubblicazione: (2025)

Alignment Monitoring
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

When do modal definability and preservation theorems transfer to the finite?
di: van Benthem, Johan, et al.
Pubblicazione: (2026)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
di: Mottet, Antoine
Pubblicazione: (2025)

Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2026)

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
di: Sawasaki, Takahiro
Pubblicazione: (2024)

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

A note on Grigoriev and Zaitsev's system CNL$^2_4$
di: Omori, Hitoshi, et al.
Pubblicazione: (2024)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
di: Ho, Hsi-Ming, et al.
Pubblicazione: (2024)

Singleton algorithms for the Constraint Satisfaction Problem
di: Zhuk, Dmitriy
Pubblicazione: (2025)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
di: Jansen, David N., et al.
Pubblicazione: (2019)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
di: Kop, Cynthia, et al.
Pubblicazione: (2025)

Approaching the Conway-99 problem using SAT solvers
di: Keramatipour, Ali
Pubblicazione: (2026)

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

The interpolant existence problem for weak K4 and difference logic
di: Kurucz, Agi, et al.
Pubblicazione: (2024)

Towards an Analysis of Proofs in Arithmetic
di: Leitsch, Alexander, et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation
di: Marcinkowski, Jerzy, et al.
Pubblicazione: (2025)

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
di: Li, Xianzhiyu, et al.
Pubblicazione: (2024)

Towards benchmarking of Solidity verification tools
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

Toward a formalization of artifacts in GFO
di: Fiegenbaum, Hanna
Pubblicazione: (2024)

Completeness of two fragments of a logic for conditional strategic reasoning
di: Li, Yinfeng, et al.
Pubblicazione: (2024)

Proceedings 40th International Conference on Logic Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

When Agda met Vampire
di: Šinkarovs, Artjoms, et al.
Pubblicazione: (2026)

Towards Term-based Verification of Diagrammatic Equivalence
di: Cailler, Julie, et al.
Pubblicazione: (2026)

On two-variable guarded fragment logic with expressive local Presburger constraints
di: Lu, Chia-Hsuan, et al.
Pubblicazione: (2022)

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

Towards Language Model Guided TLA+ Proof Automation
di: Zhou, Yuhao, et al.
Pubblicazione: (2025)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
di: Brunar, Johanna, et al.
Pubblicazione: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
di: Bizzaro, Davide, et al.
Pubblicazione: (2024)

Towards a Proof System for Probabilistic Dynamic Logic
di: Johnsen, Einar Broch, et al.
Pubblicazione: (2024)