Gene F. Rose

发表

On the existence of generators for certain AFL

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

A Note on Preservation of Languages by Transducers

Seymour Ginsburg, Gene F. Rose, 1968, Inf. Control..

Preservation of Languages by Transducers

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

Abstract families of processors

Gene F. Rose, 1969, STOC '69.

Operations Which Preserve Definability in Languages

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

Umezawa Toshio. On an application of intermediate logics. Nagoya mathematical journal, vol. 16 (1960), pp. 119–133.

Gene F. Rose, 1960 .

Review: Karel Culik II, N-Ary Grammars and the Descriptions of Mapping of Languages

Gene F. Rose, 1973 .

Rescher Nicholas. Quasi-truth-functional systems of prepositional logic. The journal of symbolic logic , vol. 27 (for 1962, pub. 1963), pp. 1–10.

Gene F. Rose, 1964 .

Abstract Families of Processors

Gene F. Rose, 1970, J. Comput. Syst. Sci..

The Equivalence of Stack Counter Acceptors and Quasi-Realtime Acceptors

Seymour Ginsburg, Gene F. Rose, 1974, J. Comput. Syst. Sci..

Some Recursively Unsolvable Problems in ALGOL-Like Languages

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

Dana Scott. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957 , 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241.

Gene F. Rose, 1960 .

Čulík Karel II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika (Prague), vol. 6 (1970), pp. 99–117.

Gene F. Rose, 1973 .

An extension of ALGOL-like languages

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

Šéstakov V. I.. Algébraičéskij métod sintéza mnogotaktnyh sistém r-pozicionnyh rélé (An algebraic method for the synthesis of r-positional switching circuits). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 62–65.

Gene F. Rose, 1957 .

Some Superconstructive Propositional Calculi.Realizable formulas of Propositional Logic.The Relationship Between Deducibility in the Intuitionist Propositional calculus and Finite Implicational Structures

Elliott Mendelson, Gene F. Rose, V. A. Jankov, 1970 .

A comparison of the work done by generalized sequential machines and Turing machines

Seymour Ginsburg, Gene F. Rose, 1962 .

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

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

Review: Alan Rose, An Alternative Formalisation of Sobocinski's Three-Valued Implicational Propositional Calculus

Gene F. Rose, 1956 .