Concepedia

Celia Wrathall

CW

10

Publications

797

Citations

10

H-Index

1976

Active since

Affiliations

University of California, Santa Barbara(Current)

University of California, Los Angeles

Yale University

Celia Wrathall is an author at University of California, Santa Barbara specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningLinguisticsFormal MethodsComputer ScienceSyntaxLanguageSemanticsComputational ComplexityGrammar

Publications per year

1976–1990

10

Publications

10

Complete sets and the polynomial-time hierarchy

Celia Wrathall · Theoretical Computer Science · 1976 · 398 citations

Computational Complexity Theory, Engineering, Automated Reasoning +5

Rudimentary Predicates and Relative Computation

Celia Wrathall · SIAM Journal on Computing · 1978 · 108 citations

Engineering, Chomsky Hierarchy, Rudimentary Relations +16

Monadic Thue systems

Ronald V. Book, Matthias Jantzen, Celia Wrathall · Theoretical Computer Science · 1982 · 105 citations

Algebraic Logic, Engineering, Automated Reasoning +5

The word problem for free partially commutative groups

Celia Wrathall · Journal of Symbolic Computation · 1988 · 42 citations

Group Structure, Frattini Subgroup, Ordered Group +1

Bounded query machines: On NP() and NPQUERY()

Ronald V. Book, Celia Wrathall · Theoretical Computer Science · 1981 · 39 citations

Engineering, Information Retrieval, Graph Query Language +5

Rows per page

1–5 of 10