scientific article; zbMATH DE number 7362722

MaRDI QIDQ4995358zbMATH OpenFDO

Authors Christian Wurm

Publication date 24 June 2021

Full work available at URL https://arxiv.org/abs/1408.5956, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2014.7

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Formal languages and automata (68Q45)

Recommendations

• Kleene algebra and modal logic
• On algebraic and logical specifications of classes of regular languages.
• On Kleene algebras
• scientific article; zbMATH DE number 988809
• Logic Meets Algebra: the Case of Regular Languages
• Boolean algebras of regular languages
• Boolean Algebras of Regular Languages
• scientific article; zbMATH DE number 1497854
• Kleene modules and linear languages

Cited in

(7)

• scientific article; zbMATH DE number 1670817 (Why is no real title available?)
• Symbolic algorithms for language equivalence and Kleene algebra with tests
• scientific article; zbMATH DE number 3909765 (Why is no real title available?)
• scientific article; zbMATH DE number 3918353 (Why is no real title available?)
• scientific article; zbMATH DE number 856945 (Why is no real title available?)
• Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
• A proof theory of right-linear ( -)grammars via cyclic proofs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995358)