10 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, Robert McNaughton, Carl H. Pollmar, Don W. Warren & Jesse B. Wright, The Folded Tree.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Arthur W. Burks, Carl H. Pollmar, Don W. Warren, Jesse B. Wright & Robert McNaughton, Complete Decoding Nets : General Theory and Minimality.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Arthur W. Burks, Don W. Warren & Jesse B. Wright, Truth-Function Evaluation Using the Polish Notation.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Arthur W. Burks & Jesse B. Wright, Sequence Generators and Digital Computers : Technical Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Arthur W. Burks & Jesse B. Wright, Sequence Generators and Formal Languages : Technical Report.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Arthur W. Burks & Jesse B. Wright, Theory of Logical Nets.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. 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