Describing Membrane Computations with a Chemical Calculus.

Péter Battyányi György Vaszil

Published in: Fundam. Informaticae (2014)

Keyphrases

real time
mobile robot
automated deduction
chemical reactions
data sets
real world
case study
three dimensional
algebraic structure
computer algebra
chemical engineering