×

zbMATH — the first resource for mathematics

Rose, Gene F.

Compute Distance To:
Author ID: rose.gene-f Recent zbMATH articles by "Rose, Gene F."
Published as: Rose, G. F.; Rose, Gene F.; Rose, G.
Documents Indexed: 25 Publications since 1930

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 114 times in 101 Documents Cited by Year
Propositional calculus and realizability. Zbl 0053.19901
Rose, Gene F.
24
1953
A characterization of machine mappings. Zbl 0143.01903
Ginsburg, Seymour; Rose, Gene F.
15
1966
Operations which preserve definability in languages. Zbl 0192.07201
Ginsburg, S.; Rose, G. F.
13
1963
Preservation of languages by transducers. Zbl 0186.01301
Ginsburg, S.; Rose, G. F.
11
1966
Approximation of functions on the integers. Zbl 0129.26002
Rose, G. F.; Ullian, J. S.
8
1963
Some recursively unsolvable problems in ALGOL-like languages. Zbl 0134.01302
Ginsburg, S.; Rose, G. F.
8
1963
An extension of ALGOL-like languages. Zbl 0192.07104
Rose, G. F.
7
1964
The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors. Zbl 0275.68017
Ginsburg, Seymour; Rose, Gene F.
5
1974
On the existence of generators for certain AFL. Zbl 0204.31904
Ginsburg, S.; Rose, G. F.
5
1970
On primitive recursive wordfunctions. Zbl 0317.02041
von Henke, Friedrich W.; Indermark, K.; Rose, G.; Weihrauch, K.
4
1975
A note on preservation of languages by transducers. Zbl 0165.02301
Ginsburg, S.; Rose, G. F.
4
1968
Some recursively unsolvable problems in ALGOL-like languages. Zbl 0148.25004
Ginsburg, S.; Rose, G. F.
3
1963
Abstract families of processors. Zbl 0216.23902
Rose, G. F.
3
1970
Abstract families of processors. Zbl 1282.68159
Rose, Gene F.
1
1969
Output completeness in sequential machines. Zbl 0109.24107
Rose, G. F.
1
1962
A comparison of the work done by generalized sequential machines and Turing machines. Zbl 0114.24901
Ginsburg, Seymour; Rose, Gene F.
1
1962
Closures which preserve finiteness in families of languages. Zbl 0159.01602
Rose, G. F.
1
1968
On primitive recursive wordfunctions. Zbl 0317.02041
von Henke, Friedrich W.; Indermark, K.; Rose, G.; Weihrauch, K.
4
1975
The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors. Zbl 0275.68017
Ginsburg, Seymour; Rose, Gene F.
5
1974
On the existence of generators for certain AFL. Zbl 0204.31904
Ginsburg, S.; Rose, G. F.
5
1970
Abstract families of processors. Zbl 0216.23902
Rose, G. F.
3
1970
Abstract families of processors. Zbl 1282.68159
Rose, Gene F.
1
1969
A note on preservation of languages by transducers. Zbl 0165.02301
Ginsburg, S.; Rose, G. F.
4
1968
Closures which preserve finiteness in families of languages. Zbl 0159.01602
Rose, G. F.
1
1968
A characterization of machine mappings. Zbl 0143.01903
Ginsburg, Seymour; Rose, Gene F.
15
1966
Preservation of languages by transducers. Zbl 0186.01301
Ginsburg, S.; Rose, G. F.
11
1966
An extension of ALGOL-like languages. Zbl 0192.07104
Rose, G. F.
7
1964
Operations which preserve definability in languages. Zbl 0192.07201
Ginsburg, S.; Rose, G. F.
13
1963
Approximation of functions on the integers. Zbl 0129.26002
Rose, G. F.; Ullian, J. S.
8
1963
Some recursively unsolvable problems in ALGOL-like languages. Zbl 0134.01302
Ginsburg, S.; Rose, G. F.
8
1963
Some recursively unsolvable problems in ALGOL-like languages. Zbl 0148.25004
Ginsburg, S.; Rose, G. F.
3
1963
Output completeness in sequential machines. Zbl 0109.24107
Rose, G. F.
1
1962
A comparison of the work done by generalized sequential machines and Turing machines. Zbl 0114.24901
Ginsburg, Seymour; Rose, Gene F.
1
1962
Propositional calculus and realizability. Zbl 0053.19901
Rose, Gene F.
24
1953
all top 5

Cited by 119 Authors

6 Engelfriet, Joost
5 Ginsburg, Seymour
4 Aho, Alfred Vaino
4 Ullman, Jeffrey David
3 Choffrut, Christian
3 Culik, Karel II
3 Greibach, Sheila A.
3 Ibarra, Oscar H.
3 Spanier, Edwin Henry
2 Černý, Ján
2 Fachini, Emanuela
2 Ivanov, Ilya E.
2 Napoli, Margherita
2 Okhotin, Alexander
2 Robinson, Robert W.
2 Schmidt, Erik Meineche
2 Schützenberger, Marcel-Paul
2 Solov’ëv, Sergeĭ Vladimirovich
2 Visser, Albert
2 Vogler, Heiko
1 Ae, Tadashi
1 Asveld, Peter R. J.
1 Babash, A. V.
1 Baker, Kirby A.
1 Bezhanishvili, Guram
1 Bezhanishvili, Nick
1 Bolzer, Markus
1 Book, Ronald Vernon
1 Bordihn, Henning
1 Brown, James Robert
1 Caspi, Paul
1 Chagrov, Aleksandr Vasil’evich
1 Chiaraviglio, Lucio
1 de Jongh, Dick H. J.
1 Della Vigna, P. L.
1 Dikovsky, Alexander Yakovlevich
1 Doner, John E.
1 Enaganti, Srujan Kumar
1 Fischer, Patrick Carl
1 Franks, Curtis
1 Gladky, A. V.
1 Goldstine, Jonathan
1 Gruska, Jozef
1 Herman, Gabor T.
1 Holliday, Wesley H.
1 Hopcroft, John Edward H.
1 Iemhoff, Rosalie
1 Inoue, Katsushi
1 Jain, Sanjay
1 Jiang, Tao
1 Jürgensen, Helmut
1 Kari, Lila
1 Kipnis, Mikhail Markovich
1 Kopecki, Steffen
1 Koss, Michael R.
1 Kutrib, Martin
1 Kuznetsov, Alexander Vladimirovich
1 Lehtinen, Tommi
1 Lindenmayer, Aristid
1 Lipton, James B.
1 Maletti, Andreas
1 Maneth, Sebastian
1 Marra, Vincenzo
1 Mayordomo, Elvira
1 McCarty, Charles
1 McCloskey, Teresemarie
1 McNeill, Daniel K.
1 Mezhirov, Ilya
1 Miyano, Satoru
1 Moriya, Etsuro
1 Moser, Philippe
1 Muravitsky, Alexei Yu.
1 Nagata, Shûrô
1 Nishida, Taishin Yasunobu
1 O’Connor, Mary G.
1 O’Donnell, Michael J.
1 Okubo, Fumiya
1 Pedrini, Andrea
1 Perifel, Sylvain
1 Pinzani, Renzo
1 Plisko, Valerii E.
1 Rajlich, Vaclav
1 Reutenauer, Christophe
1 Robertson, Edward L.
1 Roehrkasse, Robert C.
1 Rose, Gene F.
1 Rozenberg, Grzegorz
1 Rybakov, Vladimir Vladimirovich
1 Rytter, Wojciech
1 Salomaa, Kai T.
1 Salomon, Kenneth B.
1 Santos, Eugene S.
1 Saxton, Lawrence V.
1 Seatzu, Sebastiano
1 Sharma, Arun K.
1 Skvortsov, Dmitriy P.
1 Skyum, Sven
1 Smith, Carl H.
1 Spehner, Jean-Claude
1 Sprugnoli, Renzo
...and 19 more Authors
all top 5

Cited in 41 Serials

17 Journal of Computer and System Sciences
16 Theoretical Computer Science
8 Mathematical Systems Theory
5 Studia Logica
4 Journal of Soviet Mathematics
3 Information Sciences
2 Mathematical Notes
2 Calcolo
2 The Journal of Symbolic Logic
2 Proceedings of the American Mathematical Society
2 RAIRO, Informatique Théorique
2 Annals of Pure and Applied Logic
2 Information and Computation
2 International Journal of Foundations of Computer Science
2 International Journal of Computer Mathematics
2 Archive for Mathematical Logic
2 Matematický Časopis, Slovenskej Akadémie Vied
1 International Journal of General Systems
1 Information Processing Letters
1 Journal of Mathematical Analysis and Applications
1 Moscow University Mathematics Bulletin
1 Algebra and Logic
1 Algebra Universalis
1 Computing
1 International Journal of Computer & Information Sciences
1 Kybernetika
1 Notre Dame Journal of Formal Logic
1 Semigroup Forum
1 Transactions of the American Mathematical Society
1 History and Philosophy of Logic
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 Discrete Mathematics and Applications
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Journal of Mathematical Sciences (New York)
1 Theory of Computing Systems
1 Erkenntnis
1 Proceedings of the Japan Academy
1 Proceedings of the Steklov Institute of Mathematics
1 Computer Science Review

Citations by Year