|
Search the dblp DataBase
Maria C. F. Ferreira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Maria C. F. Ferreira, Hans Zantema
Syntactical Analysis of Total Termination. [Citation Graph (0, 0)][DBLP] ALP, 1994, pp:204-222 [Conf]
- Maria C. F. Ferreira, Delia Kesner, Laurence Puel
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:284-298 [Conf]
- Maria C. F. Ferreira, Hans Zantema
Well-foundedness of Term Orderings. [Citation Graph (0, 0)][DBLP] CTRS, 1994, pp:106-123 [Conf]
- Maria C. F. Ferreira, Hans Zantema
Dummy Elimination: Making Termination Easier. [Citation Graph (0, 0)][DBLP] FCT, 1995, pp:243-252 [Conf]
- Maria C. F. Ferreira, Delia Kesner, Laurence Puel
Reducing AC-Termination to Termination. [Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:239-247 [Conf]
- Maria C. F. Ferreira
Dummy Elimination in Equational Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 1996, pp:78-92 [Conf]
- Maria C. F. Ferreira, A. L. Ribeiro
Context-Sensitive AC-Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 1999, pp:286-300 [Conf]
- Maria C. F. Ferreira, Hans Zantema
Total Termination of Term Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 1993, pp:213-227 [Conf]
- Maria C. F. Ferreira, Delia Kesner, Laurence Puel
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. [Citation Graph (0, 0)][DBLP] Appl. Algebra Eng. Commun. Comput., 1999, v:9, n:4, pp:333-371 [Journal]
- Maria C. F. Ferreira, Hans Zantema
Total Termination of Term Rewriting. [Citation Graph (0, 0)][DBLP] Appl. Algebra Eng. Commun. Comput., 1996, v:7, n:2, pp:133-162 [Journal]
Search in 0.001secs, Finished in 0.002secs
|