:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Dahlqvist, Fredrik, Neves, Renato
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science 68Q01 F.3.0
Accesso online:	https://arxiv.org/abs/2208.14356
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Complete V-Equational System for Graded lambda-Calculus
di: Dahlqvist, Fredrik, et al.
Pubblicazione: (2023)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
di: Galmiche, Didier, et al.
Pubblicazione: (2024)

Algebraic Proof Theory for Infinitary Action Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

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

Deciding subspace reachability problems with application to Skolem's Problem
di: Everett, Samuel
Pubblicazione: (2024)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
di: Pradic, Cécilia
Pubblicazione: (2024)

E-variables and tests of randomness for distribution classes
di: Potapov, Georgii, et al.
Pubblicazione: (2026)

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Cogent argument extensions are weakly admissible but not vice versa
di: Bodanza, Gustavo
Pubblicazione: (2025)

Principal Types as Partial Involutions
di: Honsell, Furio, et al.
Pubblicazione: (2024)

The Maude strategy language
di: Eker, Steven, et al.
Pubblicazione: (2024)

Compositionality in Coalgebraic Trace Semantics
di: Jourde, Robin, et al.
Pubblicazione: (2026)

Topological Logics with Connectedness over Euclidean Spaces
di: Kontchakov, Roman, et al.
Pubblicazione: (2011)

The Fractal Logic of Phi-adic Recursion
di: Rosko, Milan
Pubblicazione: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

A Complete Fragment of LTL(EB)
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

Commutative N-polyregular functions
di: Lopez, Aliaume
Pubblicazione: (2024)

Matching logic -- a new axiomatization
di: Leuştean, Laurenţiu, et al.
Pubblicazione: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
di: Spreen, Dieter
Pubblicazione: (2025)

Notes on applicative matching logic
di: Leuştean, Laurenţiu
Pubblicazione: (2025)

Ordinal measures of the set of finite multisets
di: Vialard, Isa
Pubblicazione: (2023)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
di: Haak, Anselm, et al.
Pubblicazione: (2026)

On the cartesian product of well-orderings
di: Vialard, Isa
Pubblicazione: (2022)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
di: Salvadori, Daniel Augusto Rizzi
Pubblicazione: (2025)

Strategies, model checking and branching-time properties in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Model checking strategy-controlled systems in rewriting logic
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Metalevel transformation of strategies
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
di: Lela, Marko
Pubblicazione: (2025)

On Chaitin's Heuristic Principle and Halting Probability
di: Salehi, Saeed
Pubblicazione: (2023)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

From Gödel incompleteness to the consistency of circuit lower bounds
di: Atserias, Albert, et al.
Pubblicazione: (2026)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
di: Bruse, Florian, et al.
Pubblicazione: (2026)