Generating Plans from Proofs
From MaRDI portal
Publication:5012541
DOI10.1145/2847523zbMath1474.68079OpenAlexW2254540169WikidataQ114614110 ScholiaQ114614110MaRDI QIDQ5012541
Efthymia Tsamoura, Michael Benedikt, Balder ten Cate
Publication date: 25 November 2021
Published in: ACM Transactions on Database Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2847523
Related Items (1)
This page was built for publication: Generating Plans from Proofs