A Complexity Calculus for Classes of Recursive Search Programs over Tree Structures

Philippe Flajolet, Jean-Marc Steyaert

Browse the full FOCS paper archive.