%0 Conference Paper %1 conf/slate/AreiasR15 %A Areias, Miguel %A Rocha, Ricardo %B SLATE %D 2015 %E Sierra-Rodríguez, José Luis %E Leal, José Paulo %E Simões, Alberto %I Springer %K dblp %P 113-124 %T Batched Evaluation of Full-Sharing Multithreaded Tabling. %U http://dblp.uni-trier.de/db/conf/slate/slate2015.html#AreiasR15 %V 563 %@ 978-3-319-27652-6

@inproceedings{conf/slate/AreiasR15, added-at = {2021-03-11T00:00:00.000+0100}, author = {Areias, Miguel and Rocha, Ricardo}, biburl = {https://www.bibsonomy.org/bibtex/2778eecc46ddd9177ad085571cbfec9cd/dblp}, booktitle = {SLATE}, crossref = {conf/slate/2015}, editor = {Sierra-Rodríguez, José Luis and Leal, José Paulo and Simões, Alberto}, ee = {https://doi.org/10.1007/978-3-319-27653-3_11}, interhash = {6d1f9391dcf1bbed46c3ef58902227b4}, intrahash = {778eecc46ddd9177ad085571cbfec9cd}, isbn = {978-3-319-27652-6}, keywords = {dblp}, pages = {113-124}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T00:40:25.000+0200}, title = {Batched Evaluation of Full-Sharing Multithreaded Tabling.}, url = {http://dblp.uni-trier.de/db/conf/slate/slate2015.html#AreiasR15}, volume = 563, year = 2015 }