13 found
Order:
  1.  6
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    Arthur W. Burks & Jesse B. Wright, Sequence Generators and Formal Languages : Technical Report.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  5
    Arthur W. Burks, J. Richard B.??chi, Calvin C. Elgot & Jesse B. Wright, Design Algorithms in Automata Languages : Final Report.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  3
    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)  
     
    Export citation  
     
    My bibliography  
  5.  1
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  3
    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)  
     
    Export citation  
     
    My bibliography  
  7. 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  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  2
    Arthur W. Burks, Don W. Warren & Jesse B. Wright, Truth-Function Evaluation Using the Polish Notation.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  1
    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  
     
    Export citation  
     
    My bibliography  
  10.  1
    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  
     
    Export citation  
     
    My bibliography  
  11.  1
    Arthur W. Burks & Jesse B. Wright, Sequence Generators and Digital Computers : Technical Report.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  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  
     
    Export citation  
     
    My bibliography  
  13. 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  
     
    Export citation  
     
    My bibliography