A Prolog simulator for deterministic P systems with active membranes

DOI10.1007/BF03037286MaRDI QIDQ1762939zbMATH OpenOpenAlexFDO

Authors Andrés Cordón-Franco, Mario J. Pérez-Jiménez, Miguel A. Gutiérrez-Naranjo, Fernando Sancho Caparrini

Publication date 11 February 2005

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037286

zbMATH Keywords

Logic Programming, Membrane Computing, Simulation, Prolog, SAT-problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)

Recommendations

• Decidability of termination problems for sequential P systems with active membranes
• An efficient simulation of polynomial-space Turing machines by P systems with active membranes
• Formal verification of P systems with active membranes through model checking
• A parallel prolog system for distributed memory
• scientific article; zbMATH DE number 3900171
• The computational power of timed P systems with active membranes using promoters
• Strategy-based proof calculus for membrane systems
• Computational efficiency and universality of timed P systems with active membranes
• Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes

Cites work

• scientific article; zbMATH DE number 3967882 (Why is no real title available?)
• scientific article; zbMATH DE number 4072431 (Why is no real title available?)
• scientific article; zbMATH DE number 1735650 (Why is no real title available?)
• scientific article; zbMATH DE number 1951572 (Why is no real title available?)
• scientific article; zbMATH DE number 1951575 (Why is no real title available?)
• scientific article; zbMATH DE number 1455628 (Why is no real title available?)
• A guide to membrane computing.
• A polynomial complexity class in P systems using membrane division
• Computing with membranes
• Membrane computing. An introduction.

Cited in

(2)

• scientific article; zbMATH DE number 1735646 (Why is no real title available?)
• Solving the subset-problem by P systems with active membrans

This page was built for publication: A Prolog simulator for deterministic P systems with active membranes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1762939)