News
We present a simple system in the class of 1-variable linear tree translations that has a derivation of exponential length. We also discuss why it is difficult to syntactically separate the rewriting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results