1 Matching Annotations
- Apr 2024
-
arxiv.org arxiv.org
-
We denote by s ∗−→ s′ ∈ T the existence of a correctcomputation (empty if s = s′) from s to s′
Tags
Annotators
URL
-
We denote by s ∗−→ s′ ∈ T the existence of a correctcomputation (empty if s = s′) from s to s′