Buchumschlag

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nakamura, Yoshiki, Sin'ya, Ryoma
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

Morita Rigidity for Kleene Algebras
von: Serafin, Luke
Veröffentlicht: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
von: Sedlár, Igor
Veröffentlicht: (2024)

Paraconsistent Relations as a Variant of Kleene Algebras
von: Cunha, Juliana, et al.
Veröffentlicht: (2025)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

An Elementary Proof of the FMP for Kleene Algebra
von: Kappé, Tobias
Veröffentlicht: (2022)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
von: Nakamura, Yoshiki
Veröffentlicht: (2024)

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
von: Kappé, Tobias, et al.
Veröffentlicht: (2023)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
von: Nakamura, Yoshiki
Veröffentlicht: (2026)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
von: Verscht, Lena, et al.
Veröffentlicht: (2024)

Measure-Theoretic Aspects of Star-Free and Group Languages
von: Sin'ya, Ryoma, et al.
Veröffentlicht: (2025)

Guarded Negation Transitive Closure Logic
von: Figueira, Diego, et al.
Veröffentlicht: (2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
von: Ong, Shawn, et al.
Veröffentlicht: (2025)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

Continuous Algebras with Hypotheses
von: Mulder, Lukas, et al.
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

The Algebra of Parity Games
von: Piedeleu, Robin
Veröffentlicht: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2024)

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Linear Realisability and Implicative Algebras
von: Lucquin, Alexandre, et al.
Veröffentlicht: (2026)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Induction rules for Transition Algebra
von: Hashimoto, Go
Veröffentlicht: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
von: Li, Augustus Haoyang
Veröffentlicht: (2026)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

On Deciding Constant Runtime of Linear Loops
von: Frohn, Florian, et al.
Veröffentlicht: (2026)