Login / Signup

Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)).

Serge Grigorieff
Published in: J. Symb. Log. (1990)
Keyphrases