![]() | ![]() |
1994 | ||
---|---|---|
6 | Craig C. Squier, Friedrich Otto, Yuji Kobayashi: A Finiteness Condition for Rewriting Systems. Theor. Comput. Sci. 131(2): 271-294 (1994) | |
1987 | ||
5 | Craig C. Squier, Friedrich Otto: Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems. RTA 1987: 74-82 | |
4 | Craig C. Squier: Units of Special Church-Rosser Monoids. Theor. Comput. Sci. 49: 13-22 (1987) | |
1984 | ||
3 | EE | Ronald V. Book, Craig C. Squier: Almost all one-rule thue systems have decidable word problems. Discrete Mathematics 49(3): 237-240 (1984) |
2 | Jürgen Avenhaus, Ronald V. Book, Craig C. Squier: On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids. ITA 18(1): 47-52 (1984) | |
1982 | ||
1 | Craig C. Squier, Celia Wrathall: A Note on Representations of a Certain Monoid. Theor. Comput. Sci. 17: 229-231 (1982) |
1 | Jürgen Avenhaus | [2] |
2 | Ronald V. Book | [2] [3] |
3 | Yuji Kobayashi | [6] |
4 | Friedrich Otto | [5] [6] |
5 | Celia Wrathall | [1] |