BibTeX record conf/slate/AreiasR12

download as .bib file

@inproceedings{DBLP:conf/slate/AreiasR12,
  author       = {Miguel Areias and
                  Ricardo Rocha},
  editor       = {Alberto Sim{\~{o}}es and
                  Ricardo Queir{\'{o}}s and
                  Daniela Carneiro da Cruz},
  title        = {On Extending a Linear Tabling Framework to Support Batched Scheduling},
  booktitle    = {1st Symposium on Languages, Applications and Technologies, {SLATE}
                  2012, Braga, Portugal, June 21-22, 2012},
  series       = {OASIcs},
  volume       = {21},
  pages        = {9--24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2012.9},
  doi          = {10.4230/OASICS.SLATE.2012.9},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/AreiasR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics