Index file section R for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
R
-
R, 92(2)319--336, 121(1)9--58
-
R-automaton, 79(1)151--162
-
R-strongly, 95(2)263--277
-
R-structures, 114(2)201--229
-
R-way, 110(1)99--129
-
R., see Edelsbrunner, H.
-
Raamsdonk, Femke van, 121(1)279--308
-
Raamsdonk, Femke van, see Klop, Jan Willem
-
Rabani, Y., 95(2)231--244
-
Rabani:1992:SCS, 95(2)231--244
-
Rabin, 74(2)239--248, 83(2)323--335, 134(1)13--25
-
Rabin, Michael O., 128(1)3--30
-
Rabin, Michael O., see Aumann, Yonatan
-
Rabin-Scott, 134(2)329--363
-
Rabinovich, A., 90(1)171--184
-
Rabinovich, A., see Mazurkiewicz, A.
-
Radhakrishnan, Sridhar, 120(2)261--278
-
Radhakrishnan, Sridhar, see Subbiah, Rajanarayanan
-
radices, 126(2)281--292
-
Raghavan, P., 106(2)265--281
-
Raghavan, P., see Bern, M. W.
-
Ragunath, M. T., 96(2)285--304
-
Ragunath, M. T., see Garg, V. K.
-
Rajasekar, A., 86(1)93--106
-
Rajasekar, A., see Lobo, J.
-
Rajasekaran, S., 99(1)157--176
-
Rajasekaran:1992:NAP, 99(1)157--176
-
Rajsbaum, S., 128(1)63--74
-
Rajsbaum, S., see Garofalakis, J.
-
RAM, 73(3)313--317, 82(1)141--149, 85(1)53--74, 95(2)323--337,
127(1)53--67, 130(1)85--99
-
RAM, P-, 71(3)401--411
-
Rama, R., 87(2)329--346
-
Rama, R., see Nirmal, N.
-
Ramachandran, V., 100(1)1--44
-
Ramachandran, V., see Trahan, J. L.
-
Ramanan, P., 93(2)279--301
-
Ramanan:1992:TOA, 93(2)279--301
-
Ramanathan, Geetha, 133(2)341--359
-
Ramanathan:1994:RED, 133(2)341--359
-
Ramesh, S., 101(2)289--335
-
Ramesh, S., see Hooman, J. J. M.
-
Ramsey, 115(1)63--75
-
Ramsey-type, 72(1)65--94
-
Ramseyan, 72(1)65--94
-
random, 71(3)401--411, 81(1)117--126, 82(1)141--149, 92(2)301--307,
93(2)201--225, 100(1)1--44, 107(1)135--144, 112(2)383--390,
127(2)333--350, 132(1)1--35, 132(1)377--385
-
random, pseudo-, 136(2)487--506
-
random, pspace-, 107(1)95--120
-
random-access, 71(1)3--28, 92(1)87--105, 100(1)1--44, 116(2)421--429,
123(2)415--426, 128(1)3--30
-
random-sampling, 116(1)195--226
-
randomisation, 131(2)415--429
-
randomised, 108(2)371--384
-
randomization, 96(2)389--403, 127(2)255--267, 131(2)415--429
-
randomized, 81(2)237--256, 83(2)275--285, 97(2)199--215, 99(1)157--176,
100(1)157--184, 107(1)63--76, 107(1)135--144, 112(2)339--354,
130(1)17--47, 130(1)73--84, 130(1)85--99, 130(1)101--123,
130(1)163--174
-
randomly, 118(1)81--98
-
randomness, 96(2)305--324, 107(1)135--144
-
Randrianarimanana, B., 72(2)147--167, 93(2)201--225
-
Randrianarimanana, B., see Francon, J.,
see Louchard, G.
-
Rangan, C. P., 91(1)1--21
-
Rangan, C. P., see Srinivasan, A.
-
Rangan, C. Pandu, 115(2)351--357
-
Rangan, C. Pandu, see Srikant, R.
-
range, 121(1)59--69
-
Ranjan, D., 80(2)289--302, 107(1)145--163
-
Ranjan, D., see Panconesi, A.
-
Ranjan:1991:SBC, 80(2)289--302
-
rank, 99(2)231--241, 102(2)307--328, 112(2)311--337, 129(2)369--383
-
rank-3, 100(1)45--66
-
rank-4, 100(1)45--66
-
rankability, p-, 100(1)205--221
-
ranked, 76(2)261--271
-
ranking, 79(1)25--35
-
Raoult, J.-C, 126(1)1--z
-
Raoult:1994:P, 126(1)1--z
-
Rapid, 90(1)199--208
-
rapidly, 73(1)91--100
-
rate, 128(1)179--210
-
ratio, 84(1)127--150, 130(1)5--16, 130(1)49--72, 130(1)73--84,
130(1)85--99, 130(1)175--201
-
rational, 70(2)261--271, 74(3)329--340, 76(2)243--250, 76(2)251--260,
79(1)151--162, 84(2)251--264, 85(1)33--52, 86(2)277--323,
88(2)313--324, 89(2)207--343, 93(2)169--183, 93(2)327--331,
94(2)175--197, 95(2)279--305, 98(1)5--13, 98(1)27--39, 98(1)41--50,
98(1)79--97, 98(1)z--z, 99(2)291--299, 103(1)39--49, 108(1)3--16,
108(1)45--82, 108(2)385--391, 115(2)243--260, 127(1)1--23,
134(1)27--50, 134(2)403--413
-
rational, B-, 89(2)207--343
-
rational, B-, 89(2)207--343
-
rational, Z-, 98(2)163--197
-
rationale, 75(1)111--138
-
rationalité, 98(1)79--97
-
rationality, 98(1)53--63, 98(1)z--z, 117(1)39--43, 117(1)z--z,
135(2)345--359
-
Rauch, Monika, 130(1)139--161
-
Rauch, Monika, see Hershberger, John
-
Razborov, A. A., 106(2)385--390
-
Razborov:1992:DCD, 106(2)385--390
-
reachability, 77(3)321--330, 82(2)341--372, 90(2)369--390,
93(2)185--199, 99(1)79--104, 113(1)93--117, 114(1)93--118,
119(2)331--343, 126(1)31--52, 131(2)431--439
-
reachable, 97(1)67--81, 114(1)93--118
-
reactive, 83(1)97--130, 101(2)289--335, 105(1)85--128, 114(1)3--30
-
reactivity, 83(1)97--130
-
read-once, 107(1)63--76, 107(1)135--144
-
read-once-only, 86(2)267--275
-
read-only, 98(2)347--356
-
readability, 77(1)73--95
-
readiness, 80(2)263--288
-
reading, 108(2)357--363
-
ready, 101(2)223--237
-
real, 71(3)425--429, 82(1)151--155, 83(2)219--235, 84(1)77--105,
88(1)171--182, 88(2)287--296, 94(2)175--197, 94(2)223--236,
108(2)385--391, 108(2)393--400, 123(2)351--375, 133(1)15--22,
133(1)35--47, 133(1)85--94, 133(1)95--104
-
real-life, 85(1)155--170
-
real-time, 88(2)287--296, 94(1)125--140, 95(2)207--229, 97(1)83--103,
97(2)245--262, 100(1)105--135, 101(2)289--335, 126(2)183--235,
128(1)75--97, 131(1)219--241, 133(2)341--359
-
real-time, hand-, 118(1)3--20
-
real-time, quasi-, 85(1)171--203
-
real-valued, 126(2)183--235
-
realised, 79(1)241--256
-
realizability, 90(2)309--353, 122(1)119--136, 129(1)79--94,
131(1)121--138, 135(1)5--9
-
realizability, q-, 90(2)309--353, 131(1)121--138
-
realization, 79(1)195--207, 87(2)229--249, 100(2)267--302
-
realized, 83(1)131--155
-
realtime, 108(2)393--400
-
rear, move-to-, 74(2)183--197
-
reasoning, 74(1)37--69, 80(2)125--151, 82(2)341--372, 83(1)97--130,
83(2)287--300, 93(1)115--141, 96(1)35--72, 97(1)67--81,
103(2)235--271, 104(1)129--159, 107(2)277--303, 110(2)377--403,
112(1)99--143, 113(2)259--272, 113(2)349--370, 113(2)371--375,
114(2)231--245, 118(2)315--315, 120(1)1--44, 128(1)127--157,
133(2)267--306
-
reciprocal, 108(2)385--391
-
recoded, 129(2)407--417
-
recoding, 129(2)407--417
-
Recognising, 109(1)83--122
-
recognition, 80(1)53--75, 81(2)311--316, 85(1)53--74, 85(1)171--203,
88(1)99--116, 92(1)19--31, 92(1)33--47, 92(1)77--86, 92(1)107--117,
92(1)145--164, 92(1)165--179, 92(1)191--211, 92(1)z--z,
98(2)289--319, 106(1)21--60, 107(2)349--356, 112(1)53--97,
115(2)291--319, 116(1)117--149, 116(2)421--429, 123(2)427--428,
129(2)337--367, 132(1)403--414, 132(1)435--444, 136(2)291--332,
136(2)387--417
-
recognizability, 76(2)261--271, 80(2)153--202, 99(2)327--z,
134(1)13--25
-
recognizable, 74(2)239--248, 76(2)261--271, 77(3)237--247,
86(2)233--241, 86(2)325--342, 92(1)77--86, 93(2)169--183,
98(2)321--337, 108(1)173--183, 115(2)391--399, 125(2)167--204,
126(1)53--75, 133(1)35--47, 134(2)311--328
-
recognizer, 80(1)53--75, 129(2)337--367
-
recognizing, 81(2)295--304, 115(2)391--399, 120(2)261--278
-
reconfigurable, 120(2)215--227, 128(1)241--252
-
reconfiguration, 128(1)179--210
-
reconfigured, 128(1)241--252
-
reconnaissabilité, 99(2)327--z
-
reconnaissance, 115(2)291--319
-
records, 76(1)53--91
-
recovery, 105(2)275--299, 128(1)99--125
-
rectangular, 120(2)261--278
-
rectilinear, 99(2)213--230
-
recurrence, 82(1)85--93, 94(2)223--236, 106(2)183--219, 116(2)317--337,
121(1)309--321, 129(2)263--278
-
recurrent, 79(1)257--261, 121(1)441--448, 132(1)113--128
-
recurring, 102(2)253--281, 118(1)3--20
-
recursion, 70(1)3--34, 72(2)265--288, 72(2)z--z, 76(1)53--91,
76(2)309--322, 78(1)159--187, 82(2)403--408, 86(1)35--79,
86(1)81--92, 90(1)127--149, 93(1)91--113, 115(1)151--189,
116(1)95--116, 121(1)59--69, 121(1)89--112, 121(1)411--440,
124(2)273--295, 125(1)61--90, 135(2)171--220, 136(1)217--242,
136(1)243--275
-
recursion-theoretic, 77(3)309--319
-
recursively, 71(3)281--346, 71(3)347--380, 72(2)265--288, 76(2)323--330,
81(2)305--310, 82(2)403--408, 90(2)309--353, 93(2)327--331,
105(2)167--215, 106(1)119--134, 116(1)151--194, 124(1)149--168,
124(2)195--219, 135(2)319--343
-
reduced, Gauss-, 134(1)131--173
-
reducibility, 81(1)35--47, 88(1)1--14, 100(1)205--221, 127(1)69--98,
127(1)99--121, 132(1)37--70, 136(1)243--275
-
reducibility, co-, 106(1)87--117
-
reducibility, d-self-, 81(2)189--199
-
reducibility, self-, 81(2)189--199, 88(1)183--189,
112(2)255--275
-
reducible, 1/-, 79(1)25--35
-
reducible, ground-, 106(1)87--117
-
reducible, logspace-, 123(2)415--426
-
reducible, self-, 88(1)183--189, 112(2)255--275
-
reducing, weight-, 74(1)3--18
-
reduction, 72(2)133--146, 81(2)189--199, 82(1)141--149, 88(1)1--14,
88(2)269--285, 89(2)207--343, 92(1)3--17, 93(1)75--89,
96(2)305--324, 97(2)245--262, 98(1)137--161, 99(1)1--63,
100(1)205--221, 103(2)283--309, 104(1)109--128, 107(1)145--163,
107(2)333--347, 108(2)185--236, 111(1)145--189, 115(2)261--275,
115(2)371--381, 118(2)193--229, 121(1)279--308, 123(1)95--115,
123(2)407--413, 126(2)259--280, 127(1)99--121, 127(1)149--170,
131(2)441--448, 132(1)179--207, 132(1)229--241, 132(1)403--414,
135(1)67--110, 135(1)111--137, 135(1)z--z
-
reduction, beta-, 111(1)145--189, 135(1)111--137
-
reductionist, 111(1)211--252
-
reductions, DLOGTIME-, 107(1)31--61
-
redundancy, 74(2)227--237, 87(2)263--286, 135(1)67--110
-
redundant, 128(1)127--157
-
reference, 71(2)193--208
-
reference, self-, 111(1)211--252
-
refined, 136(1)183--216
-
refinement, 71(3)281--346, 82(2)253--284, 87(1)143--162, 95(1)97--113,
95(1)159--168, 99(1)105--119, 100(2)365--383, 102(1)165--183,
114(1)173--200, 118(1)21--48, 131(1)219--241, 133(2)341--359
-
reflection, 75(1)85--110
-
reflectors, 82(2)215--252
-
reflexive, 70(1)159--178
-
reflexive-transitive, 93(2)321--325
-
refutation, 75(1)85--110, 103(1)51--106
-
refutation, SLDNF-, 97(1)143--156
-
Reggio, G., 96(1)249--283
-
Reggio, G., see Astesiano, E.
-
Reghizzi, S. C., 85(1)171--203
-
Reghizzi, S. C., see Cherubini, A.
-
region, 82(2)303--327, 112(2)215--253, 129(2)207--262
-
regional, 133(1)165--185
-
register, 104(2)285--298, 129(1)1--38
-
Regnier, Laurent, 126(2)281--292
-
Regnier, M., 92(1)19--31
-
Regnier, M., see Baeza-Yates, R. A.
-
Regnier:1994:ELT, 126(2)281--292
-
Regula, 88(2)313--324
-
regular, 70(2)213--232, 73(1)91--100, 73(3)329--333, 74(3)341--354,
75(1)157--215, 76(2)261--271, 76(2)273--284, 76(2)323--330,
77(1)97--129, 79(1)25--35, 81(2)305--310, 82(1)19--33,
83(2)287--300, 84(2)293--311, 85(1)117--134, 86(2)233--241,
87(1)43--80, 87(2)315--327, 88(1)139--150, 88(2)287--296,
88(2)351--363, 91(1)85--100, 91(1)101--117, 96(2)285--304,
97(2)217--231, 98(2)163--197, 99(1)79--104, 100(1)67--104,
101(1)133--141, 103(2)191--204, 103(2)409--420, 104(2)161--183,
106(1)61--86, 106(1)119--134, 108(1)17--24, 108(2)393--400,
112(2)187--214, 112(2)413--418, 115(2)261--275, 116(2)305--316,
116(2)373--398, 119(2)267--291, 120(2)197--213, 124(2)329--342,
125(2)315--328, 125(2)361--371, 127(2)287--312, 129(1)187--192,
131(2)311--330, 131(2)463--473, 132(1)71--84, 133(1)49--64,
134(1)107--117, 134(1)119--130, 134(1)175--188, 134(1)189--208,
134(1)253--262, 134(2)537--544
-
regular, 3-, 131(2)463--473
-
regular, infinity-, 103(2)191--204
-
regular, k-, 98(2)163--197, 131(2)463--473
-
regular, omega-, 96(2)345--360, 97(1)131--142
-
regularity, 73(1)81--89, 79(2)323--339, 88(1)117--125, 92(1)107--117,
95(2)339--340, 119(2)247--265, 120(2)229--245, 133(2)361--385
-
regularly, 119(2)345--354
-
reheap, 118(1)81--98
-
Reif, J. H., 99(1)157--176
-
Reif, J. H., see Rajasekaran, S.
-
Reif, Klein-, 116(2)421--429
-
Reilly, Norman R., 134(1)189--208
-
Reilly:1994:BVG, 134(1)189--208
-
Reimen, N., 101(1)59--98
-
Reimen, N., see Mazoyer, J.
-
Reisig, W., 80(1)1--34
-
Reisig:1991:PNA, 80(1)1--34
-
related, 78(2)357--362, 83(2)169--188, 106(2)351--360, 112(1)53--97,
116(2)373--398, 125(1)61--90
-
related, polynomial-, 113(1)55--73
-
relation, 70(1)35--64, 71(1)29--45, 72(2)133--146, 73(2)213--230,
73(3)279--294, 74(2)199--216, 74(3)325--328, 77(1)131--159,
77(3)267--289, 77(3)291--308, 79(2)323--339, 81(1)147--153,
81(2)295--304, 82(2)303--327, 83(1)29--56, 85(1)171--203,
86(2)205--232, 86(2)277--323, 87(1)97--114, 87(1)163--188,
87(2)263--286, 89(1)3--32, 90(1)171--184, 90(2)355--367,
91(1)23--55, 91(1)101--117, 93(2)321--325, 94(1)1--35, 96(1)35--72,
97(1)67--81, 98(1)5--13, 98(1)z--z, 99(2)177--211, 103(1)143--159,
103(2)235--271, 105(1)7--25, 105(2)217--273, 107(2)277--303,
108(1)45--82, 114(2)247--272, 114(2)317--330, 117(1)45--65,
123(2)259--272, 125(1)61--90, 126(2)281--292, 129(1)187--192,
132(1)179--207, 133(1)15--22, 133(2)341--359, 133(2)387--419,
134(2)537--544, 135(2)289--318, 136(1)163--181
-
relational, 70(3)277--303, 72(2)133--146, 73(2)213--230, 76(1)3--51,
77(3)267--289, 77(3)291--308, 78(1)217--244, 82(2)303--327,
87(1)209--220, 91(1)23--55, 95(1)1--42, 100(2)347--364, 101(1)3--33,
109(1)123--143, 114(2)247--272, 116(1)117--149, 116(1)195--226,
119(1)187--214, 131(2)375--414, 133(2)361--385, 133(2)387--419
-
relationally-attributed, 73(2)213--230
-
relations, I-, 134(2)455--471
-
relationship, 81(1)117--126, 96(2)285--304, 103(2)365--386,
105(1)57--84, 106(2)243--264, 120(2)197--213
-
relative, 72(1)39--53, 86(1)35--79, 91(1)85--100, 100(1)205--221,
107(1)95--120, 131(1)1--28
-
relativisation, 88(1)1--14
-
relativizable, 115(2)225--241
-
relativization, 74(2)217--225, 77(3)221--235, 93(2)265--277,
133(1)15--22
-
relativized, 81(1)155--163, 87(2)347--352, 88(1)1--14, 102(2)215--252,
133(1)15--22, 134(2)545--557
-
relator, 123(2)273--289
-
relay, 100(1)105--135
-
release, 75(3)347--355, 130(1)17--47
-
reliability, 128(1)127--157, 128(1)159--177, 128(1)179--210
-
reliable, 90(1)199--208
-
remark, 127(2)287--312, 141(1)329--330
-
Remila, Eric, 134(2)415--426, 136(2)291--332
-
Rémila, Eric, 123(1)151--165
-
Remila:1994:LAT, 123(1)151--165
-
Remila:1994:RGA, 136(2)291--332
-
Remila:1994:TTT, 134(2)415--426
-
removal, 93(1)91--113
-
Remy, J. L., 72(2)95--z
-
Remy, J. L., see Dauchet, M.
-
renaming, 96(2)285--304, 114(1)119--147, 124(2)343--350
-
renewal, 94(2)367--371
-
renewal-reward, 106(2)243--264
-
Rensink, Arend, 124(1)169--179
-
Rensink, Arend, see Goltz, Ursula
-
reorganization, 119(2)355--361
-
repair, 125(1)91--109, 128(1)179--210
-
repeated, 88(1)59--82
-
repeating, 119(2)323--329
-
repetition, 95(2)187--205
-
repetitive, 124(1)1--40
-
repetitive, Non-, 72(1)39--53
-
replacement, 74(1)3--18, 87(2)229--249, 105(1)57--84, 109(1)7--48,
109(1)49--82, 110(1)145--168, 116(1)151--194, 126(1)53--75
-
replacement, hyperedge-, 89(1)33--62, 109(1)83--122,
110(1)145--168
-
replacement, node-, 88(1)151--170
-
replicated, 128(1)159--177
-
replication, 128(1)159--177
-
reply, 106(2)391--393, 106(2)395--400
-
report, 103(2)235--271
-
representable, 107(2)349--356
-
Représentation, 117(1)131--136
-
representation, 70(3)305--342, 74(2)163--181, 74(2)183--197,
75(3)289--309, 77(1)97--129, 77(3)237--247, 78(1)159--187,
79(1)195--207, 80(1)35--51, 81(2)305--310, 83(2)219--235,
84(2)293--311, 85(2)253--281, 87(1)43--80, 88(1)171--182,
89(1)137--159, 90(2)433--456, 94(2)223--236, 97(1)157--173,
99(2)213--230, 108(2)331--344, 112(2)291--309, 117(1)131--136,
119(2)331--343, 120(1)101--121, 123(1)61--87, 123(2)291--314,
123(2)377--388, 125(2)167--204, 126(1)77--96, 129(2)207--262,
133(2)307--340, 134(2)403--413, 135(2)267--288
-
representation, Horvert-, 99(2)213--230
-
representation, theta-, 94(2)223--236
-
représentations, theta-, 94(2)223--236
-
represented, 74(2)163--181
-
request, 98(2)339--346, 128(1)211--239
-
requested, 130(1)101--123
-
requirement, 71(1)3--28, 82(2)253--284, 110(1)99--129, 119(2)355--361,
120(2)311--315, 130(1)49--72
-
rerouting, 100(1)223--241
-
research, 88(1)127--138, 92(1)49--76, 109(1)3--6, 125(2)345--353,
127(2)255--267, 130(1)125--138
-
resembling, 101(2)223--237
-
reset-pushdown, 97(2)245--262
-
residua, 120(1)1--44
-
residual, 90(1)47--60, 120(1)1--44
-
residue, 74(3)325--328
-
residuosity, 132(1)291--317
-
resolution, 74(2)227--237, 78(1)245--259, 79(2)295--321, 81(2)223--235,
85(2)213--229, 89(1)63--106, 93(1)159--167, 95(1)97--113,
96(1)175--215, 107(2)209--252, 108(2)291--310, 116(2)405--413,
120(1)1--44, 120(1)45--68, 120(1)83--99, 120(1)157--168,
124(1)71--91
-
resolution, CSLD-, 71(1)155--174
-
resolution, E-, 105(1)141--166
-
resolution, k-, 116(2)405--413
-
resolution, N-, 93(1)159--167
-
resolution, N-, 93(1)159--167
-
resolution, SLD-, 71(1)155--174, 86(1)107--139, 99(1)65--78
-
resolution, SLDNF-, 86(1)81--92, 86(1)107--139, 86(1)z--z
-
resolution, SLDNF-, 86(1)81--92
-
resolution, WFF-, 81(2)223--235
-
resolution-like, 129(1)167--186
-
resolvent, 85(2)231--251
-
resource, 82(1)1--18, 119(1)187--214, 130(1)49--72, 130(1)73--84,
131(2)331--360
-
resource-aware, 135(1)155--169
-
resource-oriented, 89(1)179--206
-
respect, 73(3)265--278, 82(2)303--327, 83(2)287--300, 86(2)377--389,
97(1)143--156
-
response, 80(2)319--335, 83(1)97--130
-
Resta, G., 83(2)249--260, 127(1)99--121
-
Resta, G., see Codenotti, B., \see{Fachini, E.
-
Restivo, A., 72(1)55--64, 94(2)367--371, 97(2)301--311
-
Restivo, A., see Guaiana, G.
-
Restivo:1990:CLC, 72(1)55--64
-
Restivo:1992:NRS, 94(2)367--371
-
restricted, 73(3)279--294, 73(3)295--311, 83(2)249--260, 90(2)369--390,
93(2)265--277, 103(2)283--309, 123(2)415--426
-
restricted, degree-, 110(1)197--214
-
restricted, oracle-, 88(1)1--14
-
restriction, 93(2)265--277, 102(1)135--163, 114(1)119--147,
120(1)83--99, 127(2)351--386, 130(1)203--236
-
restructuring, 119(2)355--361
-
result, 70(1)85--97, 73(1)47--60, 73(3)249--263, 73(3)279--294,
79(1)111--135, 79(1)137--150, 80(2)289--302, 85(2)305--331,
87(1)203--208, 87(2)229--249, 87(2)287--313, 88(2)231--251,
91(2)129--179, 92(2)249--268, 93(2)265--277, 94(2)161--174,
95(1)115--142, 97(1)143--156, 99(1)1--63, 104(1)3--28,
110(1)145--168, 113(1)119--165, 116(1)195--226, 116(2)317--337,
120(2)197--213, 121(1)71--88, 125(2)243--257, 128(1)3--30,
134(2)387--401, 135(2)361--376, 136(2)507--526
-
resumption, 77(1)73--95, 80(2)319--335
-
retransmission, 108(2)291--310
-
Retreat, 132(1)85--112
-
retrieval, 119(2)355--361, 130(1)101--123, 133(2)421--442
-
returns, 123(1)139--144
-
reusable, 83(1)131--155
-
Reutenauer, C., 98(1)53--63
-
Reutenauer, C., see Bjorner, A.
-
reversal, 71(3)419--424, 73(3)265--278, 76(2)323--330, 88(2)287--296,
117(1)187--198
-
reversal-bounded, 104(2)185--206
-
reverse, 95(2)339--340, 102(2)253--281
-
reversibility, 73(1)1--46
-
reversible, 71(3)419--424, 73(1)1--46
-
Revesz, G. E., 93(1)75--89
-
Revesz, Peter Z., 116(1)117--149
-
Revesz:1992:LOE, 93(1)75--89
-
Revesz:1993:CFE, 116(1)117--149
-
review, 80(2)289--302
-
revised, 103(2)235--271
-
revisited, 74(2)227--237, 95(1)115--142, 95(2)323--337, 99(2)315--z
-
Revuz, D., 92(1)181--189
-
Revuz:1992:MAD, 92(1)181--189
-
reward, 128(1)179--210
-
reward, renewal-, 106(2)243--264
-
rewrite, 72(2)225--249, 72(2)z--z, 81(2)169--187, 83(1)71--96,
94(1)1--35, 103(2)409--420, 110(2)419--432, 112(1)145--185,
116(2)291--303, 127(1)69--98, 132(1)395--401
-
rewriting, graph-, 109(1)7--48
-
rewriting, string-, 113(1)119--165, 134(1)175--188
-
rewriting, term-, 81(2)169--187, 105(1)129--140, 106(1)87--117,
109(1)7--48
-
rewriting, word-, 106(1)61--86
-
Reynolds, 70(1)35--64
-
Reynolds, Girard-, 89(1)137--159
-
Reynolds-Ma, 136(1)163--181
-
RF, 115(2)383--389
-
Rhode, M., Grosse-, 71(3)347--380
-
Rhode, Martin, Große-, 135(2)221--266
-
Rhodes, Krohn-, 87(2)229--249
-
Rice, 127(2)229--254
-
Rich, Craig A., 129(2)323--336
-
Rich:1994:COF, 129(2)323--336
-
Richelieu, 116(2)339--357, 132(1)427--434
-
Ricklin, Moty, 130(1)85--99, 130(1)175--201
-
Ricklin, Moty, see Alon, Noga, \see{Fiat, Amos
-
Rieckhoff, C., 71(3)347--380
-
Rieckhoff, C., see Ehrig, H.
-
Riemann, 82(1)71--84
-
right, 70(2)179--192, 82(1)165--176, 106(2)183--219, 108(2)357--363,
117(1)255--272, 136(2)471--485
-
right-congruence, 70(2)213--232
-
right-congruences, 70(2)213--232
-
rigid, 123(1)31--53
-
Rigny, Agnès, Bonnier-, 134(1)27--50
-
rigorous, 103(2)311--334
-
ring, 73(1)61--79, 81(2)237--256, 98(1)41--50, 98(1)79--97, 98(1)99--114,
98(1)115--133, 98(1)z--z, 98(2)163--197, 100(1)223--241, 117(1)z--z,
131(2)475--477, 133(1)15--22, 135(2)377--404
-
Risch, Liouville-Ritt-, 72(2)119--131
-
Ritt-Risch, Liouville-, 72(2)119--131
-
Ritter, Eike, 136(1)125--162
-
Ritter:1994:CAM, 136(1)125--162
-
Robert, Y., 95(2)207--229
-
Robert, Y., see Quinton, P.
-
Robinson's, Herbrand-, 113(1)3--34
-
Robinson, Edmund, 136(1)163--181
-
Robinson:1994:PI, 136(1)163--181
-
Robson, J. M., 73(3)313--317, 82(1)141--149, 106(2)327--335
-
Robson:1990:STB, 73(3)313--317
-
Robson:1991:LRR, 82(1)141--149
-
Robson:1992:MLG, 106(2)327--335
-
robust, 74(2)217--225, 80(2)319--335
-
robustly, 74(2)217--225, 88(1)1--14
-
robustness, 71(1)95--132, 86(2)377--389
-
Rodenburg, P. H., 85(1)97--116
-
Rodenburg:1991:ASD, 85(1)97--116
-
Rodl, V., 74(3)313--323
-
Rodl, V., see Babai, L.
-
Roever, W. P., de, 101(2)289--335
-
Rojas, J. Maurice, 133(1)105--140
-
Rojas:1994:CGA, 133(1)105--140
-
Róka, Zsuzsanna, 132(1)259--290
-
Roka:1994:OWC, 132(1)259--290
-
role, 129(1)143--166
-
Rolim, José D. P., 132(1)435--444,
see {\v{D}}uri{\v{s}}, Pavol
-
Romeuf, J.-F., 74(3)329--340
-
Romeuf:1990:PAS, 74(3)329--340
-
Rompel, John, 134(2)545--557
-
Rompel, John, see Fortnow, Lance
-
Roos, Y., 103(1)39--49
-
Roos, Y., see Clerbout, M.
-
root, 106(2)183--219, 118(2)99--166, 133(1)105--140
-
root, frontier-to-, 76(2)223--242
-
root-to-frontier, 81(1)1--15
-
rooted, 88(1)33--57, 106(1)61--86, 117(1)45--65
-
Rose, Ginsburg-, 94(1)125--140
-
Rosenberg, Karp-Miller-, 88(1)59--82
-
Rosenthal, Erik, 131(1)1--28
-
Rosenthal, Erik, see Murray, Neil V.
-
Rosier, L., 100(1)105--135
-
Rosier, L., see Holte, R.
-
Rosier, L. E., 80(1)77--104, 82(2)341--372
-
Rosier, L. E., see Howell, R. R.
-
Rosier, Louis E., 118(1)3--20
-
Rosier, Louis E., see Baruah, Sanjoy K.
-
Rosser, Church-, 77(3)267--289, 79(2)365--371, 82(2)389--402,
90(2)369--390, 93(1)75--89, 94(1)1--35, 103(2)235--271,
110(2)419--432, 122(1)201--223
-
Rosser, church-, 93(1)75--89
-
Rossi, Francesca, 109(1)7--48, 109(1)225--256, 122(1)165--200
-
Rossi, Francesca, see Corradini, Andrea,
see Montanari, Ugo
-
Rossi, G., 95(1)43--74
-
Rossi, G., see Giordano, L.
-
rotating, 108(2)311--329
-
Rotating-table, 108(2)311--329
-
rotation, 92(1)87--105
-
Rotella, F., 79(1)257--261
-
Rotella:1991:SPG, 79(1)257--261
-
Rouche, 133(1)165--185
-
Rougemont, M., de, 101(1)143--158
-
rough, 113(1)55--73
-
round, 108(2)311--329
-
round, Constant-, 84(1)23--52
-
routing, 100(1)223--241, 128(1)31--62
-
Roux, O., 97(1)83--103
-
Roux, O., see Perraud, J.
-
Rovan, B., 118(1)1--z
-
Rovan, Branislav, 132(1)319--336
-
Rovan, Branislav, see Hromkovi{\v{c}}, Juraj
-
Rovan:1993:I, 118(1)1--z
-
row, 128(1)241--252
-
Royer, James, 115(2)383--389
-
Royer, James, see Homer, Steven
-
Royer, V., 78(1)113--136
-
Royer:1991:SID, 78(1)113--136
-
Rozenberg, G., 70(3)277--303, 70(3)305--342, 70(3)343--358,
82(1)95--111, 92(2)227--248, 96(1)3--33, 109(1)1--z, 114(1)1--z,
116(2)227--290, 125(2)259--293, 127(2)387--393, 129(2)207--262
-
Rozenberg, G., see Best, E.,
see Courcelle, B., \see{Deutz, A. H.,
see Ehrenfeucht, A., \see{Engelfriet, J.,
see Nielsen, M.
-
Rozoy, B., 91(2)285--313
-
Rozoy, Brigitte, 120(1)101--121, 123(1)9--19
-
Rozoy, Brigitte, see Assous, Marc Roland,
see Gastin, Paul
-
Rozoy:1991:EST, 91(2)285--313
-
Rubinstein, R. S., 92(2)309--318
-
Rubinstein, R. S., see Hemachandra, L. A.
-
Rudolph, L., 71(1)95--132
-
Rudolph, L., see Kruskal, C. P.
-
Ruggiero, F., 120(1)45--68
-
Ruggiero, F., see Nota, G.
-
rule, 71(2)193--208, 72(2)265--288, 75(1)45--66, 75(1)85--110,
75(1)157--215, 78(1)85--112, 80(2)319--335, 81(2)169--187,
81(2)223--235, 81(2)305--310, 82(2)403--408, 83(1)97--130,
84(1)127--150, 85(2)333--351, 86(1)107--139, 87(1)203--208,
89(1)3--32, 89(2)207--343, 93(1)75--89, 93(1)159--167,
93(2)321--325, 94(2)281--294, 94(2)311--334, 95(1)43--74,
98(1)99--114, 103(2)283--309, 103(2)409--420, 104(1)109--128,
105(1)57--84, 106(1)61--86, 109(1)181--224, 110(2)419--432,
111(1)125--143, 111(1)145--189, 111(1)z--z, 112(1)99--143,
112(1)145--185, 113(2)349--370, 114(1)149--171, 116(2)291--303,
117(1)91--98, 117(1)113--130, 119(1)39--62, 119(1)145--171,
119(2)355--361, 120(1)83--99, 126(2)143--182, 131(1)95--120,
131(1)181--195, 132(1)395--401, 133(2)361--385, 133(2)387--419,
135(1)67--110, 135(1)155--169
-
rule, NAF-, 97(1)143--156
-
rule, single-, 76(1)143--177
-
rule, termination-, 111(1)125--143
-
rule-based, 78(1)3--83, 78(1)z--z, 83(1)131--155
-
run, 115(2)291--319, 120(2)197--213
-
run-time, 70(1)99--126
-
running, 71(1)95--132, 76(2)323--330, 82(1)165--176, 92(1)19--31,
92(1)87--105, 130(1)49--72, 134(1)63--78
-
runtime, 80(1)105--115
-
Rupert, C. P., 84(2)251--264
-
Rupert:1991:WKS, 84(2)251--264
-
Ruqian, Lu, 113(2)231--258
-
Ruqian:1993:TCM, 113(2)231--258
-
Rus, T., 77(1)1--z, 90(2)271--308, 112(1)1--z
-
Rus:1990:E, 77(1)1--z
-
Rus:1991:ACC, 90(2)271--308
-
Rus:1993:E, 112(1)1--z
-
Rutten, J. J. M. M., 76(2)179--222, 86(1)3--33, 101(2)239--263
-
Rutten, J. J. M. M., see de Boer, F. S.,
see Kok, J. N.
-
Ruzzo, Graham-Harrison-, 80(1)53--75
-
Rybko, A. I., 97(2)285--300
-
Rybko, A. I., see Hromkovic, J.
-
Rytter, W., 71(3)401--411, 81(2)311--316, 87(2)251--262, 88(1)59--82
-
Rytter, W., see Chytil, M.,
see Crochemore, M., \see{Diks, K.,
see Gibbons, A.
-
Rytter, Wojciech, 116(2)305--316, 116(2)421--429, 123(2)427--428,
132(1)403--414, 136(2)507--526
-
Rytter, Wojciech, see Chrobak, Marek,
see Crochemore, Maxime,
see Karhumäki, Juhani,
see Monien, Burkhard
-
Ryu, Kwan Woo, 129(2)293--307
-
Ryu, Kwan Woo, see Jájá, Joseph F.