1999 |
10 | EE | Maria C. F. Ferreira,
A. L. Ribeiro:
Context-Sensitive AC-Rewriting.
RTA 1999: 286-300 |
9 | EE | 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 | EE | 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 | EE | 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 |