DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY

DOI10.1073/pnas.41.7.498zbMath0065.00503OpenAlexW2087308603WikidataQ37614397 ScholiaQ37614397MaRDI QIDQ5848899

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

Related Items (6)

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 ⋮ Dynamics and control of singular boolean networks ⋮ Optimal control of singular Boolean control networks via Ledley solution method ⋮ 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