Login / Signup
A rewriting logic framework for operational semantics of membrane systems.
Oana Andrei
Gabriel Ciobanu
Dorel Lucanu
Published in:
Theor. Comput. Sci. (2007)
Keyphrases
</>
operational semantics
machine learning
first order logic
model theoretic
declarative semantics