Sign in
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language.
Ketil Stølen
Published in:
Refine (1992)
Keyphrases
</>
language learning
finite state machines
databases
real world
social networks
language processing
search engine
bayesian networks
relational databases
state space
description logics