Concepedia

Stephen D. Comer

SD

Statistics

Publications

11

Citations

382

H-Index

11

Active since

1972

Affiliations

Citadel(Current)

Stephen D. Comer is an author at Citadel specializing in automated reasoning, formal methods, and information.

Top concepts

Automated ReasoningEducationEngineeringInformationLinguisticsLinear GroupsFormal MethodsSpectral TheoryComputer ScienceApproximation Theory

Publications per year

1972–2009

11

Publications

11

Polygroups derived from cogroups

Stephen D. Comer · Journal of Algebra · 1984 · 107 citations

Group Structure, Transformation Semigroups, Ordered Group

An Algebraic Approach to the Approximation of Information

Stephen D. Comer · Fundamenta Informaticae · 1991 · 82 citations

Engineering, Computational Complexity, Algebraic Approach +16

Combinatorial aspects of relations

Stephen D. Comer · Algebra Universalis · 1984 · 50 citations

Combinatorics On Word, Automated Reasoning, Combinatorial Aspects +3

Perfect extensions of regular double Stone algebras

Stephen D. Comer · Algebra Universalis · 1995 · 30 citations

Commutative Algebra, Universal Algebra, Perfect Extensions +1

A sheaf-theoretic duality theory for cylindric algebras

Stephen D. Comer · Transactions of the American Mathematical Society · 1972 · 24 citations

Algebraic Logic, Sheaf-theoretic Duality Theory, Abstract Algebra +7

1–5 of 11