Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="McNaughton, R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An
O({|T|}^3)
algorithm for testing the Church-Rosser property of Thue systems
D. Kapur
,
M.S. Krishnamoorthy
,
R. McNaughton
,
P. Narendran
Theoretical Computer Science
35
(1), 1985, pp. 109-114
The undecidability of the preperfectness of Thue systems
P. Narendran
,
R. McNaughton
Theoretical Computer Science
31
(1,2), 1984, pp. 165-174
Regularity-preserving relations
J.I. Seiferas
,
R. McNaughton
Theoretical Computer Science
2
(2), 1976, pp. 147-154
A decision procedure for generalized sequential mapability onto of regular sets
R. McNaughton
Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, STOC'71 (Shaker Heights, OH, May 3-5, 1971)
, 1971, pp. 206-218