Sign in
Formal Biochemical Space with Semantics in Kappa and BNGL.
T. Ded
David Safránek
Matej Troják
Matej Klement
Jakub Salagovic
Lubos Brim
Published in:
Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
</>
databases
space time
experimental data
formal semantics
operational semantics
formal language
model theoretic
search space
conceptual model
formal model
highly expressive
machine processable
specification languages
formal representation
space requirements
natural language
high level