:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Enqvist-Pyk, Sebastian
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2603.14933
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computation by infinite descent made explicit
von: Enqvist, Sebastian
Veröffentlicht: (2025)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
von: Maire, Gregoire, et al.
Veröffentlicht: (2025)

Herbrand's Theorem in Refutation Schemata
von: Leitsch, Alexander, et al.
Veröffentlicht: (2024)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

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

Univalence without function extensionality
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

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

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

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

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

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (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)
von: Álvarez, Lucía Gómez, et al.
Veröffentlicht: (2025)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

On Kleisli liftings and decorated trace semantics
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2024)

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Failure divergence refinement for Event-B
von: Stock, Sebastian, et al.
Veröffentlicht: (2025)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Modulo quantifiers over functional vocabularies extending addition
von: Baskar, A., et al.
Veröffentlicht: (2017)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
von: Lohrey, Markus, et al.
Veröffentlicht: (2025)

MARS: A neurosymbolic approach for interpretable drug discovery
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2024)

From MBQI to Enumerative Instantiation and Back
von: Dančo, Marek, et al.
Veröffentlicht: (2025)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
von: Suilen, Marnix, et al.
Veröffentlicht: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2025)

Robust Almost-Sure Reachability in Multi-Environment MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2023)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

From Differential Linear Logic to Coherent Differentiation
von: Ehrhard, Thomas
Veröffentlicht: (2024)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)