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
1
0
0
0