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