Skip to content

Effective characterizations of tree logics.

Mikolaj Bojanczyk

VenueA*PODS
Year2008
ProceedingsPODS

Browse the full PODS paper archive.