Login / Signup
Completeness and Continuity Properties of Applicative Bisimulation.
Andrew M. Pitts
Published in:
Theory and Formal Methods (1994)
Keyphrases
</>
cooperative
probabilistic model
structural properties
desirable properties
real world
social networks
case study
three dimensional
wide range
search algorithm
relational databases
recommender systems
rough sets
data quality