Kleene Algebra with Converse

DOI10.1007/978-3-319-06251-8_7zbMath1345.68222OpenAlexW155615416MaRDI QIDQ5410480

Damien Pous, Paul Brunet

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_7

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Algebraic theory of languages and automata (68Q70) Equational classes, universal algebra in model theory (03C05)

Related Items (1)

Algorithms for Kleene algebra with converse

This page was built for publication: Kleene Algebra with Converse