DBLP Record 'conf/agp/InverardiN99'

BibTeX

@inproceedings{DBLP:conf/agp/InverardiN99,
  author    = {Paola Inverardi and
               Monica Nesi},
  title     = {Adding sorts to TRSs: a result on modularity of termination},
  booktitle = {APPIA-GULP-PRODE},
  year      = {1999},
  pages     = {273-288},
  crossref  = {DBLP:conf/agp/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/agp/1999,
  editor    = {Maria Chiara Meo and
               Manuel Vilares Ferro},
  title     = {1999 Joint Conference on Declarative Programming, AGP'99,
               L'Aquila, Italy, September 6-9, 1999},
  booktitle = {APPIA-GULP-PRODE},
  year      = {1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}