Login / Signup

Natural Quantum Operational Semantics with Predicates.

Marek SawerwainRoman Gielerak
Published in: Int. J. Appl. Math. Comput. Sci. (2008)
Keyphrases
  • operational semantics
  • formal semantics
  • model theoretic
  • term rewriting
  • data model
  • mental states
  • denotational semantics
  • declarative semantics
  • agent programming
  • machine learning
  • software engineering