Functional constructions between reaction systems and propositional logic

DOI10.1142/S0129054113500044MaRDI QIDQ2841991zbMATH OpenOpenAlexFDO

Authors Arto Salomaa

Publication date 30 July 2013

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054113500044

zbMATH Keywords

inhibitormonotonic functionNP-completenessreactantreaction systemtotal functiontruth-function

Mathematics Subject Classification ID

Classical propositional logic (03B05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Functions and sequences generated by reaction systems
• Reaction systems
• Functions defined by reaction systems
• Simple reaction systems and their classification
• Reaction systems made simple. A normal form and a classification theorem

Cited in

(27)

• On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species
• On the complexity of occurrence and convergence problems in reaction systems
• Steady states of constrained reaction systems
• Model checking temporal properties of reaction systems
• Functions and sequences generated by reaction systems
• Controllability of reaction systems
• Asynchrony and persistence in reaction systems
• Communicating reaction systems with direct communication
• Languages of distributed reaction systems
• On the computational complexity of reaction systems, revisited
• Characterization and computation of ancestors in reaction systems
• Plug-in context providers for reaction systems
• Reaction systems with influence on environment
• Minimal reaction systems: duration and blips
• Complexity of the dynamics of reaction systems
• Complexity of model checking for reaction systems
• Towards quantitative verification of reaction systems
• Minimal reaction systems defining subset functions
• Applications of the Chinese remainder theorem to reaction systems with duration
• Dependency graphs and mass conservation in reaction systems
• Reaction systems and extremal combinatorics properties
• A Compositional Semantics of Reaction Systems with Restriction
• scientific article; zbMATH DE number 7065571 (Why is no real title available?)
• Computing preimages and ancestors in reaction systems
• Reaction Systems, Transition Systems, and Equivalences
• Multiset reaction systems
• Language classes of extended distributed reaction systems

This page was built for publication: Functional constructions between reaction systems and propositional logic

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