Towards automated deduction in cP systems

DOI10.1016/J.INS.2021.12.035MaRDI QIDQ6154793zbMATH OpenOpenAlexFDO

Authors Yezhou Liu, Radu Nicolescu, Jing Sun

Publication date 16 February 2024

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2021.12.035

zbMATH Keywords

automated deductioncP systemsKnuth-Bendix completionmembrane computingP systems

Mathematics Subject Classification ID

Computer science (68-XX) Quantum theory (81-XX)

Recommendations

• Sublinear P system solutions to NP-complete problems
• Formal verification of cP systems using Coq
• Computational complexity of tissue-like P systems
• P systems with active membranes operating under minimal parallelism
• scientific article; zbMATH DE number 1735634

Cites work

• 3-Col problem modelling using simple kernel P systems
• A Machine-Oriented Logic Based on the Resolution Principle
• A sublinear Sudoku solution in cP systems and its formal verification
• A uniform family of tissue P systems with cell division solving 3-COL in a linear time
• An efficient labelled nested multiset unification algorithm
• An Efficient Unification Algorithm
• Complete Sets of Reductions for Some Equational Theories
• Completion for multiple reduction orderings
• Computing with membranes
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Formal verification of cP systems using PAT3 and ProB
• scientific article; zbMATH DE number 1583885 (Why is no real title available?)
• scientific article; zbMATH DE number 4041334 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• scientific article; zbMATH DE number 3555946 (Why is no real title available?)
• scientific article; zbMATH DE number 1507225 (Why is no real title available?)
• scientific article; zbMATH DE number 1418281 (Why is no real title available?)
• Isabelle. A generic theorem prover
• Multi-completion with termination tools
• Multi-completion with Termination Tools (System Description)
• Orienting rewrite rules with the Knuth-Bendix order.
• P systems with active membranes: Attacking NP-complete problems
• Programming P Systems with Complex Objects
• Refutational theorem proving using term-rewriting systems
• Rewrite method for theorem proving in first order theory with equality
• Rewrite-based Equational Theorem Proving with Selection and Simplification
• Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
• Solving a PSPACE-complete problem with cP systems
• Solving HPP and SAT by P systems with active membranes and separation rules
• Solving Numerical NP-Complete Problems with Spiking Neural P Systems
• Spiking neural P systems
• The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems
• The term rewriting approach to automated theorem proving
• Tissue P systems.
• Unification theory

This page was built for publication: Towards automated deduction in cP systems

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