The following pages link to Gene F. Rose (Q1393120):
Displaying 23 items.
- On primitive recursive wordfunctions (Q1221752) (← links)
- The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors (Q1393121) (← links)
- (Q2394921) (redirect page) (← links)
- (Q1221751) (redirect page) (← links)
- Approximation of functions on the integers (Q2394922) (← links)
- Closures which preserve finiteness in families of languages (Q2527944) (← links)
- On the existence of generators for certain AFL (Q2541640) (← links)
- Abstract families of processors (Q2546020) (← links)
- Output Completeness in Sequential Machines (Q3846377) (← links)
- (Q4062667) (← links)
- (Q4769969) (← links)
- Some Recursively Unsolvable Problems in ALGOL-Like Languages (Q5344171) (← links)
- Abstract families of processors (Q5402499) (← links)
- A Characterization of Machine Mappings (Q5518380) (← links)
- (Q5526986) (← links)
- A note on preservation of languages by transducers (Q5549814) (← links)
- (Q5565128) (← links)
- Preservation of languages by transducers (Q5579494) (← links)
- An extension of ALGOL-like languages (Q5586340) (← links)
- Operations Which Preserve Definability in Languages (Q5586341) (← links)
- A Comparison of the Work Done by Generalized Sequential Machines and Turning Machines (Q5722262) (← links)
- A Proof Schema for a Class of Theorems (Q5806046) (← links)
- Propositional Calculus and Realizability (Q5822056) (← links)
- On a Differential Inequality (Q5829960) (← links)
