Reasoning About Data Trees Using CHCs

From MaRDI portal

Publication:6487339

Jump to:navigation, search

DOI10.1007/978-3-031-13188-2_13zbMath1514.68045MaRDI QIDQ6487339

Gennaro Parlato, Marco Faella

Publication date: 7 December 2022

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

This page was built for publication: Reasoning About Data Trees Using CHCs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6487339&oldid=37943427"