13 found
Sort by:
  1. Arthur W. Burks, J. Richard B.??chi, Calvin C. Elgot & Jesse B. Wright, Design Algorithms in Automata Languages : Final Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Arthur W. Burks, Carl H. Pollmar, Don W. Warren & Jesse B. Wright, Language Conversion for Digital Computers. Vol. 2 : The Physical Realization of Code and Format Conversion.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Arthur W. Burks, Carl H. Pollmar, Don W. Warren & Jesse B. Wright, Language Conversion for Digital Computers : General Introduction and Volume I, the Logical Realization of Transliterative Functions.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Arthur W. Burks, Don W. Warren & Jesse B. Wright, Truth-Function Evaluation Using the Polish Notation.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Arthur W. Burks & Jesse B. Wright, Sequence Generators and Digital Computers : Technical Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Arthur W. Burks & Jesse B. Wright, Sequence Generators and Formal Languages : Technical Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Jesse B. Wright (1972). Characterization of Recursively Enumerable Sets. Journal of Symbolic Logic 37 (3):507-511.
    Let N, O and S denote the set of nonnegative integers, the graph of the constant 0 function and the graph of the successor function respectively. For sets $P, Q, R \subseteq N^2$ operations of transposition, composition, and bracketing are defined as follows: $P^\cup = \{\langle x, y\rangle | \langle y, x\rangle \epsilon P\}, PQ = \{\langle x, z\rangle| \exists y\langle x, y\rangle \epsilon P & \langle y, z\rangle \epsilon Q\}$ , and [ P, Q, R] = ∪n ε M(PnQR (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Irving M. Copi, Calvin C. Elgot & Jesse B. Wright (1967). Realization of Events by Logical Nets. Journal of Symbolic Logic 32 (3):389-390.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. A. W. Burks, J. B. Wright, Arthur W. Burks & Jesse B. Wright (1964). Sequence Generators and Digital Computers. Journal of Symbolic Logic 29 (4):210-212.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Arthur W. Burks, Robert Mcnaughton, Carl H. Pollmar, Don W. Warren & Jesse B. Wright (1956). Complete Decoding Nets: General Theory and Minimality. Journal of Symbolic Logic 21 (2):210-210.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Arthur W. Burks, Robert Mcnaughton, Carl H. Pollmar, Don W. Warren & Jesse B. Wright (1956). The Folded Tree. Journal of Symbolic Logic 21 (3):334-334.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  12. Arthur W. Burks, Don W. Warren & Jesse B. Wright (1955). An Analysis of a Logical Machine Using Parenthesis-Free Notation. Journal of Symbolic Logic 20 (1):70-71.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Arthur W. Burks & Jesse B. Wright (1954). Theory of Logical Nets. Journal of Symbolic Logic 19 (2):141-142.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation