Login / Signup
A Theory of Encodings and Expressiveness.
Rob van Glabbeek
Published in:
CoRR (2018)
Keyphrases
</>
computational model
orders of magnitude
conceptual framework
general theory
theoretical framework
expressive power
theoretical basis
neural network
computer vision
probabilistic model
sat instances
formal theory