Celia Wrathall

According to our database1, Celia Wrathall
  • authored at least 26 papers between 1976 and 1996.
  • has a "Dijkstra number"2 of four.

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


  Loading...