Craig C. Squier

Publication Activity (10 Years)

Years Active: 1982-1994
Publications (10 Years): 0

Publications

Craig C. Squier, Friedrich Otto, Yuji Kobayashi
A Finiteness Condition for Rewriting Systems. Theor. Comput. Sci. 131 (2) (1994)
Matthew G. Brin, David E. Rauschenberg, Craig C. Squier
. J. Graph Theory 13 (1) (1989)
Matthew G. Brin, Craig C. Squier
. Eur. J. Comb. 9 (5) (1988)
Craig C. Squier
Units of Special Church-Rosser Monoids. Theor. Comput. Sci. 49 (1987)
Craig C. Squier, Friedrich Otto
Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems. RTA (1987)
Ronald V. Book, Craig C. Squier
Almost all one-rule thue systems have decidable word problems. Discret. Math. 49 (3) (1984)
Jürgen Avenhaus, Ronald V. Book, Craig C. Squier
On Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids. RAIRO Theor. Informatics Appl. 18 (1) (1984)
Craig C. Squier, Celia Wrathall
A Note on Representations of a Certain Monoid. Theor. Comput. Sci. 17 (1982)