On star expressions and completeness theorems
type: Item
instance of: scholarly article
title: On star expressions and completeness theorems
author: Q6061672
author: Jurriaan Rot
author: Alexandra Silva
publication date: 2024-12-17T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7959055
MaRDI profile type: Publication
cites work: Q4680360
cites work: A characterization of regular expressions under bisimulation
cites work: Digraphs
cites work: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
cites work: Derivatives of Regular Expressions
cites work: A coalgebraic approach to Kleene algebra with tests
cites work: Termination modulo equations by abstract commutation with an application to iteration
cites work: A coalgebraic decision procedure for NetKAT
cites work: A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
cites work: Covarieties and complete covarieties
cites work: A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
cites work: Introduction to coalgebra. Towards mathematics of states and observation
cites work: Concurrent Kleene Algebra with Tests
cites work: On the structure of categories of coalgebras
cites work: Concurrent Kleene algebra: free model and completeness
cites work: Q4362921
cites work: A complete inference system for a class of regular behaviours
cites work: Q4251915
cites work: Universal coalgebra: A theory of systems
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
cites work: Non-deterministic Kleene coalgebras
DOI: 10.4204/EPTCS.351.15
description: scientific article; zbMATH DE number 7959055