| 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 | 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] |