:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Enqvist-Pyk, Sebastian
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2603.14933
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Computation by infinite descent made explicit
por: Enqvist, Sebastian
Publicado: (2025)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
por: Maire, Gregoire, et al.
Publicado: (2025)

Herbrand's Theorem in Refutation Schemata
por: Leitsch, Alexander, et al.
Publicado: (2024)

A proof-theoretic approach to abstract interpretation
por: D'Silva, Vijay, et al.
Publicado: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
por: Powell, Thomas
Publicado: (2023)

Univalence without function extensionality
por: Cavallo, Evan, et al.
Publicado: (2026)

Strong negation in the theory of computable functionals TCF
por: Köpp, Nils, et al.
Publicado: (2022)

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

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

Complete representation by partial functions for signatures containing antidomain restriction
por: McLean, Brett
Publicado: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4
por: Mayeux, Arnaud, et al.
Publicado: (2026)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
por: Fuchser, Janne, et al.
Publicado: (2025)

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

Advances in Algorithmic Meta Theorems
por: Siebertz, Sebastian, et al.
Publicado: (2024)

From learnable objects to learnable random objects
por: Anderson, Aaron, et al.
Publicado: (2025)

Herbrandized modified realizability
por: Ferreira, Gilda, et al.
Publicado: (2024)

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

An implicit function theorem for the stream calculus
por: Boreale, Michele, et al.
Publicado: (2023)

Decomposition horizons and a characterization of stable hereditary classes of graphs
por: Braunfeld, Samuel, et al.
Publicado: (2022)

On first-order transductions of classes of graphs
por: Braunfeld, Samuel, et al.
Publicado: (2022)

Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)
por: Álvarez, Lucía Gómez, et al.
Publicado: (2025)

Existential completions and Herbrand's theorem
por: Wrigley, Joshua L.
Publicado: (2025)

On Kleisli liftings and decorated trace semantics
por: Luckhardt, Daniel, et al.
Publicado: (2024)

Small Test Suites for Active Automata Learning
por: Kruger, Loes, et al.
Publicado: (2024)

Relating Apartness and Branching Bisimulation Games
por: Rot, Jurriaan, et al.
Publicado: (2024)

Failure divergence refinement for Event-B
por: Stock, Sebastian, et al.
Publicado: (2025)

Characterizations of monadically dependent tree-ordered weakly sparse structures
por: Buffière, Hector, et al.
Publicado: (2026)

Modulo quantifiers over functional vocabularies extending addition
por: Baskar, A., et al.
Publicado: (2017)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
por: Lohrey, Markus, et al.
Publicado: (2025)

MARS: A neurosymbolic approach for interpretable drug discovery
por: DeLong, Lauren Nicole, et al.
Publicado: (2024)

From MBQI to Enumerative Instantiation and Back
por: Dančo, Marek, et al.
Publicado: (2025)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
por: Suilen, Marnix, et al.
Publicado: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
por: Andriushchenko, Roman, et al.
Publicado: (2024)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
por: Watanabe, Kazuki, et al.
Publicado: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
por: Andriushchenko, Roman, et al.
Publicado: (2025)

Robust Almost-Sure Reachability in Multi-Environment MDPs
por: van der Vegt, Marck, et al.
Publicado: (2023)

From Partial to Monadic: Combinatory Algebra with Effects
por: Cohen, Liron, et al.
Publicado: (2025)

From Differential Linear Logic to Coherent Differentiation
por: Ehrhard, Thomas
Publicado: (2024)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)