Core SBML and Its Formal Semantics.

Joachim Niehren Cédric Lhoussaine Athénaïs Vaginay

Published in: CMSB (2023)

Keyphrases

formal semantics
er model
logical language
epistemic logic
theorem prover
modeling language
operational semantics
modelling language
machine learning
logical reasoning
data exchange
speech acts
databases