Rigidity is undecidable

Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski. Rigidity is undecidable. Mathematical Structures in Computer Science, 24(6), 2014. [doi]

Authors

Mikolaj Bojanczyk

This author has not been identified. Look up 'Mikolaj Bojanczyk' in Google

Stanislaw Szawiel

This author has not been identified. Look up 'Stanislaw Szawiel' in Google

Marek W. Zawadowski

This author has not been identified. Look up 'Marek W. Zawadowski' in Google