Index file section R for tcs1985.bib

Last update: Thu Sep 27 02:46:57 MDT 2018               

Return to index directory

R

• R-product, 47(1)1--14
• R., 39(2)123--133
• R., see Kapur, D.
• Rabin, 37(1)51--75, 44(3)259--274
• race, 61(1)49--66
• radius, 61(2)279--282
• Ragde, P., 68(3)343--346
• Ragde, P., see Gafni, E.
• RAM, 40(2)195--210
• RAM, P-, 59(3)297--307
• Ramanan, P. V., 38(1)83--98
• Ramanan:1985:PRA, 38(1)83--98
• Ramanujam, R., 68(2)203--220
• Ramanujam:1989:SDD, 68(2)203--220
• Ramsey, 43(1)99--105
• random, 38(1)69--82, 39(2)89--106, 41(1)1--17, 43(2)169--188, 53(1)99--124, 53(1)z--z, 56(3)303--320, 58(1)379--397, 61(2)121--136, 63(2)203--221
• random-access, 47(3)315--321, 48(1)53--73, 58(1)379--397, 59(3)297--307, 61(2)121--136
• randomised, 43(2)169--188
• randomising, 38(1)69--82
• randomized, 47(1)85--93
• randomly, 65(2)149--152, 65(2)z--z
• rank, 60(3)285--296, 61(2)299--306, 66(1)1--14
• Rao, Nageswara S. V., 62(3)251--266
• Rao:1988:ACA, 62(3)251--266
• Raoult, 52(1)37--58
• rapid, 47(2)191--203
• Rasiowa, H., 48(2)145--152
• Rasiowa, H., see Marek, W.
• rational, 39(2)333--335, 40(1)13--30, 41(1)51--59, 43(1)91--98, 44(1)107--110, 44(3)259--274, 46(1)101--106, 47(1)39--60, 47(3)247--262, 47(3)335--343, 48(2)329--337, 53(2)187--200, 57(2)185--204, 57(2)303--316, 58(1)81--101, 58(1)231--248, 64(1)1--13, 65(0)123--270, 65(2)123--130, 65(2)171--188, 65(2)213--220, 65(2)z--z, 67(1)65--73, 68(3)253--265, 68(3)347--348
• rationality, 44(1)107--110, 66(3)341--347
• Ravikumar, B., 44(1)111--121
• Ravikumar, B., see Chang, J. H.
• raw, 64(2)135--157
• re-usable, 52(1)155--163
• reachability, 45(3)261--292, 46(2)107--140, 56(1)3--15, 64(3)343--350, 68(1)49--56
• reachable, 37(3)269--304
• Read, 58(1)379--397
• read, concurrent-, 47(3)277--298
• Read-Exclusive, 61(2)121--136
• read-exclusive-write, concurrent-, 58(1)379--397
• read-only, 63(2)203--221
• readers, 36(1)27--58
• real, 41(2)185--213, 47(3)299--313, 53(2)345--352, 54(2)299--313, 54(2)341--343, 58(1)69--80, 58(1)249--261, 60(3)231--254, 65(2)153--169, 65(2)221--242, 66(1)1--14
• real-time, 36(1)89--97, 47(1)15--26, 58(1)69--80, 64(1)39--53, 65(2)143--148, 65(2)z--z
• realtime, 52(3)341--342, 65(2)143--148
• reasoning, 40(2)315--317, 43(1)81--89, 59(1)133--155, 65(1)35--83, 69(3)243--287
• receivers, 68(2)175--202
• recent, most-, 56(1)3--15
• recognisable, 35(2)179--189, 43(2)265--275
• recognition, 35(2)271--293, 39(2)89--106, 41(2)231--246, 43(1)31--41, 43(2)239--249, 43(2)315--335, 44(1)111--121, 47(3)315--321, 48(2)145--152, 52(3)177--191, 57(1)97--111, 60(3)231--254, 60(3)341--381, 63(1)1--17, 63(2)203--221, 64(1)107--118, 66(1)99--104, 68(2)155--173
• recognizable, 35(2)179--189, 41(1)51--59, 43(1)91--98, 47(1)39--60, 48(2)183--199, 58(1)201--208
• recognizing, 40(1)31--55
• reconnaissables, 58(1)231--248
• reconnaissance, 60(3)341--381
• record, 48(2)201--228, 56(1)59--133
• record-based, 48(2)297--328, 63(1)63--90
• record-like, 45(3)293--351
• recovery, 46(1)13--45
• recurrent, 35(1)1--15, 56(2)223--231
• recursion, 38(1)17--33, 38(1)35--53, 45(2)193--260, 47(2)131--147, 54(1)29--51, 58(1)249--261, 59(3)211--234, 66(3)255--272
• recursion-theoretic, 38(2)143--156, 43(1)107--115, 60(3)297--340
• recursion-theoretical, 46(2)197--217
• recursive, 35(2)227--243, 35(2)261--269, 36(1)1--19, 37(1)77--121, 38(1)17--33, 38(1)35--53, 39(1)15--25, 39(2)207--224, 40(2)323--328, 41(1)33--50, 41(2)289--303, 42(1)1--122, 42(2)123--249, 42(3)251--368, 44(3)307--331, 45(1)1--61, 45(2)193--260, 46(2)239--259, 47(2)121--130, 47(2)131--147, 47(3)299--313, 51(1)129--176, 52(3)281--306, 53(1)25--65, 53(1)z--z, 54(1)29--51, 57(2)327--330, 60(1)83--108, 60(3)297--340, 61(2)103--119, 62(0)3--233, 62(1)187--220, 62(3)289--310, 63(1)43--61, 63(3)253--274, 66(3)255--272, 66(3)289--297, 66(3)333--340, 68(3)303--317, 69(1)1--53
• recursively, 35(2)227--243, 35(2)261--269, 38(1)17--33, 41(1)1--17, 42(2)123--249, 54(1)29--51, 55(2)183--263, 62(3)235--249, 68(3)303--317
• recursively-defined, 54(1)29--51
• redex, 52(1)37--58
• reduced, 35(2)313--327, 38(1)133--136, 41(2)125--139, 54(2)215--236, 56(1)3--15
• reduced, parameter-, 55(1)47--85
• reduces, 38(2)167--192
• reducibility, 40(2)301--314, 43(1)99--105, 47(1)85--93, 51(3)265--280, 58(1)175--181, 63(1)43--61
• reducibility, self-, 68(2)123--134
• reducible, 44(2)155--174
• reducible, Karp-, 39(2)207--224
• reducible, self-, 43(2)169--188, 52(1)15--36
• reducing, 37(2)123--150
• reducing, length-, 47(1)27--38
• reduction, 35(1)109--114, 37(2)123--150, 39(2)207--224, 41(1)81--93, 41(1)113--120, 41(2)289--303, 45(1)1--61, 47(3)263--276, 51(1)215--220, 53(1)125--150, 53(2)201--224, 54(1)65--85, 54(2)249--265, 55(1)47--85, 56(1)17--36, 58(1)175--181, 58(1)325--346, 65(3)271--290, 68(3)267--276, 68(3)319--332
• reduction, Dyck-, 35(2)271--293
• reduction, Parameter-, 55(1)47--85
• reduction, space-, 57(1)47--86
• redundancy, 63(3)253--274
• Redziejowski, R. R., 43(1)59--79
• Redziejowski:1986:IWL, 43(1)59--79
• Reed, G. M., 58(1)249--261
• Reed:1988:TMC, 58(1)249--261
• Rees, 39(1)3--13
• refinement, 46(2)261--284
• reflexivity, 44(2)127--153, 47(1)39--60
• refusal, 50(3)241--284, 53(2)225--241
• refutations, 68(2)203--220
• register, shift-, 44(2)209--224
• registers, 43(1)11--30, 44(2)209--224
• registers, shift-, 43(1)11--30
• regular, 35(1)17--42, 35(1)43--53, 35(1)115--122, 35(2)191--214, 35(2)313--327, 36(1)113--117, 36(2)173--202, 38(1)133--136, 38(2)223--247, 38(2)307--322, 39(2)155--169, 40(2)131--148, 40(2)257--274, 42(1)1--122, 43(2)277--291, 44(2)155--174, 44(2)237--245, 45(2)193--260, 46(1)53--66, 46(2)175--195, 47(3)247--262, 48(1)101--108, 48(1)117--126, 52(1)59--75, 52(3)177--191, 53(2)169--185, 54(2)139--163, 54(2)237--247, 54(2)331--339, 55(1)1--45, 58(1)69--80, 61(1)25--32, 61(2)283--287, 65(1)85--119, 66(1)55--63, 66(3)233--245, 66(3)247--254, 66(3)341--347, 67(2)261--282, 68(3)239--252, 68(3)277--302
• Regular, Omega-, 61(2)137--147
• regular, omega-, 36(2)217--229, 46(1)91--99
• regular-process, 45(2)193--260
• regularity, 40(1)13--30, 48(1)101--108
• regulators, 40(2)131--148
• Rehrmann, R., 54(2)139--163
• Rehrmann, R., see Priese, L.
• Reisig, W., 41(2)185--213
• Reisig:1985:PNI, 41(2)185--213
• Reiterman, J., 43(2)293--313
• Reiterman, J., see Adamek, J.
• rejection, 64(2)203--219
• related, 40(2)257--274, 49(1)81--84
• relatifs, 65(2)153--169
• Relating, 57(2)225--238
• relation, 37(2)151--181, 38(2)157--165, 39(2)89--106, 40(2)131--148, 41(1)81--93, 46(2)159--174, 47(1)39--60, 47(3)329--334, 48(2)145--152, 51(1)215--220, 53(1)3--24, 54(2)277--298, 56(1)59--133, 57(2)303--316, 59(1)25--84, 59(3)287--296, 60(3)285--296, 61(2)137--147, 63(2)223--237, 64(1)83--96, 65(1)1--33, 65(3)343--371, 67(1)19--35, 67(1)65--73
• relational, 35(2)165--177, 38(1)99--116, 39(2)239--265, 39(2)309--317, 43(2)123--147, 46(1)67--82, 54(1)103--128, 62(1)67--104, 62(1)105--122, 63(1)63--90, 63(3)253--274, 69(1)55--68
• relationships, 60(1)83--108
• relative, 39(2)189--206, 41(1)81--93, 47(1)39--60, 52(3)193--203, 54(1)129--137, 63(1)43--61, 65(2)153--169
• relativizable, 68(3)267--276
• relativized, 68(3)267--276
• Relativizing, 68(3)267--276
• reliability, 37(2)151--181, 63(2)185--202
• remark, 39(2)225--237, 56(2)243--248, 68(3)347--348
• renewal, 65(2)243--248
• repeatable, 53(2)319--333
• repeated, 49(2)145--169, 49(2)z--z, 66(1)113--114
• Repeating, 61(2)259--277
• repetition, 45(1)63--86, 52(3)307--340
• repetition-free, 44(2)175--197
• replacement, 37(2)123--150, 51(1)81--115, 66(2)117--136
• representation, 35(2)271--293, 38(1)35--53, 38(1)83--98, 38(1)133--136, 43(2)201--211, 47(3)299--313, 47(3)315--321, 48(2)201--228, 52(3)307--340, 53(2)243--255, 54(2)341--343, 55(2)183--263, 61(2)175--198, 62(1)39--65, 62(3)235--249, 64(1)1--13, 64(1)15--23, 66(3)247--254, 68(3)333--342
• representative, 45(2)121--157, 62(1)67--104
• required, 51(1)239--247
• requirement, 64(2)203--219
• research, 40(2)257--274, 66(2)157--180
• reset, 61(1)17--24
• reset, one-, 58(1)69--80
• residual, 43(2)149--167, 64(3)221--269
• residue, 43(1)11--30
• resiliency, 62(1)123--185
• resolution, 35(2)129--164, 39(2)297--308, 45(3)293--351, 56(3)277--288, 59(1)3--23, 62(3)311--317, 65(1)1--33, 69(1)1--53, 69(1)55--68
• resolution, H-, 38(2)343--347
• resolution, H-, 38(2)343--347
• resolution, SLD-, 59(1)3--23, 69(3)289--318
• resolution, SLD-, 59(1)3--23
• resolution, SLDNF-, 65(3)343--371
• resolution-based, 56(3)345--353
• resolution/paramodulation-based, 44(2)127--153
• resolving, right-, 68(3)253--265
• resources, 36(1)27--58, 52(1)155--163
• respect, 59(1)115--131
• Rest, E., Barbin-Le, 41(1)61--80
• Rest, M., Le, 41(1)61--80
• Restivo, A., 40(1)13--30, 43(2)265--275
• Restivo, A., see de Luca, A.
• Restivo, Antonio, 65(2)265--270
• Restivo, Luca-, 46(1)53--66
• Restivo:1985:RLB, 40(1)13--30
• Restivo:1989:FGS, 65(2)265--270
• restricted, 35(2)129--164, 47(3)335--343, 52(3)341--342, 68(2)123--134
• restriction, 35(2)129--164, 56(1)59--133, 58(1)69--80, 67(1)129--139, 68(2)155--173
• Restructuring, 62(1)3--38
• result, 35(1)1--15, 35(2)227--243, 52(3)177--191, 58(1)143--154, 58(1)155--174, 61(2)259--277, 62(3)267--287, 65(1)35--83, 65(3)291--342, 66(2)157--180
• retiming, 37(2)183--216
• retrieval, 48(2)273--281, 49(2)239--265, 58(1)69--80, 62(3)251--266, 63(1)91--111
• return, 68(3)253--265
• Reutenauer, C., 40(1)13--30
• Reutenauer, C., see Restivo, A.
• reversal, 51(3)325--330, 54(2)331--339
• reversal, one-, 58(1)69--80
• reversal-bounded, 36(2)341--344, 48(2)329--337, 51(3)325--330
• reverse, 46(2)197--217
• reversible, 64(2)203--219, 66(3)289--297
• review, 63(3)253--274
• revisited, 59(3)317--325
• rewrite, 53(1)125--150, 62(1)3--38, 67(2)173--201, 67(2)303--332
• rewrite, graph-, 61(1)67--81
• rewriting, 35(1)71--87, 35(2)129--164, 35(2)337--344, 37(1)77--121, 37(2)123--150, 37(2)217--243, 40(2)85--99, 43(2)149--167, 45(1)1--61, 45(1)87--119, 45(3)293--351, 46(2)305--312, 47(1)27--38, 48(2)201--228, 51(1)27--52, 52(1)37--58, 52(3)205--237, 55(2)141--181, 56(1)37--57, 56(3)277--288, 57(2)205--224, 61(1)67--81, 61(1)83--92, 61(2)317--320, 65(3)271--290, 65(3)291--342, 67(1)19--35, 67(2)143--172, 67(2)173--201, 67(2)203--260, 67(2)261--282, 67(2)283--301, 67(2)303--332, 68(3)319--332
• rewriting, nonterminal-, 37(2)217--243
• rewriting, string-, 67(1)19--35, 67(2)143--172
• rewriting, Term-, 67(2)283--301
• rewriting, term-, 49(1)43--79, 56(1)37--57, 67(1)19--35, 67(2)261--282, 67(2)283--301
• Reynolds, 38(2)323--341
• Reynolds, Girard-, 59(1)85--114
• Rhodes, Krohn-, 47(1)1--14, 48(1)1--8, 61(1)17--24
• Richards, Dana, 67(1)5--18
• Richards, Dana, see Swart, Charles
• Riemann, 52(1)77--89
• right, 62(3)235--249
• right-boundary, 48(2)201--228
• right-continuous, 47(3)299--313
• right-invertible, 49(1)13--22
• right-linear, 47(2)219--223
• right-resolving, 68(3)253--265
• Rindone, G., 54(2)165--179
• Rindone:1987:CFC, 54(2)165--179
• ring, 37(2)183--216, 41(1)109--112, 43(1)11--30, 53(2)169--185, 54(1)53--64
• rings, near-, 68(1)49--56
• RISC, 56(1)3--15
• Ritzmann, P., 44(1)1--16
• Ritzmann:1986:FNA, 44(1)1--16
• Robert, Yves, 64(2)159--173
• Robert:1989:OSA, 64(2)159--173
• Robertson, 68(2)155--173
• Robinson, 65(1)1--33
• robust, 40(1)57--66, 52(1)15--36, 68(2)135--154
• Rocca, Simona, Ronchi Della, 59(1)181--209
• Rodriguez Artalejo, M., 39(2)189--206
• Rodriguez-Artalejo, M., 68(3)277--302
• Rodriguez-Artalejo, M., see Hortala-Gonzalez, M. T.
• RodriguezArtalejo:1985:SQA, 39(2)189--206
• Ronchi Della Rocca, Simona, 59(1)181--209
• RonchiDellaRocca:1988:PTS, 59(1)181--209
• Ronse, C., 43(1)31--41
• Ronse:1986:TCT, 43(1)31--41
• Roos, Y., 61(1)93--102
• Roos, Y., see Cori, R.
• root, 35(2)245--260
• Roscoe, A. W., 58(1)249--261, 60(2)177--229
• Roscoe, A. W., see Reed, G. M.
• Roscoe:1988:LOP, 60(2)177--229
• Rosenkrantz, 44(2)229--236
• Rosenkrantz, D. J., 38(2)323--341
• Rosenkrantz:1985:TGC, 38(2)323--341
• Rosier, L. E., 44(1)69--105, 46(2)107--140
• Rosier, L. E., see Howell, R. R.
• Rosier, Louis E., 58(1)263--324, 64(3)305--329
• Rosier, Louis E., see Howell, Rodney R.
• Rosier:1986:BEC, 44(1)69--105
• Rosier:1988:CDF, 58(1)263--324
• Rosser, Church-, 35(1)109--114, 35(2)227--243, 35(2)337--344, 37(2)123--150, 39(2)123--133, 39(2)337--342, 49(1)13--22, 49(1)43--79, 65(3)271--290, 66(1)55--63, 68(3)319--332, 68(3)333--342
• rotation, 65(2)189--196
• rotation, degrees-, 66(3)273--287
• Rote, Guenter, 66(2)157--180
• Rote, Guenter, see Edelsbrunner, Herbert
• Roucairol, G., 38(1)1--16
• Roucairol, G., see Fle, M. P.
• routing, 48(1)75--94, 53(2)281--293, 61(2)121--136, 64(1)83--96, 64(2)191--201, 64(2)203--219
• routing, parallel-, 64(1)83--96
• Rozenberg, Ehrenfeucht-, 44(2)229--236
• Rozenberg, G., 37(1)31--50, 37(3)357--360, 40(2)149--162, 48(2)201--228, 60(1)1--82
• Rozenberg, G., see Aalbersberg, I. J. J., see Aalbersberg, I. J., see Ehrenfeucht, A.
• Rozenberg:1985:CSS, 37(1)31--50
• RPL, 38(2)307--322
• Rudolph, Larry, 64(2)135--157
• Rudolph, Larry, see Kruskal, Clyde P.
• rule, 35(2)129--164, 37(3)245--267, 38(1)99--116, 41(2)271--287, 43(2)123--147, 45(1)1--61, 46(1)13--45, 49(2)311--347, 51(1)27--52, 51(1)129--176, 53(1)125--150, 57(1)3--45, 59(1)133--155, 62(1)3--38, 63(3)253--274, 65(3)291--342, 67(2)283--301, 67(2)303--332
• run-time, 56(1)59--133, 69(2)117--242
• running, 36(2)203--216
• runtime, 41(2)125--139, 58(1)325--346
• Ruohonen, K., 36(1)113--117
• Ruohonen:1985:EMS, 36(1)113--117
• Rupert, C. P., 68(3)347--348
• Rupert:1989:CRF, 68(3)347--348
• Rytter, W., 36(2)341--344, 47(3)315--321, 48(2)329--337, 53(2)295--306
• Rytter, W., see Gibbons, A.
• Rytter, Wojciech, 59(3)297--307
• Rytter:1985:CRB, 36(2)341--344
• Rytter:1986:CPP, 47(3)315--321
• Rytter:1987:OPP, 53(2)295--306
• Rytter:1988:EPC, 59(3)297--307