Regular Languages Are Church-Rosser Congruential.
Saved in:
| Title: | Regular Languages Are Church-Rosser Congruential. |
|---|---|
| Authors: | DIEKERT, VOLKER1 diekert@fmi.uni-stuttgart.de, KUFLEITNER, MANFRED1, REINHARDT, KLAUS2, WALTER, TOBIAS1 |
| Source: | Journal of the ACM. Oct2015, Vol. 62 Issue 5, p39-39:20. 20p. |
| Database: | Mathematics Source |
| ISSN: | 00045411 |
|---|---|
| DOI: | 10.1145/2808227 |