Robert McNaughton

36 papers A* 1B 1Misc 1Journal 27Unranked 5
YearRankTypeTitle / Venue / Authors
2004 J jnl
Review of "Introduction to languages, machines and logic: computable languages, abstract machines and formal logic" by Alan P. Parkes. Springer-Verlag 2002.
SIGACT News
Robert McNaughton
2001 J jnl
Semi-Thue Systems with an Inhibitor.
J. Autom. Reason.
Robert McNaughton
2000 — ch.
Playing Infinite Games in Finite Time.
A Half-Century of Automata Theory
Robert McNaughton
1999 — conf
An Insertion into the Chomsky Hierarchy?
Jewels are Forever
Robert McNaughton
1998 J jnl
Contributions of Ronald V. Book to the Theory of String-Rewriting Systems.
Theor. Comput. Sci.
Robert McNaughton
1998 J jnl
The Finiteness of Finitely Presented Monoids.
Theor. Comput. Sci.
Robert McNaughton
1997 — conf
Book's Impact on the Theory of Thue Systems - Abstract.
Advances in Algorithms, Languages, and Complexity
Robert McNaughton
1995 Misc conf
An Efficient Algorithm for Local Testability Problem of Finite State Automata.
COCOON
Sam M. Kim, Robert McNaughton
1994 J jnl
Computing the Order of a Locally Testable Automaton.
SIAM J. Comput.
Sam M. Kim, Robert McNaughton
1993 J jnl
Infinite Games Played on Finite Graphs.
Ann. Pure Appl. Logic
Robert McNaughton
1991 J jnl
A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.
IEEE Trans. Computers
Sam M. Kim, Robert McNaughton, Robert McCloskey
1991 — conf
Computing the Order of a Locally Testable Automaton.
FSTTCS
Sam M. Kim, Robert McNaughton
1990 J jnl
Some Remarks.
Math. Syst. Theory
Robert McNaughton
1990 J jnl
The Development of Formal Language Theory Since 1956 (Review Paper).
Int. J. Found. Comput. Sci.
Robert McNaughton
1989 B conf
A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.
WADS
Sam M. Kim, Robert McNaughton, Robert McCloskey
1989 — conf
An Upper Bound on the Order of Locally Testable Deterministic Finite Automata.
Optimal Algorithms
Sam M. Kim, Robert McNaughton, Robert McCloskey
1989 J jnl
Introduction to Formal Languages (G. E. Revesz).
SIAM Rev.
Robert McNaughton
1989 J jnl
Varieties of Formal Languages (J. E. Pin; A. Howie, trans.).
SIAM Rev.
Robert McNaughton
1988 J jnl
Church-Rosser Thue systems and formal languages.
J. ACM
Robert McNaughton, Paliath Narendran, Friedrich Otto
1985 J jnl
An O(|T|3) Algorithm for Testing the Church-Rosser Property of Thue Systems.
Theor. Comput. Sci.
Deepak Kapur, Mukkai S. Krishnamoorthy, Robert McNaughton, Paliath Narendran
1985 J jnl
The Church-Rosser Property and Special Thue Systems.
Theor. Comput. Sci.
Deepak Kapur, Paliath Narendran, Mukkai S. Krishnamoorthy, Robert McNaughton
1984 J jnl
The Undecidability of the Preperfectness of Thue Systems.
Theor. Comput. Sci.
Paliath Narendran, Robert McNaughton
1976 J jnl
Regularity-Preserving Relations.
Theor. Comput. Sci.
Joel I. Seiferas, Robert McNaughton
1974 J jnl
Algebraic Decision Procedures for Local Testability.
Math. Syst. Theory
Robert McNaughton
1971 A* conf
A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets
STOC
Robert McNaughton
1969 J jnl
The loop complexity of regular events.
Inf. Sci.
Robert McNaughton
1968 J jnl
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program.
Commun. ACM
Robert McNaughton
1967 J jnl
Parenthesis Grammars.
J. ACM
Robert McNaughton
1967 J jnl
The Loop Complexity of Pure-Group Events
Inf. Control.
Robert McNaughton
1966 J jnl
Testing and Generating Infinite Sequences by a Finite Automaton
Inf. Control.
Robert McNaughton
1963 — conf
Finite automata and badly timed elements
SWCT
Robert McNaughton
1961 J jnl
The Theory of Automata, a Survey.
Adv. Comput.
Robert McNaughton
1961 J jnl
Unate Truth Functions.
IRE Trans. Electron. Comput.
Robert McNaughton
1960 J jnl
Regular Expressions and State Graphs for Automata.
IRE Trans. Electron. Comput.
Robert McNaughton, Hisao Yamada
1953 J jnl
Some Formal Relative Consistency Proofs.
J. Symb. Log.
Robert McNaughton
1951 J jnl
A Theorem About Infinite-Valued Sentential Logic.
J. Symb. Log.
Robert McNaughton