Equational theory of PCoR* proven EXPSPACE-complete

The equational theory of PCoR* has been proven EXPSPACE-complete, according to the announcement. getnews.me/equational-theory-of-pco... #equationaltheory #pcor #complexity