Skip to content
cs-conference-ranking.org

Reasoning About Data Trees Using CHCs.

Marco Faella, Gennaro Parlato

VenueA*CAV
Year2022
ProceedingsCAV (2)
DBLP recordconf/cav/FaellaP22 ↗

Browse the full CAV paper archive.