Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}