A formal exploration of nominal Kleene algebra

DOI10.4230/LIPICS.MFCS.2016.22MaRDI QIDQ4608581zbMATH OpenFDO

Authors Paul Brunet, Damien Pous

Publication date 21 March 2018

zbMATH Keywords

CoqKleene algebranominal setsequational theory

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)

Recommendations

• Nominal Kleene coalgebra
• Completeness and incompleteness in nominal Kleene algebra
• Completeness and incompleteness in nominal Kleene algebra
• Algebraic Methodology and Software Technology
• A coalgebraic approach to Kleene algebra with tests

Cited in

(7)

• scientific article; zbMATH DE number 7561600 (Why is no real title available?)
• Reversible Kleene lattices
• A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
• Capture-avoiding substitution as a nominal algebra
• Completeness and incompleteness in nominal Kleene algebra
• Completeness and incompleteness in nominal Kleene algebra
• Nominal Kleene coalgebra

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A formal exploration of nominal Kleene algebra

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