# zbMATH — the first resource for mathematics

## McNaughton, Robert

Compute Distance To:
 Author ID: mcnaughton.robert Published as: McNaughton, Robert; McNaughton, R. External Links: MGP · Wikidata · dblp · GND · IdRef
 Documents Indexed: 41 Publications since 1951, including 4 Books Biographic References: 1 Publication
all top 5

#### Co-Authors

 22 single-authored 5 Kim, Sam Myo 5 Narendran, Paliath 3 McCloskey, Robert 2 Kapur, Deepak 2 Krishnamoorthy, Mukkai S. 2 Pollmar, Carl H. 2 Wang, Hao 2 Warren, Don W. 2 Wright, Jesse B. 1 Buks, Arthur W. 1 Burks, Arthur W. 1 Otto, Friedrich 1 Papert, Seymour Aubrey 1 Patterson, George W. 1 Seiferas, Joel I. 1 Zalcstein, Yechezkel
all top 5

#### Serials

 6 Theoretical Computer Science 2 Information and Control 2 Journal of Algebra 2 Journal of the Association for Computing Machinery 2 The Journal of Symbolic Logic 1 IEEE Transactions on Computers 1 Management Science 1 Mathematical Systems Theory 1 Pacific Journal of Mathematics 1 Proceedings of the American Mathematical Society 1 SIAM Journal on Computing 1 Transactions of the American Mathematical Society 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Journal of the Society for Industrial & Applied Mathematics 1 Advances in Computers
all top 5

#### Fields

 22 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 4 Group theory and generalizations (20-XX) 3 Information and communication theory, circuits (94-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Operations research, mathematical programming (90-XX)

#### Citations contained in zbMATH Open

30 Publications have been cited 1,046 times in 969 Documents Cited by Year
Scheduling with deadlines and loss functions. Zbl 1047.90504
McNaughton, Robert
1959
Counter-free automata. With an appendix by William Henneman. Zbl 0232.94024
McNaughton, Robert; Papert, Seymour
1971
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
1966
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
1951
Regular expressions and state graphs for automata. Zbl 0156.25501
McNaughton, R.; Yamada, H.
1960
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
1993
Algebraic decision procedures for local testability. Zbl 0287.02022
McNaughton, Robert
1974
Parenthesis grammars. Zbl 0168.01206
McNaughton, R.
1967
Church-Rosser Thue systems and formal languages. Zbl 0652.68093
McNaughton, Robert; Narendran, Paliath; Otto, Friedrich
1988
The Burnside problem for semigroups. Zbl 0302.20054
McNaughton, Robert; Zalcstein, Yechezkel
1975
The loop complexity of pure-group events. Zbl 0166.26905
McNaughton, R.
1967
Regularity-preserving relations. Zbl 0353.94044
Seiferas, J. I.; McNaughton, R.
1976
The undecidability of the preperfectness of Thue systems. Zbl 0545.03022
Narendran, Paliath; McNaughton, Robert
1984
An $$O(| T| ^ 3)$$ algorithm for testing the Church-Rosser property of Thue systems. Zbl 0563.03018
Kapur, D.; Krishnamoorthy, M. S.; McNaughton, R.; Narendran, P.
1985
Computing the order of a locally testable automaton. Zbl 0830.68065
Kim, Sam M.; McNaughton, Robert
1994
The theory of automata, a survey. Zbl 0133.09801
McNaughton, Robert
1961
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 1395.68171
Kim, Sam M.; McNaughton, Robert; McCloskey, Robert
1991
Special monoids and special Thue systems. Zbl 0618.20039
McNaughton, R.; Narendran, P.
1987
Semi-Thue systems with an inhibitor. Zbl 0981.68073
McNaughton, Robert
2001
The Church-Rosser property and special Thue systems. Zbl 0586.03028
Kapur, D.; Narendran, P.; Krishnamoorthy, M. S.; McNaughton, R.
1985
An insertion into the Chomsky hierarchy? Zbl 0979.68545
McNaughton, Robert
1999
Playing infinite games in finite time. Zbl 1053.68058
McNaughton, Robert
2001
Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001
Wang, Hao; McNaughton, Robert
1953
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 0767.68077
Kim, Sam; McNaughton, Robert; McCloskey, Robert
1989
Elementary computability, formal languages, and automata. Zbl 0529.68001
McNaughton, Robert
1982
An upper bound on the order of locally testable deterministic finite automata. Zbl 0704.68082
Kim, S.; McNaughton, R.; McCloskey, R.
1989
A theorem about infinite-valued sentential logic. Zbl 0135.24807
McNaughton, R.
1961
Computing the order of a locally testable automaton. Zbl 0925.68321
Kim, Sam; McNaughton, Robert
1991
Some formal relative consistency proofs. Zbl 0053.00501
McNaughton, Robert
1953
Undefinability of addition from one unary operator. Zbl 0143.25001
McNaughton, R.
1965
Semi-Thue systems with an inhibitor. Zbl 0981.68073
McNaughton, Robert
2001
Playing infinite games in finite time. Zbl 1053.68058
McNaughton, Robert
2001
An insertion into the Chomsky hierarchy? Zbl 0979.68545
McNaughton, Robert
1999
Computing the order of a locally testable automaton. Zbl 0830.68065
Kim, Sam M.; McNaughton, Robert
1994
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
1993
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 1395.68171
Kim, Sam M.; McNaughton, Robert; McCloskey, Robert
1991
Computing the order of a locally testable automaton. Zbl 0925.68321
Kim, Sam; McNaughton, Robert
1991
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 0767.68077
Kim, Sam; McNaughton, Robert; McCloskey, Robert
1989
An upper bound on the order of locally testable deterministic finite automata. Zbl 0704.68082
Kim, S.; McNaughton, R.; McCloskey, R.
1989
Church-Rosser Thue systems and formal languages. Zbl 0652.68093
McNaughton, Robert; Narendran, Paliath; Otto, Friedrich
1988
Special monoids and special Thue systems. Zbl 0618.20039
McNaughton, R.; Narendran, P.
1987
An $$O(| T| ^ 3)$$ algorithm for testing the Church-Rosser property of Thue systems. Zbl 0563.03018
Kapur, D.; Krishnamoorthy, M. S.; McNaughton, R.; Narendran, P.
1985
The Church-Rosser property and special Thue systems. Zbl 0586.03028
Kapur, D.; Narendran, P.; Krishnamoorthy, M. S.; McNaughton, R.
1985
The undecidability of the preperfectness of Thue systems. Zbl 0545.03022
Narendran, Paliath; McNaughton, Robert
1984
Elementary computability, formal languages, and automata. Zbl 0529.68001
McNaughton, Robert
1982
Regularity-preserving relations. Zbl 0353.94044
Seiferas, J. I.; McNaughton, R.
1976
The Burnside problem for semigroups. Zbl 0302.20054
McNaughton, Robert; Zalcstein, Yechezkel
1975
Algebraic decision procedures for local testability. Zbl 0287.02022
McNaughton, Robert
1974
Counter-free automata. With an appendix by William Henneman. Zbl 0232.94024
McNaughton, Robert; Papert, Seymour
1971
Parenthesis grammars. Zbl 0168.01206
McNaughton, R.
1967
The loop complexity of pure-group events. Zbl 0166.26905
McNaughton, R.
1967
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
1966
Undefinability of addition from one unary operator. Zbl 0143.25001
McNaughton, R.
1965
The theory of automata, a survey. Zbl 0133.09801
McNaughton, Robert
1961
A theorem about infinite-valued sentential logic. Zbl 0135.24807
McNaughton, R.
1961
Regular expressions and state graphs for automata. Zbl 0156.25501
McNaughton, R.; Yamada, H.
1960
Scheduling with deadlines and loss functions. Zbl 1047.90504
McNaughton, Robert
1959
Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001
Wang, Hao; McNaughton, Robert
1953
Some formal relative consistency proofs. Zbl 0053.00501
McNaughton, Robert
1953
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
1951
all top 5

#### Cited by 1,097 Authors

 33 Otto, Friedrich 18 Kutrib, Martin 15 Pin, Jean-Eric 11 Diekert, Volker 11 Holzer, Markus 10 Mundici, Daniele 9 Caron, Pascal 9 Epstein, Leah 9 Strusevich, Vitaly A. 8 Błażewicz, Jacek 8 Champarnaud, Jean-Marc 8 Chatterjee, Krishnendu 8 Cohen, Rina S. 8 Di Nola, Antonio 8 Thomas, Wolfgang 8 Weil, Pascal 8 Yu, Sheng 7 Carton, Olivier 7 Flaminio, Tommaso 7 Kufleitner, Manfred 7 Kupferman, Orna 7 Leung, Joseph Y.-T. 7 Mandrioli, Dino 7 Mignot, Ludovic 7 Rabinovich, Alexander 7 Salomaa, Kai T. 7 Shakhlevich, Natalia V. 7 Wood, Derick 6 Blanchet-Sadri, Francine 6 Costa, José Carlos 6 Crespi Reghizzi, Stefano 6 Finkel, Olivier 6 Gastin, Paul 6 Jurdziński, Tomasz 6 Kroupa, Tomáš 6 Narendran, Paliath 6 Place, Thomas 6 Pradella, Matteo 6 Schewe, Sven 6 Selivanov, Viktor L’vovich 6 Straubing, Howard 6 Ziadi, Djelloul 5 Bedon, Nicolas 5 Boasson, Luc 5 Bonizzoni, Paola 5 Brzozowski, Janusz Antoni 5 Droste, Manfred 5 Drozdowski, Maciej 5 Fisman, Dana 5 Garcia, Pedro 5 Gold, Arie Y. 5 Malcher, Andreas 5 Mráz, František 5 Murano, Aniello 5 Panti, Giovanni 5 Restivo, Antonio 5 Sénizergues, Géraud 5 Timmerman, Erick 5 Trahtman, Avraham Naumovich 5 Vardi, Moshe Y. 5 Zalcstein, Yechezkel 5 Zhang, Louxin 4 Aguzzoli, Stefano 4 Boker, Udi 4 Cintula, Petr 4 de Luca, Aldo 4 Doyen, Laurent 4 Finke, Gerd 4 Henzinger, Thomas A. 4 Huo, Yumei 4 Jakubík, Ján 4 Jiang, Yiwei 4 Kovalyov, Mikhail Yakovlevich 4 La Torre, Salvatore 4 Lapenta, Serafina 4 Latteux, Michel 4 Leuştean, Ioana 4 Litovsky, Igor 4 Malinowski, Grzegorz 4 Mogavero, Fabio 4 Montagna, Franco 4 Nivat, Maurice 4 Niwiński, Damian 4 Pinedo, Michael L. 4 Riba, Colin 4 Ruiz, Rubén 4 Schmidt, Günter 4 Shioura, Akiyoshi 4 Thérien, Denis 4 Walukiewicz, Igor 4 Wendlandt, Matthias 4 Wilke, Thomas 4 Woeginger, Gerhard Johannes 4 Zeitoun, Marc 4 Zimmermann, Martín G. 3 Asher, Nicholas M. 3 Autebert, Jean-Michel 3 Baptiste, Philippe 3 Bova, Simone 3 Brandt, Scott A. ...and 997 more Authors
all top 5

#### Cited in 147 Serials

 202 Theoretical Computer Science 47 Journal of Computer and System Sciences 47 Information and Computation 33 European Journal of Operational Research 24 International Journal of Foundations of Computer Science 23 Discrete Applied Mathematics 21 Information Processing Letters 19 Aplikace Matematiky 19 Czechoslovak Mathematical Journal 16 Journal of Scheduling 15 Studia Logica 15 RAIRO. Theoretical Informatics and Applications 14 Semigroup Forum 13 Acta Informatica 13 Fuzzy Sets and Systems 13 The Journal of Symbolic Logic 13 Kybernetika 12 Mathematical Systems Theory 12 Theory of Computing Systems 11 Computers & Operations Research 11 RAIRO. Informatique Théorique et Applications 11 Logical Methods in Computer Science 10 Annals of Pure and Applied Logic 10 Annals of Operations Research 9 Journal of Pure and Applied Algebra 8 International Journal of Approximate Reasoning 7 Discrete Mathematics 7 Journal of Algebra 7 RAIRO, Informatique Théorique 7 Operations Research Letters 7 Real-Time Systems 7 Annals of Mathematics and Artificial Intelligence 7 Soft Computing 6 International Journal of Production Research 6 Archive for Mathematical Logic 6 RAIRO. Theoretical Informatics and Applications 5 Formal Methods in System Design 4 Computing 4 Algorithmica 4 International Journal of Algebra and Computation 4 Journal of Logic, Language and Information 4 Journal of Logical and Algebraic Methods in Programming 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Algebra Universalis 3 Information Sciences 3 Proceedings of the American Mathematical Society 3 Journal of Automated Reasoning 3 Journal of Applied Non-Classical Logics 3 Journal of Combinatorial Optimization 3 ACM Transactions on Computational Logic 2 Israel Journal of Mathematics 2 Bulletin of Mathematical Biology 2 Advances in Mathematics 2 Algebra and Logic 2 International Journal of Computer & Information Sciences 2 Journal of Soviet Mathematics 2 Kybernetes 2 Transactions of the American Mathematical Society 2 European Journal of Combinatorics 2 Advances in Applied Mathematics 2 Physica D 2 Journal of Symbolic Computation 2 Mathematical and Computer Modelling 2 Journal of Parallel and Distributed Computing 2 MSCS. Mathematical Structures in Computer Science 2 Discrete Event Dynamic Systems 2 Automation and Remote Control 2 Mathematical Programming. Series A. Series B 2 Mathematical Logic Quarterly (MLQ) 2 Top 2 Discrete Optimization 2 BIT. Nordisk Tidskrift for Informationsbehandling 2 Optimization Letters 2 Computer Science Review 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Artificial Intelligence 1 Bulletin of the Australian Mathematical Society 1 Communications in Algebra 1 Computers & Mathematics with Applications 1 International Journal of Systems Science 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Mathematical Biosciences 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Problems of Information Transmission 1 Calcolo 1 Glasgow Mathematical Journal 1 Journal of Functional Analysis 1 Journal of Philosophical Logic 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 SIAM Journal on Computing 1 Siberian Mathematical Journal 1 Cybernetics 1 Journal of Information & Optimization Sciences 1 Systems & Control Letters 1 Order 1 Acta Mathematicae Applicatae Sinica. English Series 1 New Generation Computing 1 Asia-Pacific Journal of Operational Research 1 SIAM Journal on Discrete Mathematics ...and 47 more Serials
all top 5

#### Cited in 39 Fields

 655 Computer science (68-XX) 242 Mathematical logic and foundations (03-XX) 154 Operations research, mathematical programming (90-XX) 96 Group theory and generalizations (20-XX) 48 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 46 Order, lattices, ordered algebraic structures (06-XX) 14 Combinatorics (05-XX) 12 Information and communication theory, circuits (94-XX) 11 Numerical analysis (65-XX) 10 Functional analysis (46-XX) 9 General algebraic systems (08-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 Category theory; homological algebra (18-XX) 7 Associative rings and algebras (16-XX) 7 Measure and integration (28-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 Probability theory and stochastic processes (60-XX) 6 Number theory (11-XX) 5 General topology (54-XX) 5 Systems theory; control (93-XX) 4 History and biography (01-XX) 4 Operator theory (47-XX) 4 Biology and other natural sciences (92-XX) 3 Statistics (62-XX) 2 Convex and discrete geometry (52-XX) 2 Differential geometry (53-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Algebraic topology (55-XX) 1 Fluid mechanics (76-XX) 1 Mathematics education (97-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.