Index file section R for tcs1995.bib

Last update: Tue Nov 20 02:22:06 MST 2001

Return to index directory

R

• R, 197(1)247--z--2
• r-consistent, 149(2)361--374
• Rabin, 141(1)69--107, 148(1)121--132, 161(1)191--203, 189(1)1--69
• Rabinovich, A., 193(1)197--214
• Rabinovich:1998:TTL, 193(1)197--214
• Radhakrishnan, V., 181(2)379--404
• Radhakrishnan, V., see Krumke, S. O.
• Radhakrishnan, Venkatesh, 174(1)23--65
• Radhakrishnan, Venkatesh, see Marathe, Madhav V.
• radiosity, 196(1)215--240
• radix, 151(1)277--294, 210(1)159--171
• Radola, M.-D., 153(1)49--64
• Radola, M.-D., see Desel, J.
• Rajaraman, Rajmohan, 220(1)247--265
• Rajaraman, Rajmohan, see Gehrke, Johannes E.
• Rajsbaum, Sergio, 203(2)253--269
• Rajsbaum, Sergio, see Even, Shimon
• RAM, 161(1)141--156
• Ramachandran, V., 196(1)3--29
• Ramachandran, V., see Gibbons, P. B.
• Ramachandran, Vijaya, 162(2)297--322, 196(1)153--180
• Ramachandran, Vijaya, see Hsu, Tsan-sheng, see MacKenzie, Philip D.
• Ramakrishna, Y. S., 166(1)1--47, 170(1)1--46
• Ramakrishna:1996:ILTa, 166(1)1--47
• Ramakrishna:1996:ILTb, 170(1)1--46
• Ramakrishnan, R., 146(1)269--310
• Ramakrishnan, R., see Naughton, J. F.
• Ramakrishnan, S., 154(2)349--366
• Ramakrishnan, S., see Barua, Rana
• Ramalho, José Carlos, 199(1)231--247
• Ramalho:1998:ASD, 199(1)231--247
• Ramalingam, G., 158(1)233--277
• Ramalingam:1996:CCD, 158(1)233--277
• Raman, Venkatesh, 165(2)311--323
• Raman, Venkatesh, see Munro, J. Ian
• Rambaud, C., 154(2)329--348
• Rambaud, C., see Lafaye de Micheaux, N.
• Rambow, Owen, 223(1)87--120
• Rambow:1999:IPF, 223(1)87--120
• Ramesh, S., 154(2)379--385
• Ramesh:1996:DCC, 154(2)379--385
• Ramos-Jiménez, G., 202(1)231--244
• Ramos-Jimenez:1998:CPC, 202(1)231--244
• Rampon, Jean-Xavier, 175(2)225--238
• Rampon, Jean-Xavier, see Bouchitté, Vincent
• Ramsey, 157(2)277--282, 172(1)1--41
• Ramseyan, 141(1)351--355
• Ranaivoson, Solomampionona, 160(1)305--320
• Ranaivoson, Solomampionona, see Durand, Arnaud
• random, 143(1)73--91, 144(1)67--99, 144(1)125--159, 144(1)277--314, 145(1)381--390, 147(1)267--298, 148(1)19--32, 152(2)171--217, 152(2)219--249, 154(1)23--39, 156(1)301--313, 159(1)5--13, 159(1)29--42, 159(1)43--63, 162(1)151--170, 162(2)341--349, 164(1)107--122, 169(2)147--160, 175(2)393--406, 178(1)155--169, 190(2)151--166, 191(1)185--192, 196(1)3--29, 196(1)109--130, 201(1)281--290, 207(2)343--361, 207(2)387--395, 215(1)1--30, 218(2)219--232, 218(2)233--248, 218(2)263--271, 219(1)287--299, 226(1)29--36, 229(1)103--142
• random-access, 162(2)245--281, 164(1)1--12, 164(1)107--122, 172(1)1--41
• randomised, 148(1)133--140, 154(1)23--39, 154(2)225--245, 157(1)35--52, 158(1)53--64, 169(2)147--160, 180(1)17--45, 181(1)45--56, 182(1)233--244, 191(1)215--218, 194(1)163--182, 196(1)181--200
• randomization, 157(1)35--52, 197(1)245--z--2
• randomized, 137(1)145--157, 148(1)133--140, 154(1)23--39, 154(2)225--245, 158(1)53--64, 162(2)245--281, 169(2)147--160, 174(1)193--202, 180(1)17--45, 181(2)229--245, 182(1)233--244, 191(1)97--115, 194(1)163--182, 196(1)3--29, 207(2)329--342
• randomness, 145(1)391--396, 165(2)407--440, 172(1)195--207, 207(1)245--259, 207(2)263--317
• randomness, hardness-, 221(1)3--18
• Raney, 178(1)171--203
• Rangan, C., Pandu, 145(1)27--43
• range, 188(1)59--78
• range-restricted, 176(1)283--328
• Ranjan, Desh, 181(1)3--15
• Ranjan, Desh, see Asano, Tetsuo
• rank, 153(1)271--300, 168(1)39--51
• ranking, 164(1)107--122, 181(2)229--245
• Ranzato, Francesco, 216(1)159--211, 222(1)77--111
• Ranzato, Francesco, see Filé, Gilberto, see Giacobazzi, Roberto
• Rao, M. R. K., Krishna, 208(1)59--z
• Rao, M. R. K. Krishna, 151(2)487--512, 185(1)191--213, 208(1)59--86
• Rao, Nageswara S. V., 140(2)265--289
• Rao:1995:FPS, 140(2)265--289
• Rao:1995:MPC, 151(2)487--512
• Rao:1997:FIL, 185(1)191--213
• Rao:1998:MAT, 208(1)59--86
• Rapaport, Ivan, 218(2)285--295
• Rapaport, Ivan, see Goles, Eric
• Rapaport, Iván, 188(1)129--159, see Goles, Eric
• rapid, 154(1)3--22, 220(1)247--265
• rapidly, 155(2)411--424
• Rasiowa-Sikorski, 166(1)173--202
• Ratajszczak, Jean-Yves, 141(1)1--52
• Ratajszczak, Jean-Yves, see Gruau, Frédéric
• rate, 154(2)283--306, 155(1)141--156, 164(1)185--206, 229(1)23--39
• Rathke, J., 200(1)225--260
• Rathke, J., see Hennessy, M.
• ratio, 137(1)85--108, 161(1)1--21, 164(1)59--72, 181(1)181--194, 181(2)347--356, 194(1)163--182, 204(1)153--167
• rational, 143(1)1--21, 145(1)229--240, 151(1)29--36, 151(1)z--z, 155(2)439--446, 159(1)43--63, 165(2)483--490, 167(1)73--94, 173(1)235--252, 174(1)259--268, 180(1)1--15, 188(1)45--57, 189(1)229--237, 191(1)117--129, 194(1)1--34, 205(1)329--336, 209(1)287--297, 218(1)143--160, 221(1)41--60
• rational, N-, 180(1)61--80
• rational, {N}-, 180(1)61--80
• rationnelles., 145(1)229--240
• rationnels., 159(1)43--63
• Rauber, Thomas, 196(1)215--240
• Rauber, Thomas, see Podehl, Axel
• Rauzy, 164(1)41--57, 180(1)363--370
• Ravi, R., 221(1)139--155
• Ravi, R., see Krumke, Sven O.
• Ravi, S. S., 174(1)23--65, 181(2)379--404, 203(1)91--121, 221(1)139--155
• Ravi, S. S., see Drangmeister, Kay U., see Krumke, S. O., \see{Krumke, Sven O., see Marathe, Madhav V.
• ray, 196(1)319--345
• Raynal, Michel, 193(1)97--112
• Raynal, Michel, see Manabe, Yoshifumi
• Raz, Danny, 183(1)21--32
• Raz:1997:LCC, 183(1)21--32
• Razborov, Alexander, 141(1)269--282
• Razborov, Alexander, see Håstad, Johan
• RCCS, 141(1)195--252
• reachability, 138(1)3--34, 138(1)35--65, 147(1)117--136, 148(2)261--279, 148(2)281--301, 153(1)49--64, 165(2)391--405, 168(1)121--154, 169(2)147--160, 172(1)121--134, 174(1)97--121, 174(1)217--230, 176(1)39--65, 179(1)301--317, 183(2)215--228, 198(1)211--224, 221(1)211--250
• reachable, 138(2)425--454, 154(1)57--65, 183(2)157--185, 183(2)215--228
• Reaching, 140(2)301--317
• reaction, 192(2)233--258
• reactive, 140(1)53--71, 146(1)109--143, 173(1)49--87, 194(1)183--205, 220(2)377--408
• read, 192(2)167--199, 196(1)259--288
• read, concurrent-, 141(1)163--173
• read, queue-, 196(1)3--29
• read-modes, 148(1)33--55
• read-once, 141(1)269--282
• read-once-only, 145(1)45--69
• read-only, 165(2)311--323
• readash, 220(1)267--319
• reading, 172(1)293--301
• read/write, 186(1)199--230
• real, 138(1)3--34, 141(1)331--335, 145(1)241--270, 151(1)257--276, 151(1)277--294, 154(1)41--56, 154(1)67--84, 156(1)281--287, 162(1)23--44, 162(1)79--115, 162(1)151--170, 163(1)193--210, 176(1)89--110, 179(1)319--331, 180(1)229--241, 183(2)187--214, 193(1)149--179, 210(1)73--98, 210(1)99--120, 210(1)121--157, 219(1)185--223, 219(1)451--465, 221(1)295--326
• real-time, 138(1)35--65, 138(1)113--139, 138(1)169--199, 138(1)211--239, 146(1)109--143, 170(1)1--46, 181(1)195--225, 183(2)187--214, 189(1)179--219, 189(1)229--237, 201(1)99--136
• real-valued, 151(1)163--193, 162(1)45--77, 219(1)3--17
• real-world, 192(2)315--351
• realistic, 153(1)3--48, 180(1)287--308
• realizability, 142(2)299--368, 197(1)242--z--3
• realization, 138(1)101--112, 166(1)221--262, 169(1)23--37, 180(1)363--370, 183(2)187--214
• realization, behavior-, 177(1)183--216
• realizing, 157(2)227--258
• rearrangeably, 182(1)171--182
• rearrangement, 210(2)327--339
• reasoner, 185(2)393--410
• reasoning, 137(1)25--51, 138(1)201--210, 142(2)277--297, 149(2)231--255, 151(2)437--486, 152(2)219--249, 152(2)269--283, 155(1)157--177, 160(1)321--363, 160(1)365--380, 166(1)1--47, 166(1)221--262, 166(1)291--300, 167(1)47--72, 169(2)161--184, 170(1)129--144, 170(1)209--244, 171(1)61--75, 171(1)111--146, 171(1)221--246, 171(1)247--280, 173(2)311--347, 177(1)155--182, 182(1)183--202, 183(2)253--279, 184(1)1--59, 185(1)15--45, 185(2)277--318, 189(1)129--177, 190(2)241--277, 192(1)3--29, 192(2)201--231, 224(1)291--317
• received, 194(1)z--z, 197(1)z--z
• Recent, 159(1)5--13, 185(1)15--45
• receptiveness, 221(1)457--493
• reciprocal, 156(1)1--38, 212(1)77--99
• réciproques., 156(1)1--38
• recognition, 140(2)319--331, 143(1)73--91, 143(2)343--352, 145(1)329--344, 145(1)357--369, 152(2)171--217, 154(2)165--181, 154(2)183--201, 154(2)203--224, 155(2)321--347, 156(1)281--287, 160(1)217--239, 163(1)117--144, 163(1)303--308, 172(1)209--232, 173(2)349--391, 175(2)349--372, 175(2)393--406, 178(1)129--154, 178(1)225--236, 178(1)275--283, 180(1)115--137, 180(1)269--286, 181(2)379--404, 197(1)189--201, 201(1)99--136
• recognizability, 154(1)67--84, 156(1)281--287, 160(1)87--143, 181(1)17--43, 194(1)87--122
• recognizable, 145(1)345--355, 150(1)77--109, 154(1)67--84, 155(2)439--446, 156(1)281--287, 158(1)65--79, 160(1)321--363, 163(1)1--54, 169(2)185--200, 178(1)275--283, 218(2)297--323
• recognized, 209(1)299--317
• recognizer, 188(1)45--57, 194(1)245--246, 201(1)99--136, 218(2)325--346
• Recognizing, 215(1)123--136
• reconciling, 177(1)111--138
• reconfigurable, 194(1)246--247, 196(1)153--180, 197(1)57--77, 205(1)231--242
• reconfiguration, 167(1)235--274, 197(1)171--188, 197(1)171--188--1
• reconfigured, 197(1)171--188
• Reconstructing, 155(2)321--347
• reconstruction, 155(2)321--347
• record, 151(2)353--383, 192(2)201--231
• record-like, 146(1)243--268
• recovery, 149(1)179--199, 190(2)363--396
• rectangle, 185(1)159--175
• rectangular, 143(1)123--135, 154(2)349--366, 172(1)175--193, 191(1)193--203, 221(1)369--392
• rectilinear, 140(2)291--300
• recurrence, 181(1)45--56, 187(1)203--219, 196(1)395--415, 218(1)3--12
• recurrent, 165(2)325--354, 168(2)473--480, 176(1)111--158, 185(1)15--45, 194(1)35--55
• recursion, 138(2)391--423, 146(1)269--310, 149(1)3--48, 151(1)207--256, 151(1)z--z, 152(2)251--268, 160(1)1--85, 162(1)23--44, 163(1)245--258, 163(1)269--276, 169(1)113--121, 169(2)201--220, 170(1)145--171, 176(1)111--158, 176(1)205--234, 177(1)3--25, 177(2)329--349, 177(2)351--380, 187(1)203--219, 193(1)129--148, 198(1)131--158, 210(1)121--157, 212(1)157--181
• recursion-based, 167(1)193--233
• recursion-theoretical, 197(1)139--156
• recursive, 139(1)315--354, 139(1)355--362, 141(1)151--162, 143(2)251--267, 144(1)221--249, 146(1)69--108, 146(1)243--268, 146(1)269--310, 147(1)19--30, 149(1)101--128, 151(1)207--256, 152(1)1--66, 152(2)285--303, 154(2)307--327, 156(1)177--201, 161(1)123--140, 161(1)235--261, 162(1)5--21, 162(1)23--44, 162(1)45--77, 163(1)269--276, 163(1)309--315, 164(1)13--28, 165(2)325--354, 169(1)113--121, 170(1)349--381, 175(1)127--158, 176(1)205--234, 181(1)45--56, 181(1)119--139, 181(1)141--157, 185(1)129--157, 190(1)61--85, 191(1)145--156, 191(1)215--218, 193(1)113--127, 193(1)129--148, 194(1)241--z, 197(1)139--156, 201(1)63--84, 208(1)33--58, 210(1)99--120, 219(1)3--17
• recursive, mu-, 152(1)1--66
• recursively, 147(1)149--163, 160(1)241--270, 161(1)235--261, 161(1)263--287, 168(2)321--336, 197(1)79--94, 205(1)61--83, 205(1)195--205
• Reddy, Uday S., 228(1)253--282
• Reddy, Uday S., see O'Hearn, Peter W.
• Redei, 168(1)105--119
• redex-families, 142(2)277--297
• redexes, 194(1)240--z, 194(1)241--z--2
• redexes;, beta-, 155(1)85--109
• Redistribute, 191(1)157--171
• redistribution, 155(2)349--363
• REDUCE, 187(1)87--104, 187(1)263--284
• Reduce, Set-, 155(1)111--140
• reduced, 175(2)393--406, 176(1)39--65, 185(2)379--391, 187(1)167--178, 195(2)183--203, 216(1)159--211
• reduced, Minkowski-, 172(1)303--308
• reducibility, 142(2)299--368, 148(2)183--205, 150(1)1--55, 155(2)447--457, 164(1)141--163, 191(1)185--192, 234(1)323--323
• reducibility;, p-m-, 172(1)195--207
• reducible, 137(1)129--144, 145(1)329--344, 180(1)269--286, 190(2)363--396
• reducible, 4/-, 145(1)329--344
• reducible;, 4/-, 180(1)269--286
• reducible, -, 145(1)329--344, 180(1)269--286
• reducible, self-, 158(1)193--219
• Reducing, 196(1)201--214
• reduction, 135(1)67--110, 139(1)69--113, 145(1)147--157, 146(1)269--310, 148(1)19--32, 148(2)183--205, 148(2)325--349, 151(2)353--383, 151(2)437--486, 152(1)91--138, 154(1)3--22, 154(1)23--39, 155(1)85--109, 155(2)447--457, 158(1)361--370, 159(2)191--244, 161(1)69--92, 165(1)75--95, 166(1)1--47, 168(1)3--19, 170(1)83--128, 173(1)151--181, 175(1)93--125, 177(1)183--216, 181(2)229--245, 185(2)237--258, 188(1)101--116, 189(1)221--228, 190(1)3--39, 190(1)61--85, 191(1)97--115, 191(1)157--171, 192(1)31--54, 192(1)55--75, 194(1)241--z--2, 194(1)244--z--1--194(1)244--z--3, 194(1)245--z--2, 194(1)247--z--2, 194(1)248--z--2, 197(1)242--z--2, 198(1)239--247, 209(1)47--86, 212(1)211--231, 225(1)185--194
• réduction, 161(1)69--92
• reduction, beta-, 194(1)245--z--2
• reduction;, beta-, 189(1)221--228, 194(1)245--z--2
• reduction, meta-, 192(1)77--106
• reduction-based, 151(2)437--486
• reductions;, beta-, 170(1)407--444
• redundancy, 135(1)67--110, 142(2)141--177, 162(2)245--281, 177(2)425--458, 197(1)171--188
• redundant, 167(1)95--130
• Reed, G. M., 211(1)85--127
• Reed:1999:TFS, 211(1)85--127
• Rees, 154(2)387--394
• reference, 150(2)315--z, 181(1)195--225
• refined, 140(1)95--138, 212(1)261--303, 266(1)997--998
• refinement, 138(2)243--271, 138(2)425--454, 140(1)95--138, 143(2)269--284, 149(2)333--360, 150(1)111--159, 150(1)161--191, 159(2)245--270, 165(1)201--232, 177(1)111--138, 192(2)233--258, 194(1)241--z, 194(1)241--z--3, 202(1)127--161
• refinement-based, 166(1)1--47
• Refining, 192(2)233--258
• reflection, 154(1)41--56
• reflexive, 155(1)221--264, 155(1)267--276, 193(1)181--195
• reflexive-transitive, 137(2)237--251
• refractory, 168(2)405--416
• refutability, 137(1)53--84
• Regan, Kenneth W., 148(2)325--349, 161(1)263--287, 188(1)101--116, 191(1)97--115
• Regan, Kenneth W., see Downey, Rodney G., see Naik, Ashish V.
• Regan:1996:ISP, 161(1)263--287
• Regan:1997:GLL, 188(1)101--116
• Reggio, Gianna, 173(2)513--554
• Reggio, Gianna, see Costa, Gerardo
• region, 138(1)35--65, 145(1)241--270, 154(2)165--181
• register, 140(2)319--331, 149(2)257--298, 168(2)267--301, 168(2)z--z, 172(1)135--174, 178(1)37--76, 181(1)181--194, 203(1)3--29, 226(1)61--92
• register, two-, 172(1)121--134
• Regnier, Danos-, 197(1)246--z--1
• Regnier, L., 197(1)242--z--2
• Regnier, L., see Danos, V.
• Regnier, Laurent, 227(1)79--97
• Regnier, Laurent, see Danos, Vincent
• regular, 127(2)287--312, 143(1)51--72, 146(1)321--329, 148(2)207--225, 149(1)101--128, 152(2)251--268, 154(1)3--22, 155(2)291--319, 156(1)71--97, 159(1)137--142, 160(1)185--216, 163(1)1--54, 163(1)55--98, 163(1)309--315, 165(2)325--354, 169(2)161--184, 169(2)185--200, 171(1)281--302, 172(1)175--193, 174(1)1--21, 174(1)251--257, 174(1)259--268, 174(1)275--279, 176(1)175--204, 178(1)1--36, 178(1)103--118, 179(1)251--271, 179(1)319--331, 179(1)427--436, 180(1)325--339, 183(1)143--154, 186(1)135--156, 190(2)115--149, 191(1)37--59, 195(2)183--203, 209(1)163--178, 215(1)69--87
• regular, omega-, 174(1)259--268, 186(1)135--156, 195(2)183--203
• regularity, 147(1)87--116, 164(1)299--310, 178(1)77--102, 207(1)43--72
• regulated, 194(1)35--55
• rehashing, 155(2)349--363
• Reinert, Birgit, 208(1)3--31
• Reinert, Birgit, see Madlener, Klaus
• Reingold, Edward M., 143(1)93--112
• Reingold, Edward M., see Goldstein, Arthur S.
• relabelling, 141(1)195--252, 194(1)241--z, 194(1)245--246
• related, 148(2)281--301, 162(2)173--223, 172(1)233--254, 188(1)59--78, 224(1)319--352
• Relating, 207(1)159--170, 208(1)3--31
• relation, 137(2)237--251, 138(2)391--423, 139(1)275--314, 139(1)315--354, 140(1)139--177, 141(1)311--328, 143(2)251--267, 143(2)269--284, 147(1)131--z, 147(1)165--180, 147(1)181--210, 148(2)227--260, 149(1)3--48, 149(1)129--149, 149(1)179--199, 149(2)201--229, 149(2)299--332, 149(2)333--360, 150(1)77--109, 150(1)161--191, 151(2)437--486, 152(2)171--217, 152(2)269--283, 152(2)285--303, 155(1)85--109, 156(1)281--287, 159(2)191--244, 159(2)245--270, 159(2)355--356, 160(1)1--85, 160(1)305--320, 162(1)5--21, 162(1)45--77, 165(1)3--55, 167(1)171--192, 168(1)155--212, 171(1)281--302, 172(1)135--174, 172(1)309--321, 173(2)513--554, 174(1)67--96, 174(1)97--121, 175(2)373--392, 176(1)235--282, 176(1)283--328, 177(1)183--216, 179(1)103--135, 179(1)273--299, 180(1)1--15, 181(1)45--56, 184(1)105--143, 186(1)83--105, 186(1)157--169, 187(1)203--219, 188(1)211--220, 193(1)129--148, 195(2)183--203, 198(1)159--176, 206(1)283--300, 207(1)105--116, 209(1)237--260, 209(1)287--297, 215(1)263--287
• relation;, h-, 196(1)181--200
• Relation-algebraic, 160(1)1--85
• relational, 141(1)311--328, 144(1)125--159, 145(1)291--316, 149(1)3--48, 149(1)67--99, 149(1)101--128, 149(1)129--149, 149(2)333--360, 150(1)161--191, 151(1)125--162, 159(2)245--270, 160(1)1--85, 160(1)87--143, 160(1)217--239, 166(1)49--62, 166(1)173--202, 171(1)25--60, 171(1)179--219, 171(1)281--302, 173(1)151--181, 173(1)253--281, 173(1)283--308, 175(1)183--222, 176(1)283--328, 179(1)103--135, 185(2)379--391, 186(1)43--81, 188(1)211--220, 190(2)279--315, 197(1)247--z--1, 200(1)1--44
• relationally, 168(1)155--212
• relations;, h-, 196(1)181--200
• relationship, 140(2)249--263, 145(1)381--390, 149(1)179--199, 153(1)211--244, 156(1)71--97, 157(2)227--258, 164(1)41--57, 165(2)463--474, 188(1)79--99
• relative, 139(1)243--273, 164(1)59--72, 178(1)119--127, 183(2)187--214, 193(1)53--73, 197(1)139--156, 216(1)159--211
• Relatively, 210(1)99--120
• relativized, 148(2)183--205
• reliability, 185(1)191--213
• reliable, 164(1)107--122, 209(1)331--345, 220(1)3--30, 220(1)185--210
• relying, 181(2)317--335
• remained, 204(1)205--231
• remark, 127(2)287--312, 141(1)329--330, 194(1)35--55, 197(1)245--246, 197(1)248--z, 207(2)329--342
• Remmel, J. B., 171(1)111--146
• Remmel, J. B., see Nerode, A.
• Remmel, Jeffrey B., 138(1)141--168, 219(1)111--150
• Remmel, Jeffrey B., see Cenzer, Douglas, see Kohn, Wolf
• Remote, 196(1)319--345
• Removing, 172(1)1--41
• renaming, 145(1)271--290, 177(2)351--380
• renewal, 144(1)161--197
• Renvall, Ari, 191(1)173--183, 226(1)105--116
• Renvall, Ari, see Niemi, Valtteri
• reordering, 156(1)301--313
• repeatedly, 172(1)293--301
• repeating, 156(1)263--280
• repetition, 157(2)277--282
• repetition-free, 218(1)161--175
• repetitive, 164(1)299--310
• replacement, 145(1)159--187, 147(1)149--163, 159(1)81--102, 166(1)101--146, 184(1)145--193, 186(1)43--81
• replacement, hyperedge-, 194(1)242--z--2
• replica, 196(1)259--288
• replicated, 185(2)259--275, 196(1)259--288
• replication, 153(1)65--94, 185(2)259--275, 211(1)311--337
• repository, 192(2)259--286
• representability, 137(1)25--51, 179(1)319--331, 188(1)211--220
• representable, 177(1)3--25
• representation, 137(1)25--51, 138(1)201--210, 139(1)315--354, 140(1)5--52, 143(1)73--91, 145(1)329--344, 147(1)87--116, 151(1)277--294, 154(2)283--306, 157(1)53--77, 160(1)321--363, 163(1)161--176, 165(2)391--405, 166(1)1--47, 166(1)221--262, 167(1)193--233, 172(1)175--193, 172(1)255--263, 174(1)67--96, 175(2)239--255, 175(2)373--392, 176(1)1--38, 177(2)329--349, 178(1)1--36, 179(1)61--102, 179(1)301--317, 179(1)319--331, 179(1)427--436, 180(1)47--60, 180(1)269--286, 182(1)183--202, 185(1)15--45, 187(1)81--86, 188(1)211--220, 193(1)181--195, 200(1)261--287, 210(1)159--171, 217(2)291--300, 217(2)359--383, 219(1)19--48, 225(1)1--63
• represented, 145(1)381--390, 208(1)149--177
• representing, 145(1)45--69, 170(1)245--276--1, 176(1)329--335, 180(1)47--60, 205(1)61--83, 211(1)129--188
• reproduction, Self-, 168(2)337--366
• reproduction;, self-, 168(2)337--366
• Reps, Thomas, 158(1)233--277, 167(1)131--170
• Reps, Thomas, see Ramalingam, G., see Sagiv, Mooly
• request, 193(1)97--112
• requirement, 156(1)177--201, 171(1)281--302
• requirements, priority-, 153(1)245--270
• Rescigno, Adele A., 209(1)195--211
• Rescigno, Adele A., see Gargano, Luisa
• research, 161(1)301--306, 170(1)173--207, 181(2)379--404, 194(1)242--243, 194(1)248--z
• resequencing, 178(1)103--118
• reset, 172(1)273--279, 222(1)187--194
• reset, permutation-, 145(1)391--396
• residue, 144(1)101--124, 153(1)49--64, 210(1)173--197
• residuosity, 181(2)317--335
• resiliency, 193(1)97--112
• resolution, 160(1)241--270, 160(1)283--303, 166(1)147--172, 185(2)393--410, 198(1)201--209, 200(1)335--366, 201(1)137--150, 206(1)163--180
• resolution:, Meta-, 166(1)147--172
• resolution;, SLD-, 192(1)77--106
• Resolution-based, 194(1)183--205
• resolution-type, 185(2)319--345
• {R}ésolutions, 201(1)137--150
• resource, 162(2)283--296, 162(2)341--349, 165(2)441--461, 172(1)195--207, 178(1)119--127, 189(1)179--219, 193(1)97--112
• resource-bounded, 161(1)123--140
• respect, 206(1)257--281
• responsive, 141(1)151--162
• responsiveness, 141(1)151--162
• Resta, G., 165(2)483--490
• Resta, G., see Brimkov, V.
• Restivo, Antonio, 204(1)153--167, 205(1)145--181, 218(1)83--94
• Restivo, Antonio, see Castelli, M. Gabriella, see Giammarresi, Dora, see Mignosi, Filippo
• restricted, 145(1)111--145, 154(2)165--181, 174(1)23--65, 176(1)39--65, 183(2)281--315, 198(1)177--200, 203(1)151--162
• restricted, range-, 176(1)283--328
• restriction, 142(2)229--255, 148(1)93--109, 155(1)85--109, 155(1)111--140, 179(1)61--102, 180(1)139--154, 194(1)241--z, 198(1)131--158, 226(1)207--223
• restrictive, 156(1)217--261, 166(1)101--146, 186(1)199--230
• result, 137(2)253--268, 141(1)69--107, 147(1)117--136, 148(2)281--301, 151(2)487--512, 157(1)101--114, 160(1)321--363, 163(1)99--116, 164(1)29--40, 168(2)267--301, 169(2)161--184, 176(1)111--158, 177(1)27--58, 177(1)155--182, 179(1)397--419, 188(1)129--159, 207(1)43--72, 215(1)383--398, 225(1)113--128
• resultants, 166(1)101--146
• resulting, 188(1)161--174
• results;, 1-, 168(1)3--19
• resumption, 155(1)141--156
• Retore, C., 197(1)247--z--2
• Retore:1998:PMS, 197(1)247--z--2
• retract, 155(1)267--276
• retraction, 152(2)285--303
• retrieval, 171(1)179--219
• retrospective, 194(1)248--z--2
• returning, 165(2)463--474, 209(1)319--329
• returning, non-, 209(1)319--329
• returning-nonreturning, 165(2)463--474
• reusability, 156(1)177--201, 189(1)239--248
• reusable, 194(1)248--z--1
• reuse, 156(1)177--201, 194(1)248--z--1
• Reutenauer, Christophe, 145(1)229--240, 215(1)329--335
• Reutenauer, Christophe, see Bruyère, Véronique
• Reutenauer:1995:VFR, 145(1)229--240
• Reuter, Klaus, 175(2)337--347
• Reuter, Klaus, see Mitas, Jutta
• reversal-bounded, 180(1)139--154
• reversals, 210(2)327--339
• reverse, 154(1)85--106
• reversed, 174(1)247--249
• reversibility, 197(1)247--z
• reversible, 138(1)67--100, 143(1)159--165, 148(1)157--163, 165(2)475--482, 168(2)303--320, 168(2)337--366, 174(1)251--257, 197(1)242--z--2, 227(1)79--97
• revision, 170(1)383--406, 190(2)241--277
• revisited, 180(1)309--324, 181(1)45--56, 228(1)211--252
• Revol, Nathalie, 162(1)133--150
• Revol:1996:PEA, 162(1)133--150
• rewrite, 142(2)179--207, 146(1)199--242, 152(2)269--283, 152(2)285--303, 165(1)97--131, 175(1)127--158, 176(1)111--158, 192(1)3--29, 192(1)77--106, 194(1)87--122, 194(1)240--z--1, 194(1)244--z--2, 194(1)244--z--3, 198(1)49--98, 208(1)33--58
• rewriter, 159(2)143--190
• rewriting, string-, 198(1)1--47, 207(1)13--23
• rewriting, term-, 143(1)51--72, 190(1)3--39, 198(1)1--47
• Rhine, 187(1)z--z
• Ribeiro, L., 194(1)245--z
• Ribeiro, L., see Korff, M.
• Rice, 144(1)101--124
• rich, 190(2)363--396
• Richard, Denis, 222(1)55--75
• Richard, Denis, see Cegielski, Patrick
• Richard, Gilles, 192(1)77--106
• Richard, Gilles, see Anantharaman, Siva
• Riemann, 151(1)163--193, 219(1)225--265
• Riemannian, 157(1)z--z
• right, 143(1)1--21, 164(1)165--183
• rigid, 166(1)291--300, 222(1)133--152, 224(1)319--352
• rigorous, 138(1)211--239, 142(2)141--177
• Rijke, Maarten de, 183(2)187--214
• Rijke, Maarten de, see Montanari, Angelo
• ring, 145(1)95--109, 152(2)219--249, 179(1)333--351, 208(1)3--31, 220(1)247--265, 225(1)177--184, 226(1)37--43
• risk, 152(2)171--217, 203(1)163--173
• Risler, Jean-Jacques, 157(1)101--114, 157(1)129--136
• Risler, Jean-Jacques, see Laumond, Jean-Paul
• Risler:1996:BDN, 157(1)129--136
• Rival, Ivan, 175(2)271--282
• Rival, Ivan, see Ewacha, Kevin
• Rivals, E., 200(1)261--287
• Rivals:1998:ORA, 200(1)261--287
• RNA, 210(2)277--303
• RNC, 161(1)1--21, 215(1)89--98
• RNP-completeness;, co-, 148(1)19--32
• Road, 229(1)41--102
• roadmap, 140(2)205--230
• Roberts, Alan, 185(2)347--377, 220(2)469--488
• Roberts, Alan, see Pantziou, Grammati E.
• Roberts:1999:LMR, 220(2)469--488
• Robinson, Peter J., 169(1)81--112
• Robinson, Peter J., see Nickolas, Peter
• robot, 140(2)205--230, 140(2)231--247, 140(2)265--289, 140(2)301--317, 157(1)101--114
• robotic, 138(1)211--239, 140(2)205--230, 140(2)231--247, 140(2)249--263, 140(2)291--300, 140(2)301--317, 157(1)101--114, 197(1)203--234
• Robson, John Michael, 180(1)181--201
• Robson, John Michael, see Pomerance, Carl
• robust, 148(2)325--349, 159(2)245--270
• Roccetti, Marco, 140(1)73--94
• Roccetti, Marco, see Gorrieri, Roberto
• Roch, Jean-Louis, 162(1)133--150
• Roch, Jean-Louis, see Revol, Nathalie
• Rogers, John D., 207(1)131--157
• Rogers, John D., see Naik, Ashish V.
• Rogozhin, Yurii, 168(2)215--240
• Rogozhin:1996:SUT, 168(2)215--240
• Róka, Zsuzsanna, 225(1)81--111
• Roka:1999:SBC, 225(1)81--111
• role, 140(1)179--199, 184(1)195--236
• Rolim, J. D. P., 205(1)261--282
• Rolim, J. D. P., see Andreev, A. E.
• Rolim, José D. P., 161(1)307--314, 180(1)243--268, 221(1)3--18, see Andreev, Alexander E.
• Romanik, Kathleen, 188(1)79--99
• Romanik:1997:ATR, 188(1)79--99
• Ronald, 207(1)13--23
• Roos, Thomas, 181(1)3--15
• Roos, Thomas, see Asano, Tetsuo
• Roos, Yves, 215(1)99--121
• Roos, Yves, see Clerbout, Mireille
• root, 152(2)269--283, 157(1)91--99, 157(2)273--275
• rooted, 146(1)25--68, 165(2)275--293, 186(1)199--230
• Rosaz, Laurent, 201(1)151--170
• Rosaz:1998:IUL, 201(1)151--170
• Roscoe, A. W., 138(2)273--314, 211(1)85--127
• Roscoe, A. W., see Mislove, M. W., see Reed, G. M.
• Rosenkrantz, D., 145(1)45--69
• Rosenkrantz, D., see Breitbart, Y.
• Rosenkrantz, D. J., 181(2)379--404
• Rosenkrantz, D. J., see Krumke, S. O.
• Ross, J. R. X., 195(2)155--182
• Ross, J. R. X., see Pitts, A. M.
• Ross, Kenneth A., 193(1)149--179
• Ross:1998:FAC, 193(1)149--179
• Rossello, F., 184(1)145--193, 194(1)246--z
• Rossello, F., see Burmeister, P., see Monserrat, M.
• Rosselló, F., 216(1)311--362, see Burmeister, P.
• Rosser, Church-, 155(1)85--109
• Rossi, Francesca, 173(1)1--1
• Rossi, Francesca, see Montanari, Ugo
• Rossmanith, Peter, 194(1)137--161
• Rossmanith, Peter, see Niedermeier, Rolf
• Rössner, Carsten, 209(1)287--297
• Rossner:1998:HAS, 209(1)287--297
• rotation, 188(1)129--159, 209(1)179--193, 218(2)285--295
• rotator, 207(1)193--201
• Rote, Günter, 172(1)303--308
• Rote:1997:FSV, 172(1)303--308
• Roth, Dan, 220(1)267--319
• Roth, Dan, see Mavronicolas, Marios
• Rothe, Jörg, 205(1)317--327, see Hemaspaandra, Lane A.
• Rougemont, Michel de, 157(2)161--183
• Rougemont, Michel de, see Burago, Dima
• rough, 179(1)427--436
• round, 145(1)271--290
• round, one-, 157(2)277--282
• round, shift-add-shift-, 196(1)201--214
• rounding, 156(1)1--38
• roundoff, 162(1)151--170, 176(1)89--110
• Rounds, William C., 177(1)155--182
• Rounds, William C., see Zhang, Guo-Qiang
• routing, 155(1)141--156, 158(1)53--64, 163(1)161--176, 185(2)347--377, 186(1)171--198, 196(1)131--151, 196(1)131--151--1, 196(1)181--200, 203(1)31--49, 205(1)115--133, 220(2)469--488, 221(1)19--39, 221(1)119--137
• Roux, Olivier, 146(1)109--143
• Roux, Olivier, see Cassez, Franck
• Rovan, Brànislav, 168(1)1--1
• Rovan:1996:I, 168(1)1--1
• row, 155(2)321--347, 188(1)221--230
• row-convex, 155(2)321--347, 159(1)129--136
• Royal, 229(1)41--102
• Royer, James S., 207(1)131--157
• Royer, James S., see Naik, Ashish V.
• Rozenberg, G., 153(1)1--z, 154(2)247--282, 183(1)1--z
• Rozenberg, G., see Engelfriet, J.
• Rozenberg, Grzegorz, 154(2)183--201, 155(2)425--438, 168(2)321--336, 183(1)1--1, 197(1)1--56, 204(1)183--203, 205(1)61--83
• Rozenberg, Grzegorz, see Ehrenfeucht, Andrzej, see Mateescu, Alexandru, see Mitrana, Victor, see P{\u{a}}un, Gheorghe
• Rozenberg, Kleijn-, 161(1)23--68
• Rozenberg:1996:P, 153(1)1--z
• Rozenberg:1997:C, 183(1)1--z
• Rozenberg:1997:P, 183(1)1--1
• RPO, 142(2)209--227
• RPO, AC-, 142(2)209--227
• {RSA}-based, 226(1)173--184
• {RSA}-type, 226(1)19--27
• RTFIL, 170(1)1--46
• Ruanaidh, Joseph Ó, 226(1)117--142
• Ruanaidh:1999:CCP, 226(1)117--142
• Rubio, Albert, 142(2)209--227, 208(1)33--58
• Rubio, Albert, see Jouannaud, Jean-Pierre
• Rubio:1995:TAC, 142(2)209--227
• rudimentary, 193(1)129--148
• Rudolph, G., 229(1)3--9
• Rudolph, G., see Eiben, A. E.
• Ruet, Paul, 171(1)61--75
• Ruet:1997:CEN, 171(1)61--75
• rule, 135(1)67--110, 138(1)113--139, 138(1)169--199, 142(1)3--26, 142(2)257--276, 144(1)221--249, 146(1)25--68, 146(1)69--108, 146(1)199--242, 150(1)161--191, 152(2)219--249, 152(2)285--303, 154(2)329--348, 155(2)425--438, 159(2)143--190, 160(1)283--303, 162(2)297--322, 163(1)99--116, 164(1)185--206, 165(2)463--474, 167(1)95--130, 169(2)201--220, 170(1)129--144, 170(1)209--244, 171(1)111--146, 173(1)209--233, 173(2)349--391, 175(1)75--92, 175(1)159--181, 175(2)293--308, 176(1)67--87, 176(1)235--282, 178(1)77--102, 183(2)229--251, 183(2)253--279, 190(2)241--277, 192(1)77--106, 192(2)287--314, 194(1)240--z, 194(1)240--z--2, 194(1)242--z--1, 197(1)243--z, 198(1)49--98, 201(1)171--187
• Rünger, Gudula, 196(1)215--240, see Podehl, Axel
• running, 145(1)189--228, 183(2)215--228, 196(1)3--29
• runtime, 155(2)349--363, 192(2)201--231
• Rus, Teodor, 199(1)105--143, 199(1)199--229
• Rus:1998:APP, 199(1)105--143
• Rus:1998:PPM, 199(1)199--229
• Rusinowitch, Michaël, 178(1)129--154, see Kucherov, Gregory
• Rutten, J. J. M. M., 151(1)1--z, 170(1)349--381, 193(1)1--51, 221(1)271--293
• Rutten, J. J. M. M., see Bonsangue, M. M., see Gastin, P., \see{Vink, E. P. de
• Rutten:1996:EGU, 170(1)349--381
• RWCA, 187(1)z--z
• RWD0L, 164(1)29--40
• Ryl, Isabelle, 215(1)99--121
• Ryl, Isabelle, see Clerbout, Mireille
• Rystsov, Igor, 172(1)273--279
• Rystsov:1997:RWC, 172(1)273--279
• Rytter, Wojciech, 143(2)343--352, 147(1)19--30, 180(1)309--324, 197(1)189--201, 205(1)243--260, 218(1)123--133, 218(1)197--203
• Rytter, Wojciech, see Crochemore, Maxime, see G{\k{a}}sieniec, Leszek, see Karhumäki, Juhani, see Karpinski, Marek, see Larmore, Lawrence L.
• Rytter:1995:CFR, 143(2)343--352
• Ryu, Kwan Woo, 154(2)225--245
• Ryu, Kwan Woo, see JáJá, Joseph F.