Switch to: References

Add citations

You must login to add citations.
  1. Taming Koepke's Zoo II: Register machines.Merlin Carl - 2022 - Annals of Pure and Applied Logic 173 (3):103041.
  • Decision Times of Infinite Computations.Merlin Carl, Philipp Schlicht & Philip Welch - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark