Ait-Kaci84'

BibTeX

@inproceedings{DBLP:conf/eds/Ait-Kaci84,
  author    = {Hassan A\"{\i}t-Kaci},
  title     = {Type Subsumption as a Model of Computation},
  booktitle = {Expert Database Workshop},
  year      = {1984},
  pages     = {115-139},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}