Concepedia

Charles McCoy

CM

Statistics

Publications

7

Citations

226

H-Index

7

Active since

2002

Affiliations

University of Portland(Current)

University of Notre Dame

George Washington University

Eastern Mennonite University

University of Wisconsin–Madison

Charles McCoy is an author at University of Portland specializing in engineering, education, and representation theory.

Top concepts

EngineeringEducationComputer ScienceAutomated ReasoningDiscrete MathematicsRepresentation TheoryComputational ComplexitySyntaxLanguageSemantics

Publications per year

2002–2019

7

Publications

7

Isomorphism relations on computable structures

Ekaterina Fokina, Sy‐David Friedman, Valentina Harizanov et al. · Journal of Symbolic Logic · 2012 · 73 citations · Full text

Mathematical Structure, Engineering, Abstract Complexity +11

Δ20-categoricity in Boolean algebras and linear orderings

Charles McCoy · Annals of Pure and Applied Logic · 2002 · 48 citations

Algebraic Logic, Boolean Function, Categorical Logic +1

Computable categoricity of trees of finite height

Steffen Lempp, Charles McCoy, Russell Miller et al. · Journal of Symbolic Logic · 2005 · 46 citations

Tree Language, Engineering, Automated Reasoning +10

Describing free groups

Jacob Carson, Valentina Harizanov, Julia F. Knight et al. · Transactions of the American Mathematical Society · 2012 · 24 citations · Full text

Geometric Group Theory, Different Ranks, Representation Theory +11

Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis

Charles McCoy, John Wallbaum · Transactions of the American Mathematical Society · 2012 · 13 citations · Full text

Representation Theory, Linear Groups, Annotation Encoding= +7

1–5 of 7