A formal exploration of nominal Kleene algebra

DOI10.4230/LIPICS.MFCS.2016.22zbMATH Open1398.68350MaRDI QIDQ4608581FDOQ4608581

Authors: Paul Brunet, Damien Pous 

Publication date: 21 March 2018

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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

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)