Login / Signup
Means-fit effectivity.
Yuri Gurevich
Published in:
CoRR (2020)
Keyphrases
</>
expressive power
operational semantics