Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
R
-
Racket, 25(2)209--253
-
Rall, Louis B., 16(1)93--149
-
Rall, Louis B., see Reps, Thomas W.
-
RAM, 16(4)379--400
-
randomized, 25(2)209--253
-
reachability, 20(1)123--160
-
Real, 16(4)379--400
-
Real-Time, 20(1)161--196
-
real-time, 18(3)271--298, 20(1)161--196
-
reasoning, 23(2)227--271
-
Rebón, Á. J., 16(3)203--251, see Loidl, H.-W.
-
Recollection, 13(1)73--74
-
recollections, 13(1)65--67, 22(4)299--303
-
records, 19(1)125--162
-
recursion, 15(2)235--264, 18(3)299--326, 22(1)3--66
-
recursive, 18(3)299--326, 24(3)207--237
-
Reddy, Uday, 15(2)181--208
-
Reddy, Uday, see Berdine, Josh
-
redex, 21(1)147--192
-
reducing, 20(3)209--230
-
reduction, 18(1)121--210, 19(4)345--376, 20(3)231--235, 26(1)63--84
-
reflection, 13(1)103--114
-
reflective, 14(1)7--34, 22(2)115--144
-
reflexive, 18(1)51--77
-
region, 17(3)245--265, 17(4)347--394
-
Region-Based, 17(3)245--265
-
Regular, 14(2)143--172, 16(1)15--35
-
Reification, 14(1)7--34
-
Related, 13(4)355--368
-
relation, 18(1)51--77
-
Relational, 19(1)31--100
-
Relativizations, 18(1)79--120
-
relevant, 23(3)315--335
-
reliably., 16(4)379--400
-
remembering, 22(4)331--332
-
Remembrances, 18(1)9--11
-
reminiscence, 13(1)83--84
-
Renault, Sophie, 18(1)121--210
-
Renault, Sophie, see Pettorossi, Alberto
-
report, 11(1)7--105, 11(4)399--404
-
Reppy, John, 15(2)161--180
-
Reppy:2002:ONL, 15(2)161--180
-
representation, 12(3)237--282, 21(3)333--358
-
Representing, 20(1)3--35
-
Reps, Thomas W., 16(1)93--149
-
Reps:2003:CDD, 16(1)93--149
-
Requirements, 16(1)63--92
-
Rerooting, 14(4)357--386
-
Research, 16(1)7--13
-
reset, 20(4)371--401
-
resolution, 24(3)207--237
-
Resource, 21(1)119--146
-
restoration, 19(1)101--124
-
restriction, 18(3)299--326
-
result, 17(1)129--163
-
Retraction, 11(2)145--175
-
Retrospective, 16(1)7--13, 17(3)245--265
-
reuse, 25(1)165--207
-
Reuss, Signe, 16(3)253--285
-
Reuss, Signe, see G{\o}rtz, Inge Li
-
Revised, 11(1)7--105
-
revisited, 11(4)355--361, 11(4)399--404, 12(2)203--212, 12(3)283--283,
12(4)377--380, 13(1)131--133, 20(3)333--335
-
Rewrite, 20(1)123--160
-
rewriting, 19(2)231--262, 19(4)345--376, 20(1)3--35, 20(1)37--72,
20(1)161--196, 20(3)295--318, 21(1)59--88, 26(1)63--84
-
Reynolds, John C., 11(4)355--361, 11(4)363--397
-
Reynolds:1998:DIH, 11(4)363--397
-
Reynolds:1998:DIR, 11(4)355--361
-
Richards, Martin, 13(1)85--88
-
Richards:2000:CSC, 13(1)85--88
-
rid, 22(4)313--314, 22(4)315--329
-
Robert, 18(1)7--8
-
robust, 16(4)379--400, 23(2)191--226
-
Rollback, 19(1)101--124
-
Rompf, Tiark, 25(1)165--207
-
Rompf:2012:SVL, 25(1)165--207
-
Rosu, Grigore, 20(1)1--2
-
Rosu, Grigore, see Martí-Oliet, Narciso
-
rounding, 16(4)379--400
-
roundoff, 19(1)7--30
-
Rozas, G. J., 11(1)7--105
-
Rozas, G. J., see Abelson, H.
-
Rubio, F., 16(3)203--251
-
Rubio, F., see Loidl, H.-W.
-
Rudolph, Johannes, 23(3)371--407
-
Rudolph:2010:MTS, 23(3)371--407
-
rule-based, 21(1)59--88
-
rules, 12(1)105--113, 18(1)121--210, 21(1)193--234, 24(1)115--149
-
run, 23(3)371--407
-
Run-Time, 12(4)337--375
-
Runciman, Colin, 22(1)67--80
-
Runciman, Colin, see Naylor, Matthew
-
Rutten, J. J. M. M., 24(3)191--206
-
Rutten, J. J. M. M., see Niqui, M.