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)