Buchumschlag

Logic and Computation through the Lens of Semirings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barlag, Timon, Fröhlich, Nicolas, Hankala, Teemu, Hannula, Miika, Hirvonen, Minna, Holzapfel, Vivian, Kontinen, Juha, Meier, Arne, Strieker, Laura
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Computational Complexity
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logical Approaches to Non-deterministic Polynomial Time over Semirings
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Aspects of Coherence in Dependence Logic
von: Barlag, Timon, et al.
Veröffentlicht: (2026)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

Parameterised Complexity of Consistent Query Answering via Graph Representations
von: Hankala, Teemu, et al.
Veröffentlicht: (2024)

Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
von: Antonelli, Melissa, et al.
Veröffentlicht: (2025)

Implication Problems over Positive Semirings
von: Hirvonen, Minna
Veröffentlicht: (2025)

Graph Neural Networks and Arithmetic Circuits
von: Barlag, Timon, et al.
Veröffentlicht: (2024)

Recurrent Graph Neural Networks and Arithmetic Circuits
von: Barlag, Timon, et al.
Veröffentlicht: (2026)

Fagin's Theorem for Semiring Turing Machines
von: Badia, Guillermo, et al.
Veröffentlicht: (2025)

A SUBSET-SUM Characterisation of the A-Hierarchy
von: Gutleben, Jan, et al.
Veröffentlicht: (2024)

When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
von: Krebs, Andreas, et al.
Veröffentlicht: (2025)

Temporal Team Semantics Revisited
von: Gutsfeld, Jens Oliver, et al.
Veröffentlicht: (2021)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2026)

Independence Under Incomplete Information
von: Hannula, Miika, et al.
Veröffentlicht: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
von: Hirvonen, Minna
Veröffentlicht: (2023)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
von: Bournez, Olivier, et al.
Veröffentlicht: (2026)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
von: Fichte, Johannes K., et al.
Veröffentlicht: (2024)

Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
von: Barlag, Timon, et al.
Veröffentlicht: (2025)

Limits of Deep Learning: Sequence Modeling through the Lens of Complexity Theory
von: Zubić, Nikola, et al.
Veröffentlicht: (2024)

Finite Variable Counting Logics with Restricted Requantification
von: Raßmann, Simon, et al.
Veröffentlicht: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

The Complexity and Expressive Power of Second-Order Extended Logic
von: Feng, Shiguang, et al.
Veröffentlicht: (2022)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
von: Yamakami, Tomoyuki
Veröffentlicht: (2025)

Nets-within-Nets through the Lens of Data Nets
von: Di Cosmo, Francesco, et al.
Veröffentlicht: (2025)

Specification and Automatic Verification of Computational Reductions
von: Grange, Julien, et al.
Veröffentlicht: (2024)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Proof complexity of positive branching programs
von: Das, Anupam, et al.
Veröffentlicht: (2021)

Parallelism and Adaptivity in Student-Teacher Witnessing
von: Ježil, Ondřej, et al.
Veröffentlicht: (2026)

Effective Versions of Strong Measure Zero
von: Rayman, Matthew
Veröffentlicht: (2025)

The complete classification for quantified equality constraints
von: Zhuk, Dmitriy, et al.
Veröffentlicht: (2021)

On the consistency of stronger lower bounds for NEXP
von: Thapen, Neil
Veröffentlicht: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
von: Zhuk, Dmitriy
Veröffentlicht: (2024)