Travelled to:1 × Canada
1 × Germany
1 × Italy
1 × Spain
1 × USA
Collaborated with:H.Zantema A.L.Ribeiro ∅ D.Kesner L.Puel
Talks about:rewrit (3) termin (2) total (2) substitut (1) explicit (1) composit (1) syntact (1) preserv (1) context (1) calculi (1)
Person: Maria C. F. Ferreira
DBLP: Ferreira:Maria_C=_F=
Contributed to:
1999
1996199619941993Wrote 5 papers:
- RTA-1999-FerreiraR
- Context-Sensitive AC-Rewriting (MCFF, ALR), pp. 286–300.
- ALP-1996-FerreiraKP #composition #normalisation #λ-calculus
- λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.
- RTA-1996-Ferreira #equation
- Dummy Elimination in Equational Rewriting (MCFF), pp. 78–92.
- ALP-1994-FerreiraZ #analysis #termination
- Syntactical Analysis of Total Termination (MCFF, HZ), pp. 204–222.
- RTA-1993-FerreiraZ #term rewriting #termination
- Total Termination of Term Rewriting (MCFF, HZ), pp. 213–227.