BibTeX record conf/eds/Ait-Kaci84

download as .bib file

@inproceedings{DBLP:conf/eds/Ait-Kaci84,
  author    = {Hassan A{\"{\i}}t{-}Kaci},
  title     = {Type Subsumption as a Model of Computation},
  booktitle = {Expert Database Workshop},
  pages     = {115--139},
  year      = {1984},
  timestamp = {Thu, 03 Jan 2002 11:57:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eds/Ait-Kaci84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}