This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
July 1970 (vol. 19 no. 7)
pp. 658
J.C. Shepherdson, University of Bristol
H. Wang ("Circuit synthesis by solving sequential Boolean equations," Zeit. f?r Math. Logik und Grundlagen der Math., vol. 5 pp. 291-322, 1959) pointed out that sequential Boolean equations, obtained by adding a sequential operator to take care of the time element to the ordinary Boolean operations, provided a convenient language for expressing conditions to be satisfied by circuits or automata. Among other things he described algorithms for deciding whether an equation has a solution, and for deciding whether it has a solution with finite delay. The present paper presents algorithms which are thought to be more efficient.
Citation:
J.C. Shepherdson, "R70-20 Sequential Boolean Equations," IEEE Transactions on Computers, vol. 19, no. 7, pp. 658, July 1970, doi:10.1109/T-C.1970.223007
Usage of this product signifies your acceptance of the Terms of Use.