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