 | 1999 |
|---|
| 10 |       | Maria C. F. Ferreira,
A. L. Ribeiro:
Context-Sensitive AC-Rewriting.
RTA 1999: 286-300 |
| 9 | | Maria C. F. Ferreira,
Delia Kesner,
Laurence Puel:
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.
Appl. Algebra Eng. Commun. Comput. 9(4): 333-371 (1999) |
| 1998 |
|---|
| 8 | | Maria C. F. Ferreira,
Delia Kesner,
Laurence Puel:
Reducing AC-Termination to Termination.
MFCS 1998: 239-247 |
| 1996 |
|---|
| 7 | | Maria C. F. Ferreira,
Delia Kesner,
Laurence Puel:
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.
ALP 1996: 284-298 |
| 6 | | Maria C. F. Ferreira:
Dummy Elimination in Equational Rewriting.
RTA 1996: 78-92 |
| 5 | | Maria C. F. Ferreira,
Hans Zantema:
Total Termination of Term Rewriting.
Appl. Algebra Eng. Commun. Comput. 7(2): 133-162 (1996) |
| 1995 |
|---|
| 4 |  | Maria C. F. Ferreira,
Hans Zantema:
Dummy Elimination: Making Termination Easier.
FCT 1995: 243-252 |
| 1994 |
|---|
| 3 | | Maria C. F. Ferreira,
Hans Zantema:
Syntactical Analysis of Total Termination.
ALP 1994: 204-222 |
| 2 | | Maria C. F. Ferreira,
Hans Zantema:
Well-foundedness of Term Orderings.
CTRS 1994: 106-123 |
| 1993 |
|---|
| 1 | | Maria C. F. Ferreira,
Hans Zantema:
Total Termination of Term Rewriting.
RTA 1993: 213-227 |
