Index file section R for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
R
-
R, 18(2)207--220, 23(1)103--105
-
Radhakrishnan, T., 24(2)143--159
-
Radhakrishnan, T., see Nambiar, K. K.
-
Raiha, K.-J., 16(2)187--198
-
Raiha:1981:SCS, 16(2)187--198
-
Rajlich, V., 26(1)225--231
-
Rajlich:1983:DPS, 26(1)225--231
-
RAM, 22(3)297--315, 32(1)157--172
-
Ramanan, P. V., 23(1)103--105
-
Ramanan:1983:CSC, 23(1)103--105
-
Ramsey, 34(1)3--15
-
random, 18(1)95--103, 23(1)103--105, 23(3)273--286, 28(3)263--276
-
random-access, 13(3)331--336, 28(3)263--276
-
randomness, 23(3)305--315
-
range, 16(3)279--290, 32(1)77--86
-
rank, 21(3)281--313, 27(1)211--215, 28(1)135--150
-
ranking, 10(1)63--82
-
Raoult, J. C., 32(1)1--24
-
Raoult:1984:GR, 32(1)1--24
-
ratio, 29(3)325--349
-
rational, 10(1)53--61, 12(2)175--192, 15(2)201--211, 21(3)281--313,
23(1)69--82, 24(1)35--52, 26(1)221--223, 30(2)205--239,
33(2)335--342, 34(3)241--254
-
rational, iZ-, 23(3)231--242
-
Rauszer, C., 23(1)11--36
-
Rauszer, C., see Jankowski, A.
-
Ravikumar, B., 33(1)85--94
-
Ravikumar:1984:CKP, 33(1)85--94
-
reachability, 11(2)123--143, 18(3)227--258
-
real, 10(2)133--155, 20(3)323--352, 23(3)287--304, 29(3)325--349,
31(1)101--123, 33(1)85--94, 34(3)255--274
-
real-number-processing, 32(3)309--319
-
real-time, 32(3)227--247, 34(1)157--168
-
realizations, 16(2)177--185
-
realtime, 22(1)57--69
-
reasoning, 17(2)193--212, 17(3)259--278, 24(1)73--94
-
rebalancing, 11(3)303--320
-
recent, 33(1)117--138
-
recognisable, 18(2)115--148, 22(1)219--232, 33(2)335--342
-
recognition, 21(1)39--53, 22(1)219--232, 23(1)37--48, 24(1)105--117,
24(2)161--177, 32(1)201--213
-
recognizability, 27(1)61--83
-
recognizability, tree-, 27(1)211--215
-
recognizable, 18(2)115--148, 22(3)253--264
-
Record, 16(3)307--319
-
recovery, 34(3)289--313
-
rectangle, 19(3)305--320
-
rectangular, 23(1)37--48, 23(2)171--185, 33(1)3--11
-
recurrence, 31(1)125--138
-
recursion, 15(2)159--179, 22(1)135--173, 26(1)53--82, 27(1)3--38,
34(1)33--82, 34(1)135--156
-
recursive, 11(2)181--205, 12(2)175--192, 13(2)193--223, 13(3)239--270,
15(2)159--179, 17(2)163--191, 17(3)235--257, 20(2)95--207,
20(3)323--352, 21(1)1--25, 22(1)135--173, 22(3)233--251,
23(3)305--315, 23(3)333--337, 25(1)1--66, 25(2)193--120,
26(1)105--120, 26(1)131--147, 27(1)225--231, 28(1)111--133,
29(1)49--73, 29(1)185--227, 30(2)139--204, 31(1)41--48,
31(1)101--123, 32(1)173--183, 33(2)261--278
-
recursive-enumerable, 18(3)333--341
-
recursively, 21(1)75--90, 29(1)75--85, 30(1)133--138, 33(2)195--238
-
recursiveness, 15(2)213--221
-
reduced, 19(1)39--67, 32(3)279--295
-
reducibility, 14(1)91--101, 19(3)287--304, 21(1)1--25, 26(3)287--300,
31(1)49--59, 31(1)101--123, 32(1)61--76, 32(3)279--295
-
reducible, self-, 19(3)287--304
-
reduction, 11(3)341--z, 14(1)91--101, 19(1)29--38, 19(3)287--304,
21(1)99--103, 29(3)251--275, 31(1)151--162, 32(1)61--76,
32(1)185--199, 33(2)305--326, 34(1)17--32
-
reduction, depth-, 18(1)89--93
-
redundancy, 23(3)305--315
-
reference, 22(1)19--55
-
refinement, 20(3)209--263, 30(1)1--48
-
region, 16(3)329--336
-
register, 15(2)213--221
-
regular, 10(1)19--35, 10(1)45--52, 10(1)63--82, 12(1)61--81,
13(2)231--237, 13(3)323--330, 16(1)93--98, 17(1)99--102,
18(3)301--323, 23(1)1--10, 25(2)95--169, 25(2)171--192,
26(1)233--241, 27(1)85--108, 27(1)197--209, 28(3)287--298,
30(2)205--239, 31(1)1--11
-
regular, LR-, 23(1)49--68
-
regular, omega-, 23(2)217--225, 28(3)315--327
-
regularity, 27(3)311--332, 31(1)1--11, 34(3)255--274
-
Reif, J. H., 27(1)127--165
-
Reif, J. H., see Halpern, J. Y.
-
Reisch, S., 28(3)263--276
-
Reisch, S., see Kirkpatrick, D.
-
Reischuk, K. R., 19(3)253--266
-
Reischuk:1982:FIM, 19(3)253--266
-
Reiss, S. P., 11(1)1--18
-
Reiss, S. P., see Dobkin, D. P.
-
related, 11(1)93--106, 19(2)219--227, 23(3)339--345, 26(1)83--103,
31(3)317--335
-
relation, 10(1)93--105, 15(1)51--75, 16(1)61--73, 19(3)267--285,
22(1)71--93, 24(1)1--20, 24(1)73--94, 24(2)143--159, 24(3)301--312,
27(1)39--60, 27(3)311--332, 29(1)87--121, 31(1)125--138,
32(1)185--199, 33(1)95--105, 33(2)139--174, 33(2)331--334,
34(3)343--350
-
relation, one-, 33(2)331--334
-
relational, 10(1)93--105, 15(1)1--25, 15(1)51--75, 15(2)159--179,
17(3)317--331, 19(2)143--160, 19(3)267--285, 22(1)175--194,
24(2)143--159, 26(1)149--195, 32(1)185--199, 34(3)315--335,
34(3)343--350
-
relationship, 19(2)189--201, 19(3)337--341, 21(3)315--340,
24(2)161--177, 24(3)331--336, 26(3)301--326
-
relative, 14(3)289--303, 23(1)49--68, 24(1)73--94, 31(1)101--123
-
relativized, 22(3)253--264
-
relator, 33(2)331--334
-
relator, one-, 33(2)331--334
-
remark, 13(2)231--237, 21(3)341--349, 29(3)277--284, 31(3)337--349
-
repetitions, 22(3)297--315
-
repetitive, 23(1)69--82
-
replacement, 11(1)39--47, 16(3)291--305
-
representable, 17(3)343--347
-
representation, 13(3)323--330, 17(2)229--231, 20(3)265--321,
21(1)75--90, 24(2)143--159, 26(1)131--147, 26(3)335--342,
29(1)27--39, 34(1)83--133
-
representative, 32(1)61--76
-
requirement, 13(3)315--322
-
requiring, 28(3)337--345
-
research, 11(2)207--220, 19(2)189--201
-
residual, 18(1)41--67
-
residue, 14(3)211--226
-
resolution, 29(1)167--184
-
resource, 12(1)1--17, 13(1)109--136, 15(2)181--200
-
respect, 22(1)127--133
-
Restivo, A., 10(2)157--170, 12(3)325--332, 24(1)21--34
-
Restivo, A., see Boe, J. M., \see{de Luca, A.
-
restricted, 13(1)61--83, 13(3)331--336, 17(1)1--27, 22(1)175--194,
26(1)197--220, 28(3)299--314
-
restricted, Position-, 17(1)1--27
-
restriction, 13(1)61--83, 16(3)237--269, 23(1)11--36, 23(2)107--127,
24(1)1--20, 31(1)211--223, 34(3)315--335
-
result, 12(2)119--126, 15(3)291--309, 19(3)331--335, 25(2)193--120,
27(3)333--354, 29(1)185--227, 31(1)41--48, 31(3)317--335,
33(1)95--105, 33(2)261--278, 34(3)255--274
-
resultant, 22(3)317--330
-
resulting, 23(3)231--242
-
retrieval, 33(1)107--116, 33(1)z--z
-
Reutenauer, 32(1)201--213
-
Reutenauer, C., 18(2)115--148, 32(3)339--340
-
Reutenauer, C., see Berstel, J.,
see Jacob, G.
-
reversal, 32(1)221--224
-
reversal-bounded, 13(3)295--314
-
reversed, 28(3)239--261
-
revisited, 22(1)135--173
-
revisited-with, 33(1)65--84
-
rewrite, 33(2)175--193
-
rewriting, 16(3)237--269, 21(3)351--355, 27(3)311--332, 29(3)277--284,
32(1)1--24, 32(1)121--156, 32(3)249--260, 33(2)175--193
-
rewriting, string-, 23(3)339--345
-
rewriting, term-, 17(3)279--301
-
Rice, 11(3)277--301
-
Rice, Ginsburg-, 18(3)333--341
-
Richard, P., 34(3)343--350
-
Richard, P., see Bancilhon, F.
-
right, 24(1)21--34
-
rightmost, 33(1)3--11
-
ring, 11(2)207--220, 31(1)125--138
-
Robertson, E. L., 15(2)181--200
-
Robertson, E. L., see Landweber, L. H.
-
Rocca, S., Ronchi Della, 28(1)151--169
-
Romani, F., 23(2)171--185
-
Romani, F., see Lotti, G.
-
Ronchi Della Rocca, S., 28(1)151--169
-
RonchiDellaRocca:1984:PTS, 28(1)151--169
-
root, 22(3)317--330, 23(2)211--215, 32(3)227--247, 33(2)327--329
-
Rosen, B. K., 11(3)247--275
-
Rosen, B. K., see Ehrig, H.
-
Rosenberg, A. L., 11(2)145--165
-
Rosenberg:1980:UDE, 11(2)145--165
-
Rosenkrantz, D. J., 27(1)3--38
-
Rosenkrantz, D. J., see Hunt, H. B.
-
Rosenthal, A., 14(1)79--90
-
Rosenthal:1981:OAS, 14(1)79--90
-
Rosier, L. E., 24(1)35--52, 26(1)197--220
-
Rosier, L. E., see Ibarra, O. H.
-
Rosser, 11(3)247--275
-
Rosser, Church-, 16(2)223--229, 18(3)325--331, 23(3)339--345,
24(1)73--94, 24(3)301--312, 25(2)171--192, 31(1)165--174,
33(2)261--278
-
rotated, 29(1)75--85
-
rotation, 11(3)303--320
-
Rozenberg, G., 10(1)45--52, 12(2)127--134, 12(3)339--342, 14(3)267--288,
16(1)25--32, 16(3)237--269, 21(1)55--74, 21(1)75--90, 21(2)119--144,
26(3)301--326, 27(1)85--108, 27(3)311--332, 28(1)197--214,
29(1)41--48, 31(1)211--223
-
Rozenberg, G., see Ehrenfeucht, A.,
see Janssens, D., \see{Kleijn, H. C. M.
-
Rozenberg:1981:PTI, 14(3)267--288
-
Rozenberg:1983:SLPa, 26(3)301--326
-
Rozenberg:1983:SLPb, 27(1)85--108
-
Rozenberg:1984:SPE, 29(1)41--48
-
rule, 10(1)93--105, 19(2)117--141, 22(1)175--194, 24(3)337--347,
27(3)287--295, 29(3)277--284, 29(3)309--324, 31(1)211--223,
32(1)1--24, 33(1)95--105, 33(2)175--193
-
rules, type-, 22(1)1--17, 22(1)127--133
-
run-time, 34(1)227--240