scientific article; zbMATH DE number 6851855

DOI10.4230/LIPICS.MFCS.2016.22zbMath1398.68350MaRDI QIDQ4608581

Paul Brunet, Damien Pous

Publication date: 21 March 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

equational theoryCoqKleene algebranominal sets

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Reversible Kleene lattices

Uses Software

• Unnamed Item

This page was built for publication: