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

NP-completenessinhibitorreactantreaction systemmonotonic functiontotal functiontruth-function

Mathematics Subject Classification ID

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

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

(25)

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

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)