Strategy-Based Proof Calculus for Membrane Systems.

Oana Andrei Dorel Lucanu

Published in: WRLA (2008)

Keyphrases

databases
machine learning
management system
real time
automated theorem proving
database
data sets
multimedia
case study
distributed systems
computer systems
optimal strategy