Login / Signup

A rewriting logic framework for operational semantics of membrane systems.

Oana AndreiGabriel CiobanuDorel Lucanu
Published in: Theor. Comput. Sci. (2007)
Keyphrases
  • operational semantics
  • machine learning
  • first order logic
  • model theoretic
  • declarative semantics