Defining Datalog in Rewriting Logic

DOI10.1007/978-3-642-12592-8_14zbMATH Open1284.68110OpenAlexW1603777797WikidataQ57978168 ScholiaQ57978168MaRDI QIDQ3558298

No author found.

Publication date: 4 May 2010

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12592-8_14

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Uses Software

• Maude
• Datalog

This page was built for publication: Defining Datalog in Rewriting Logic