Proof techniques in Membrane Computing.

David Orellana-Martín Luis Valencia-Cabrera Mario J. Pérez-Jiménez

Published in: Theor. Comput. Sci. (2021)

Keyphrases

real world
lower bound
databases
neural network
computer science
information technology
artificial neural networks
probability distribution
theorem prover
linear logic