Rachel E. O. Roxas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2000

3 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

	2000
3		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