Index file section R for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
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, 213(1)437--528
-
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)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.