BibTeX record conf/padl/AreiasR14

• > Home > conf/padl/AreiasR14

@inproceedings{DBLP:conf/padl/AreiasR14,
  author       = {Miguel Areias and
                  Ricardo Rocha},
  editor       = {Matthew Flatt and
                  Hai{-}Feng Guo},
  title        = {On the Correctness and Efficiency of Lock-Free Expandable Tries for
                  Tabled Logic Programs},
  booktitle    = {Practical Aspects of Declarative Languages - 16th International Symposium,
                  {PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8324},
  pages        = {168--183},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04132-2\_12},
  doi          = {10.1007/978-3-319-04132-2\_12},
  timestamp    = {Thu, 11 Mar 2021 09:25:39 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/AreiasR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}