# Celia Wrathall

According to our database

Collaborative distances:

^{1}, Celia Wrathall authored at least 26 papers between 1976 and 1996.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1996

The lattices of prefixes and overlaps of traces.

Discrete Mathematics, 1996

1995

On Confluence of One-Rule Trace-Rewriting Systems.

Mathematical Systems Theory, 1995

1992

One-Rule Trace-Rewriting Systems and Confluence.

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1991

Overlaps in Free Partially Commutative Monoids.

J. Comput. Syst. Sci., 1991

Trace monoids with some invertible generators: two decision problems.

Discrete Applied Mathematics, 1991

1990

Efficient Solution to Some Problems in Free Partially Commutative Monoids

Inf. Comput., December, 1990

Confluence of One-Rule Thue Systems.

Proceedings of the Word Equations and Related Topics, First International Workshop, 1990

1988

The Word Problem for Free Partially Commutative Groups.

J. Symb. Comput., 1988

1986

Single-Tape Reset Machines.

ITA, 1986

1985

A Note on Thue Systems with a Single Defining Relation.

Mathematical Systems Theory, 1985

1982

A Note on Representations of a Certain Monoid.

Theor. Comput. Sci., 1982

Monadic Thue Systems.

Theor. Comput. Sci., 1982

A Note on Complete Sets and Transitive Closure.

Mathematical Systems Theory, 1982

1981

Bounded Query Machines: On NP( ) and NPQERY( ).

Theor. Comput. Sci., 1981

(Erasing)* Strings.

Proceedings of the Theoretical Computer Science, 1981

On the Complexity of Word Problems in Certain Thue Systems (Preliminary Report).

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1979

Reset Machines.

J. Comput. Syst. Sci., 1979

Reducibility Among Floating-Point Graphs.

J. ACM, 1979

1978

Rudimentary Predicates and Relative Computation.

SIAM J. Comput., 1978

Stack Languages and log n Space.

J. Comput. Syst. Sci., 1978

A Note on Classes of Complements and the LBA Problem.

Acta Inf., 1978

Comparisons and Reset Machines (Preliminary Report).

Proceedings of the Automata, 1978

Convergence guarantee and improvements for a fast hardware exponential and logarithm evaluation scheme.

Proceedings of the 4th IEEE Symposium on Computer Arithmetic, 1978

1977

Inclusion Complete Tally Languages and the Hartmanis-Berman Conjecture.

Mathematical Systems Theory, 1977

Characterizations of the Dyck Sets.

ITA, 1977

1976

Complete Sets and the Polynomial-Time Hierarchy.

Theor. Comput. Sci., 1976