Login / Signup

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

Tobias KappéPaul BrunetAlexandra SilvaJana WagemakerFabio Zanasi
Published in: FoSSaCS (2020)
Keyphrases
  • propositional logic
  • regular expressions
  • data model
  • query language
  • database
  • social networks
  • hypothesis space