Regular Languages Are Church-Rosser Congruential

Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter. Regular Languages Are Church-Rosser Congruential. Journal of the ACM, 62(5):39, 2015. [doi]

Authors

Volker Diekert

This author has not been identified. Look up 'Volker Diekert' in Google

Manfred Kufleitner

This author has not been identified. Look up 'Manfred Kufleitner' in Google

Klaus Reinhardt

This author has not been identified. Look up 'Klaus Reinhardt' in Google

Tobias Walter

This author has not been identified. Look up 'Tobias Walter' in Google