A tutorial on the formal framework for spiking neural P systems
Sergey Verlan, Gexiang Zhang
Topics & Concepts
Computer scienceTheory of computationSemantics (computer science)Formal methodsArtificial intelligenceTheoretical computer scienceFormal descriptionMembrane computingComplex systemExtension (predicate logic)Programming languageDNA and Biological ComputingAdvanced biosensing and bioanalysis techniquesModular Robots and Swarm Intelligence