The Semantics of Datalog for the Evidential Tool Bus

DOI10.1007/978-3-642-54624-2_13zbMath1407.68079OpenAlexW201569704MaRDI QIDQ5403073

Ian A. Mason, Natarajan Shankar, Simon Cruanes, Sam Owre, Stijn Heymans

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_13

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Programming Languages and Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: The Semantics of Datalog for the Evidential Tool Bus