Maria C. F. Ferreira

According to our database, Maria C. F. Ferreira authored at least 9 papers between 1994 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.

Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Appl. Algebra Eng. Commun. Comput., 1999

Context-Sensitive AC-Rewriting.

Maria C. F. Ferreira, A. L. Ribeiro

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

Reducing AC-Termination to Termination.

Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1996

Total termination of term rewriting.

Maria C. F. Ferreira, Hans Zantema

Appl. Algebra Eng. Commun. Comput., 1996

Dummy Elimination in Equational Rewriting.

Maria C. F. Ferreira

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.

Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995

Dummy Elimination: Making Termination Easier.

Maria C. F. Ferreira, Hans Zantema

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

Well-foundedness of Term Orderings.

Maria C. F. Ferreira, Hans Zantema

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Syntactical Analysis of Total Termination.

Maria C. F. Ferreira, Hans Zantema

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994