GoyalP97'

BibTeX

@inproceedings{DBLP:conf/alc/GoyalP97,
  author    = {Deepak Goyal and
               Robert Paige},
  title     = {The formal reconstruction and speedup of the linear time
               fragment of Willard's relational calculus subset},
  booktitle = {Algorithmic Languages and Calculi},
  year      = {1997},
  pages     = {382-414},
  crossref  = {DBLP:conf/alc/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/alc/1997,
  editor    = {Richard S. Bird and
               Lambert G. L. T. Meertens},
  title     = {Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International
               Workshop on Algorithmic Languages and Calculi, 17-22 February
               1997, Alsace, France},
  booktitle = {Algorithmic Languages and Calculi},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {95},
  year      = {1997},
  isbn      = {0-412-82050-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}