An Abstract Machine for Symbolic Computation.
Use of Multiwrite for General Programmability of Search Memories.
Numerical Inversion of Laplace Transforms Using Laguerre Functions.
Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time.
Corrigenda: "Statistical Complexity of Algorithms for Boolean Function Minimization".
Automatic Controlled Precision Calculations.
Predictor-Corrector Methods of High Order With Improved Stability Characteristics.
Time-Shared Computer Operations With Both Interarrival and Service Times Exponential.
Monogenic Post Normal Systems of Arbitrary Degree.
Internal Sorting by Radix Plus Sifting.
On the "Reverse Order Law" Related to the Generalized Inverse of Matrix Products.
Preservation of unambiguity and inherent ambiguity in context-free languages.
Generalized Single-Ended Counters.
A Class of Integration Formulas.