Macro Tree Translations of Linear Size Increase are MSO Definable (2001)

Cached

Download Links

by Joost Engelfriet , Sebastian Maneth
Venue:SIAM J. Comput
Citations:16 - 6 self