Logo Language algebra

Papers

expand/reduce
Conference paper
Reversible Kleene lattices. (2017)
In MFCS.

Talks

expand/reduce
c The theory of languages [slides]
Highlights, September 2017
c The Equational Theory of Algebras of Languages [slides]
BLAST, August 2017
c The Equational Theory of Algebras of Languages [slides]
RAMiCS, May 2017 (Special session on mechanised reasoning)
c The Equational Theory of Algebras of Languages [slides]
PPLV Seminar, April 2017

Documents

expand/reduce
logo
Language algebra.
(webpage)