DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY

DOI10.1073/PNAS.41.7.498MaRDI QIDQ5848899zbMATHOpenAlexWikidataFDO

Authors Robert S. Ledley

Publication date 1955

Published in Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1073/pnas.41.7.498

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(6)

• Dynamics and control of singular Boolean networks
• On robust set stability and set stabilization of probabilistic Boolean control networks
• On robust control invariance and robust set stabilization of mix‐valued logical control networks
• Stabilisation and set stabilisation of periodic switched Boolean control networks
• Set stabilizability of switched Boolean control networks via Ledley antecedence solution
• Optimal control of singular Boolean control networks via Ledley solution method

This page was built for publication: DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY

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