Login / Signup

Abstrakte Tempomasze und Speed-up-Theoremea FüR Enumerationen rekursiv-AufzäHlbarer Mengen.

Hans-Dietrich Hecker
Published in: Math. Log. Q. (1984)
Keyphrases