Rachel E. O. Roxas

2000
3	EE	Rachel E. O. Roxas, Allan Borra: Panel: Computational Linguistics Research on Philippine Languages. ACL 2000
1993
2		Rachel E. O. Roxas: A HOL Package for Reasoning about Relations Defined by Mutual Induction. HUG 1993: 129-140
1991
1		Rachel E. O. Roxas, Malcolm C. Newey: Proof of Program Transformations. TPHOLs 1991: 223-230

Coauthor Index

1	Allan Borra	[3]
2	Malcolm C. Newey	[1]

Colors in the list of coauthors