Copertina

Non-commutative linear logic fragments with sub-context-free complexity

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nishimiya, Yusaku, Taniguchi, Masaya
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Computational Complexity Formal Languages and Automata Theory Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
di: Dartois, Luc, et al.
Pubblicazione: (2026)

Nets-within-Nets through the Lens of Data Nets
di: Di Cosmo, Francesco, et al.
Pubblicazione: (2025)

On Higher Order Busy Beaver Function
di: Cao, Zining
Pubblicazione: (2025)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
di: Shakiba, Yousef, et al.
Pubblicazione: (2025)

Reachability in Geometrically $d$-Dimensional VASS
di: Fu, Yuxi, et al.
Pubblicazione: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
di: Göller, Stefan, et al.
Pubblicazione: (2023)

Stochastic Process Turing Machines
di: Wolpert, David, et al.
Pubblicazione: (2024)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Achilleos, Antonis, et al.
Pubblicazione: (2024)

The Complexity of Nested Reset Counter Systems
di: Balasubramanian, A. R., et al.
Pubblicazione: (2026)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Positive and monotone fragments of FO and LTL
di: Kuperberg, Denis, et al.
Pubblicazione: (2024)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
di: Caminati, Marco B.
Pubblicazione: (2024)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
di: Halftermeyer, Pierre
Pubblicazione: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Logics for Context-free Hyperproperties
di: Winter, Sarah, et al.
Pubblicazione: (2026)

Message complexity for unary multiautomata systems
di: Choffrut, Christian
Pubblicazione: (2024)

A Framework for Universality in Physics, Computer Science, and Beyond
di: Gonda, Tomáš, et al.
Pubblicazione: (2023)

CMSO-transducing tree-like graph decompositions
di: Campbell, Rutger, et al.
Pubblicazione: (2024)

Weighted basic parallel processes and combinatorial enumeration
di: Clemente, Lorenzo
Pubblicazione: (2024)

Slightly Non-Linear Higher-Order Tree Transducers
di: Nguyên, Lê Thành Dũng, et al.
Pubblicazione: (2024)

A positional $\mathbfΠ^0_3$-complete objective
di: Casares, Antonio, et al.
Pubblicazione: (2024)

Solvability of orbit-finite systems of linear equations
di: Ghosh, Arka, et al.
Pubblicazione: (2022)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
di: Moreau, Vincent, et al.
Pubblicazione: (2023)

A formal query language and automata model for aggregation in complex event recognition
di: Bourhis, Pierre, et al.
Pubblicazione: (2026)

The commutativity problem for effective varieties of formal series, and applications
di: Clemente, Lorenzo
Pubblicazione: (2025)

The Queue Automaton Revisited
di: Baeten, Jos C. M., et al.
Pubblicazione: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Determinization of Min-Plus Weighted Automata is Decidable
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

Unreliability in Practical Subclasses of Communicating Systems
di: Suresh, Amrita, et al.
Pubblicazione: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

Parameterized Verification of Quantum Circuits (Technical Report)
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2025)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
di: Li, Junle, et al.
Pubblicazione: (2025)

DTMC Model Checking by Path Abstraction Revisited (extended version)
di: Hartmanns, Arnd, et al.
Pubblicazione: (2025)