47 citations · 159 across the 27 of their papers we have counts for
1 paper · 2 filters
Mikołaj Bojanczyk, Stanisław Szawiel, Marek Zawadowski
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.