13 found
Order:
  1.  2
    Realization of Events by Logical Nets.Irving M. Copi, Calvin C. Elgot & Jesse B. Wright - 1967 - Journal of Symbolic Logic 32 (3):389-390.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  7
    Characterization of Recursively Enumerable Sets.Jesse B. Wright - 1972 - 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  
  3.  1
    Theory of Logical Nets.Arthur W. Burks & Jesse B. Wright - 1954 - Journal of Symbolic Logic 19 (2):141-142.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  6
    Design Algorithms in Automata Languages : Final Report.Arthur W. Burks, J. Richard B.??chi, Calvin C. Elgot & Jesse B. Wright - unknown -
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  4
    Sequence Generators and Formal Languages : Technical Report.Arthur W. Burks & Jesse B. Wright - unknown -
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  3
    Sequence Generators and Digital Computers : Technical Report.Arthur W. Burks & Jesse B. Wright - unknown -
  7.  3
    The Folded Tree.Arthur W. Burks, Robert Mcnaughton, Carl H. Pollmar, Don W. Warren & Jesse B. Wright - 1956 - Journal of Symbolic Logic 21 (3):334-334.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  8.  3
    Complete Decoding Nets: General Theory and Minimality.Arthur W. Burks, Robert Mcnaughton, Carl H. Pollmar, Don W. Warren & Jesse B. Wright - 1956 - Journal of Symbolic Logic 21 (2):210-210.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    Language Conversion for Digital Computers : General Introduction and Volume I, the Logical Realization of Transliterative Functions.Arthur W. Burks, Carl H. Pollmar, Don W. Warren & Jesse B. Wright - unknown -
  10.  2
    Truth-Function Evaluation Using the Polish Notation.Arthur W. Burks, Don W. Warren & Jesse B. Wright - unknown -
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  1
    Language Conversion for Digital Computers. Vol. 2 : The Physical Realization of Code and Format Conversion.Arthur W. Burks, Carl H. Pollmar, Don W. Warren & Jesse B. Wright - unknown -
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. An Analysis of a Logical Machine Using Parenthesis-Free Notation.Arthur W. Burks, Don W. Warren & Jesse B. Wright - 1955 - Journal of Symbolic Logic 20 (1):70-71.
  13. Sequence Generators and Digital Computers.A. W. Burks, J. B. Wright, Arthur W. Burks & Jesse B. Wright - 1964 - Journal of Symbolic Logic 29 (4):210-212.
    Direct download  
     
    Export citation  
     
    My bibliography