Maria C. F. Ferreira

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

Publications

Maria C. F. Ferreira, A. L. Ribeiro
Context-Sensitive AC-Rewriting. RTA (1999)
Maria C. F. Ferreira, Delia Kesner, Laurence Puel
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Appl. Algebra Eng. Commun. Comput. 9 (4) (1999)
Maria C. F. Ferreira, Delia Kesner, Laurence Puel
Reducing AC-Termination to Termination. MFCS (1998)
Maria C. F. Ferreira
Dummy Elimination in Equational Rewriting. RTA (1996)
Maria C. F. Ferreira, Delia Kesner, Laurence Puel
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. ALP (1996)
Maria C. F. Ferreira, Hans Zantema
Total termination of term rewriting. Appl. Algebra Eng. Commun. Comput. 7 (2) (1996)
Maria C. F. Ferreira, Hans Zantema
Dummy Elimination: Making Termination Easier. FCT (1995)
Maria C. F. Ferreira, Hans Zantema
Syntactical Analysis of Total Termination. ALP (1994)
Maria C. F. Ferreira, Hans Zantema
Well-foundedness of Term Orderings. CTRS (1994)
Maria C. F. Ferreira, Hans Zantema
Total Termination of Term Rewriting. RTA (1993)