Generating Plans from Proofs

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

zbMATH Keywords

optimizationaccess methodshidden web

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

Unnamed Item

This page was built for publication: Generating Plans from Proofs