Recursion-closed algebraic theories
- 作者Jean H. Gallier
- 卷第23卷
- 期第1期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小2516.87KB
- 发表时间1981
- DOI10.1016/0022-0000(81)90006-4
- 页码69-105
A note on cellular automata simulationsJon T. Butler · 1974
Enumeration of structured flowchartsBender, Edward A.; Butler, Jon T. · Journal of the ACM · 1985
Minimization algorithm for non-concurrent PLAsDUECK†, GERHARD W.; BUTLER, JON T. · International Journal of Electronics · 1992
Progress in Applications of Boolean FunctionsSasao, Tsutomu; Butler, Jon T. · Synthesis Lectures on Digital Circuits and Systems · 2009
Puritans and Adventurers: Change and Persistence in Early AmericaButler, Jon; Breen, T. H. · The New England Quarterly · 1981
Applications of Zero-Suppressed Decision DiagramsSasao, Tsutomu; Butler, Jon T. · Synthesis Lectures on Digital Circuits and Systems · 2014
Module compiler for high-radix CCD-PLAsKERKHOFF, HANS G.; BUTLER, JON. T. · International Journal of Electronics · 1989