Buchumschlag

On the relative asymptotic expressivity of inference frameworks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Koponen, Vera, Weitkämper, Felix
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science 03C13, 68T27, 68Q87 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A convergence law for continuous logic and continuous structures with finite domains
von: Koponen, Vera
Veröffentlicht: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
von: Koponen, Vera, et al.
Veröffentlicht: (2023)

Domain size asymptotics for Markov logic networks
von: Koponen, Vera
Veröffentlicht: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
von: Di Lavore, Elena, et al.
Veröffentlicht: (2026)

Random expansions of finite structures with bounded degree
von: Koponen, Vera
Veröffentlicht: (2024)

Random expansions of trees with bounded height
von: Koponen, Vera, et al.
Veröffentlicht: (2024)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

On Woolhouse's Cotton-Spinning Problem
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Behavioural Conformances based on Lax Couplings
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
von: Golovach, Petr A., et al.
Veröffentlicht: (2022)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Polynomial definability in constraint languages with few subpowers
von: Bulín, Jakub, et al.
Veröffentlicht: (2023)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Relative Constructibility via Generalised Sequential Algorithms
von: Lau, Desmond
Veröffentlicht: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
von: Huseynzade, Rafig
Veröffentlicht: (2025)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
von: Donadello, Ivan, et al.
Veröffentlicht: (2024)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
von: Kuang, Qipeng, et al.
Veröffentlicht: (2025)

Extended Nullstellensatz proof systems
von: Krajicek, Jan
Veröffentlicht: (2023)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
von: Wild, Paul, et al.
Veröffentlicht: (2025)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
von: Bannach, Max, et al.
Veröffentlicht: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Strategies, model checking and branching-time properties in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Model checking strategy-controlled systems in rewriting logic
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)