Person:1393120

Available identifiers

zbMath Open rose.gene-fMaRDI QIDQ1393120

List of research outcomes

Publication	Date of Publication	Type
Abstract families of processors	2014-03-14	Paper
On primitive recursive wordfunctions	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4062667	1975-01-01	Paper
The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4769969	1973-01-01	Paper
On the existence of generators for certain AFL	1970-01-01	Paper
Abstract families of processors	1970-01-01	Paper
Closures which preserve finiteness in families of languages	1968-01-01	Paper
A note on preservation of languages by transducers	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5565128	1968-01-01	Paper
A Characterization of Machine Mappings	1966-01-01	Paper
Preservation of languages by transducers	1966-01-01	Paper
An extension of ALGOL-like languages	1964-01-01	Paper
Approximation of functions on the integers	1963-01-01	Paper
Some Recursively Unsolvable Problems in ALGOL-Like Languages	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5526986	1963-01-01	Paper
Operations Which Preserve Definability in Languages	1963-01-01	Paper
Output Completeness in Sequential Machines	1962-01-01	Paper
A Comparison of the Work Done by Generalized Sequential Machines and Turning Machines	1962-01-01	Paper
On a Differential Inequality	1954-01-01	Paper
Propositional Calculus and Realizability	1953-01-01	Paper
A Proof Schema for a Class of Theorems	1951-01-01	Paper

Research outcomes over time

This page was built for person: Gene F. Rose