Elizabeth A. Scott

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

3 Elizabeth A. Scott: Weights for Total Division Orderings on Strings. Theor. Comput. Sci. 135(2): 345-359 (1994)

1993

2 Elizabeth A. Scott: Automated Proof of the Correctness of a Compiling Specification. AMAST 1993: 393-400

1992

1 David A. Cohen, Elizabeth A. Scott: Rationality of Division Orderings. Inf. Process. Lett. 44(6): 307-311 (1992)

1994
3		Elizabeth A. Scott: Weights for Total Division Orderings on Strings. Theor. Comput. Sci. 135(2): 345-359 (1994)
1993
2		Elizabeth A. Scott: Automated Proof of the Correctness of a Compiling Specification. AMAST 1993: 393-400
1992
1		David A. Cohen, Elizabeth A. Scott: Rationality of Division Orderings. Inf. Process. Lett. 44(6): 307-311 (1992)

Coauthor Index

1 David A. Cohen [1]