Frameworks in Catalysis: Pictorial Notation and Formal Semantics.

Kung-Kiu Lau Mario Ornaghi Alan Wills

Published in: ICFEM (1997)

Keyphrases

formal semantics
modeling language
er model
formal language
logical reasoning
operational semantics
first order logic
logical language
black box
theorem prover
speech acts
epistemic logic
modelling language
probabilistic model
expressive power
metamodel
query processing
learning environment
database