Skip to content

The Nesting-Depth of Disjunctive -Calculus for Tree Languages and the Limitedness Problem.

Thomas Colcombet, Christof Lding

VenueBCSL
Year2008
ProceedingsCSL

Browse the full CSL paper archive.