Login / Signup
A Game-Semantic Model of Computation, Revisited: An Automata-Theoretic Perspective.
Norihiro Yamada
Published in:
CoRR (2018)
Keyphrases
</>
high level
databases
data structure
conceptual model
temporal logic