Concepedia

Craig C. Squier

CC

13

Publications

795

Citations

11

H-Index

1984

Active since

Affiliations

Binghamton University(Current)

Craig C. Squier is an author at Binghamton University specializing in representation theory, education, and automated reasoning.

Top concepts

Representation TheoryEducationSpectral TheoryAutomated ReasoningGeometric Group TheorySemanticsEngineeringLinguisticsLinear GroupsFormal Methods

Publications per year

1984–2001

13

Publications

13

Groups of piecewise linear homeomorphisms of the real line

Matthew G. Brin, Craig C. Squier · Inventiones mathematicae · 1985 · 232 citations

Geometric Group Theory, Lie Group, Ordered Group +2

Word problems and a homological finiteness condition for monoids

Craig C. Squier · Journal of Pure and Applied Algebra · 1987 · 153 citations

Combinatorics On Word, Higher Category Theory, Universal Algebra +2

A finiteness condition for rewriting systems

Craig C. Squier, Friedrich Otto, Yuji Kobayashi · Theoretical Computer Science · 1994 · 110 citations

Engineering, Finiteness Condition, Automated Reasoning +5

The Burau representation is unitary

Craig C. Squier · Proceedings of the American Mathematical Society · 1984 · 72 citations

Spectral Theory, Lie Group, Braid Group +7

The algebra of conditional logic

Fernando Guzm�n, Craig C. Squier · Algebra Universalis · 1990 · 46 citations

Algebraic Logic, Automated Reasoning, Classical Logic +2

Rows per page

1–5 of 13