BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ferreira:Maria_C=_F=

Contributed to:

RTA 19991999
ALP 19961996
RTA 19961996
ALP 19941994
RTA 19931993

Wrote 5 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.