%0 Conference Paper %1 conf/birthday/CruanesHMOS14 %A Cruanes, Simon %A Heymans, Stijn %A Mason, Ian A. %A Owre, Sam %A Shankar, Natarajan %B Specification, Algebra, and Software %D 2014 %E Iida, Shusaku %E Meseguer, José %E Ogata, Kazuhiro %I Springer %K dblp %P 256-275 %T The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/birthday/futatsugi2014.html#CruanesHMOS14 %V 8373 %@ 978-3-642-54623-5

@inproceedings{conf/birthday/CruanesHMOS14, added-at = {2017-05-23T00:00:00.000+0200}, author = {Cruanes, Simon and Heymans, Stijn and Mason, Ian A. and Owre, Sam and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/2788be97834cd38bce12f18e782a716fb/dblp}, booktitle = {Specification, Algebra, and Software}, crossref = {conf/birthday/2014futatsugi}, editor = {Iida, Shusaku and Meseguer, José and Ogata, Kazuhiro}, ee = {https://doi.org/10.1007/978-3-642-54624-2_13}, interhash = {deac67e949fe51d854646e79caf1260d}, intrahash = {788be97834cd38bce12f18e782a716fb}, isbn = {978-3-642-54623-5}, keywords = {dblp}, pages = {256-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:44.000+0200}, title = {The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/birthday/futatsugi2014.html#CruanesHMOS14}, volume = 8373, year = 2014 }