Skip to content

Approximate Evaluation of Quantitative Second Order Queries.

Jan Dreier, Robert Ganian, Thekla Hamm

VenueA*LICS
Year2025
ProceedingsLICS

Browse the full LICS paper archive.