A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises.

Published in: Nord. J. Comput. (1995)

Keyphrases

operational semantics
term rewriting
formal semantics
mental states
model theoretic
data model
declarative semantics
denotational semantics
machine learning
inference rules
horn clauses
mobile robot
agent programming