DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY

DOI10.1073/PNAS.41.7.498zbMATH Open0065.00503OpenAlexW2087308603WikidataQ37614397 ScholiaQ37614397MaRDI QIDQ5848899FDOQ5848899

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)

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

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)