G. F. Rose

发表

A Characterization of Machine Mappings

S. Ginsburg, G. F. Rose, 1966, Canadian Journal of Mathematics.

Approximations of functions on the integers.

G. F. Rose, J. Ullian, 1963 .

Operations Which Preserve Definability in Languages

Seymour Ginsburg, Gene F. Rose, S. Ginsburg, 1963, JACM.

Propositional calculus and realizability

G. F. Rose, 1953 .

Some Recursively Unsolvable Problems in ALGOL-Like Languages

Seymour Ginsburg, Gene F. Rose, S. Ginsburg, 1963, JACM.

On a differential inequality

W. Bledsoe, G. F. Rose, M. J. Norris, 1954 .

McCall Storrs. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 (1962), pp. 120–122.

G. F. Rose, 1964, Journal of Symbolic Logic.

Preservation of Languages by Transducers

Seymour Ginsburg, Gene F. Rose, S. Ginsburg, 1966, Inf. Control..

An extension of ALGOL-like languages

Gene F. Rose, G. F. Rose, 1964, CACM.

On the existence of generators for certain AFL

Seymour Ginsburg, Gene F. Rose, S. Ginsburg, 1970, Inf. Sci..

Propositional calculus and realizability

G. F. Rose, 1953 .

Review: Dana Scott, Completeness Proofs for the Intuitionistic Sentential Calculus

Gene F. Rose, G. F. Rose, 1960 .

Output completeness in sequential machines

G. F. Rose, 1962 .