dblp.uni-trier.dewww.uni-trier.de

Maria C. F. Ferreira Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
10EEMaria C. F. Ferreira, A. L. Ribeiro: Context-Sensitive AC-Rewriting. RTA 1999: 286-300
9EEMaria C. F. Ferreira, Delia Kesner, Laurence Puel: lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Appl. Algebra Eng. Commun. Comput. 9(4): 333-371 (1999)
1998
8EEMaria C. F. Ferreira, Delia Kesner, Laurence Puel: Reducing AC-Termination to Termination. MFCS 1998: 239-247
1996
7EEMaria C. F. Ferreira, Delia Kesner, Laurence Puel: Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. ALP 1996: 284-298
6EEMaria C. F. Ferreira: Dummy Elimination in Equational Rewriting. RTA 1996: 78-92
5EEMaria C. F. Ferreira, Hans Zantema: Total Termination of Term Rewriting. Appl. Algebra Eng. Commun. Comput. 7(2): 133-162 (1996)
1995
4 Maria C. F. Ferreira, Hans Zantema: Dummy Elimination: Making Termination Easier. FCT 1995: 243-252
1994
3EEMaria C. F. Ferreira, Hans Zantema: Syntactical Analysis of Total Termination. ALP 1994: 204-222
2 Maria C. F. Ferreira, Hans Zantema: Well-foundedness of Term Orderings. CTRS 1994: 106-123
1993
1EEMaria C. F. Ferreira, Hans Zantema: Total Termination of Term Rewriting. RTA 1993: 213-227

Coauthor Index

1Delia Kesner [7] [8] [9]
2Laurence Puel [7] [8] [9]
3A. L. Ribeiro [10]
4Hans Zantema [1] [2] [3] [4] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)