Robuta

https://perso.ens-lyon.fr/damien.pous/symbolickat/ Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests Web appendix to the paper entitled `Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests' for language kleene algebra symbolic algorithms equivalence https://paul.brunet-zamansky.fr/talks/geocal14.html Deciding Kleene Algebra with converse is PSpace-complete - Paul Brunet’s Home Page kleene algebra pspace complete home page deciding converse https://library.imsc.res.in/bib/33727 Details for: Relations and Kleene Algebra in Computer Science › IMSc Library catalog kleene algebra computer science library catalog details relations