Cover Image

Kleene Algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kappé, Tobias, Silva, Alexandra, Wagemaker, Jana
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Partial Reductions for Kleene Algebra with Linear Hypotheses
by: Chung, Liam, et al.
Published: (2026)

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

An Elementary Proof of the FMP for Kleene Algebra
by: Kappé, Tobias
Published: (2022)

StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Completeness Theorems for Kleene algebra with tests and top
by: Pous, Damien, et al.
Published: (2023)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Pous, Damien, et al.
Published: (2022)

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

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

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

NEST: Network Enforced Session Types (Technical Report)
by: Larsen, Jens Kanstrup, et al.
Published: (2026)

Compressing Structured Tensor Algebra
by: Ghorbani, Mahdi, et al.
Published: (2024)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Continuous Algebras with Hypotheses
by: Mulder, Lukas, et al.
Published: (2026)

Flattening subtyping by eta expansion
by: Dunfield, Jana
Published: (2024)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
by: Bachmann, Clemens, et al.
Published: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
by: Ong, Shawn, et al.
Published: (2025)

Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages
by: Hopkins, Mark, et al.
Published: (2023)

Universal Algebra and Effectful Computation
by: Rajesh, Nayan
Published: (2025)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

CuTe Layout Representation and Algebra
by: Cecka, Cris
Published: (2026)

A General Completeness Theorem for Skip-free Star Algebras
by: Kappé, Tobias, et al.
Published: (2025)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
by: Yuan, Charles
Published: (2025)

Active Learning of Symbolic NetKAT Automata
by: Moeller, Mark, et al.
Published: (2025)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
by: Chougule, Atharva, et al.
Published: (2026)

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

Combinatorial manifolds and Kleene's theorem, homotopically
by: Chamoun, Yorgo
Published: (2026)

Kleene Theorem for Higher-Dimensional Automata
by: Fahrenberg, Uli, et al.
Published: (2022)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
by: Acevedo, Emmanuel Suárez, et al.
Published: (2026)

Monk: Opportunistic Scheduling to Delay Horizontal Scaling
by: Shimchenko, Marina, et al.
Published: (2025)

Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
by: Shimchenko, Marina, et al.
Published: (2024)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
by: Geißler, Dominik, et al.
Published: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
by: Geißler, Dominik, et al.
Published: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)