Skip to content

First-order tree-to-tree functions.

Mikolaj Bojanczyk, Amina Doumane

VenueA*LICS
Year2020
ProceedingsLICS

Browse the full LICS paper archive.