Elizabeth A. Scott

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Elizabeth A. Scott
Weights for Total Division Orderings on Strings. Theor. Comput. Sci. 135 (2) (1994)
Elizabeth A. Scott
Automated Proof of the Correctness of a Compiling Specification. AMAST (1993)
David A. Cohen, Elizabeth A. Scott
Rationality of Division Orderings. Inf. Process. Lett. 44 (6) (1992)