Login / Signup

Bicategorical Semantics for Nondeterministic Computation.

Mike StayJamie Vicary
Published in: MFPS (2013)
Keyphrases
  • formal semantics
  • database
  • real time
  • information systems
  • logic programming
  • conceptual model
  • data sets
  • machine learning
  • website
  • case study
  • database systems
  • markov decision processes
  • finite state
  • parallel computation