1 Matching Annotations
  1. Apr 2024
  2. arxiv.org arxiv.org
    Untitled document
    1
    1. zhurovandrew 18 Apr 2024
      A transition s → s′ ∈ T is correct, and a computation of correct transitionsis correct.
      MTS correct transition
    Visit annotations in context

    Tags

    Annotators

    URL

    arxiv.org/pdf/2112.13650v2.pdf