Switch to: References

Add citations

You must login to add citations.
  1. Abstrakte tempomasze und speed‐up‐theoremea für enumerationen rekursiv‐aufzählbarer mengen.Hans-Dietrich Hecker - 1984 - Mathematical Logic Quarterly 30 (17‐18):269-281.