Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
R
-
R, 49(1)107--109
-
Rabe, Florian, 50(2)191--202, 65(8)1265--1298
-
Rabe, Florian, see Iancu, Mihnea,
see Kohlhase, Michael
-
race, 4(4)465--474, 11(2)185--212
-
Race-Free, 60(3)279--298
-
Rago, G., 28(4)371--396
-
Rago, G., see Hooker, J. N.
-
Raimondi, Franco, 61(1)113--139
-
Raimondi, Franco, see Bauereiß, Thomas
-
Rajasekar, Arcot, 5(3)293--307
-
Rajasekar:1989:WGC, 5(3)293--307
-
Rakamari{\'c}, Zvonimir, 60(1)23--42, see He, Shaobo
-
Raman, Vasumathi, 60(1)43--62, 60(1)107--131, 63(4)1055--1075
-
Raman, Vasumathi, see Jha, Susmit,
see Wu, Yi-Chin
-
Ramesh, Anavai, 18(1)47--83, 18(3)337--356
-
Ramesh, S., 54(1)31--68
-
Ramesh, S., see Ghosh, Kamalesh
-
Ramesh:1997:CDC, 18(3)337--356
-
Ramesh:1997:FSC, 18(1)47--83
-
Ramos, Thiago Mendonça Ferreira, 66(4)1031--1063
-
Ramos:2022:FCT, 66(4)1031--1063
-
Ramsay, Allan, 7(3)359--368, 14(2)237--255
-
Ramsay:1991:GRM, 7(3)359--368
-
Ramsay:1995:TPI, 14(2)237--255
-
Ramsdell, John D., 23(1)43--62
-
Ramsdell:1999:TRS, 23(1)43--62
-
Ramsey, 15(2)217--235
-
Random, 35(1)181--200, 37(4)261--276, 41(3)295--323, 64(5)879--910
-
Raschid, Louiqa, 12(3)305--349
-
Raschid:1994:SCN, 12(3)305--349
-
Rasga, João, 60(2)221--236, see Casal, Filipe
-
Ra{\v{s}}ka, Martin, 67(3)z--99999999,
see Holub, {\v{S}}t{\v{e}}p{\'a}n
-
Raths, Thomas, 38(1)261--271
-
Raths:2007:IPL, 38(1)261--271
-
Rational, 65(3)357--423
-
Ratschan, Stefan, 57(2)157--185
-
Ratschan, Stefan, see Franek, Peter
-
Rauzy, Antoine, 19(2)143--171
-
Rauzy, Antoine, see Corsini, Marc-Michel
-
Ravara, António, 46(3)293--323, see Martinho, Joana
-
Rawlings, Blake C., 60(1)107--131
-
Rawlings, Blake C., see Wu, Yi-Chin
-
Ray, Sandip, 40(4)245--269, 47(1)1--16, 51(3)241--280
-
Ray, Sandip, see Gordon, Michael J. C.
-
Ray:2008:MAP, 40(4)245--269
-
Ray:2013:SVC, 51(3)241--280
-
Rayadurgam, Sanjai, 60(1)1--2
-
Rayadurgam, Sanjai, see Muñoz, César A.
-
RCD, 20(3)283--316
-
Reachability, 33(3)341--383, 52(1)99--122, 65(4)479--520
-
Reached, 27(2)89--95
-
Read-Once, 66(2)239--274
-
Readability, 67(1)z--99999999
-
readable, 17(3)325--347, 17(3)349--370
-
real, 21(3)357--380, 56(3)367--386, 57(2)157--185, 61(1)33--71,
62(2)281--300
-
Real-Time, 60(1)63--84
-
Real-Valued, 44(3)175--205, 50(1)99--117
-
Realistic, 26(2)205--221
-
Realization, 60(4)503--526
-
Reasoner, 30(1)1--31, 52(3)331--360, 53(3)245--269, 59(4)455--482
-
reasoning, 1(1)5--48, 1(2)209--228, 1(3)263--283, 2(1)1--42,
2(2)109--126, 2(4)329--390, 3(1)81--90, 3(4)437--451, 5(2)141--165,
5(2)207--233, 5(2)239--255, 5(4)533--540, 6(1)77--78, 6(4)419--461,
7(3)383--401, 7(4)447--451, 8(1)1--2, 8(1)77--90, 8(3)367--394,
8(3)421--426, 9(1)77--97, 9(2)179--215, 10(2)161--172,
10(2)173--189, 10(3)399--420, 10(3)421--422, 11(2)289--291,
14(1)1--1, 14(1)3--42, 14(1)93--147, 15(1)1--40, 15(1)v--v,
16(1)113--145, 16(3)223--239, 18(3)399--442, 20(1)107--142,
20(1)167--190, 20(1)191--213, 21(1)39--67, 21(2)233--275,
22(3)241--262, 25(4)291--328, 26(3)291--331, 30(1)1--31,
30(2)205--232, 35(4)429--431, 36(1)1--3, 36(4)287--287, 37(1)1--1,
38(1)57--78, 39(1)1--47, 39(3)245--247, 39(3)277--316,
39(3)351--384, 39(3)385--429, 43(3)237--242, 45(1)1--2, 45(1)3--19,
46(3)223--224, 47(1)17--56, 49(1)1--52, 49(1)107--109,
49(2)241--273, 53(2)173--213, 53(3)271--304, 53(4)351--405,
54(1)99--99, 55(4)307--372, 56(2)113--141, 57(2)97--134,
57(4)281--318, 59(2)165--218, 60(3)337--363, 60(4)385--419,
64(3)361--362, 64(4)689--697, 64(5)911--945, 64(6)1001--1050,
65(6)809--890, 65(8)1097--1124, 66(4)437--438, 66(4)439--461,
67(1)z--99999999, 67(3)z--99999999
-
Reasons, 51(4)431--451
-
Rebola-Pardo, Adrián, 64(7)1247--1267,
see Kiesl, Benjamin
-
Recalled, 27(2)97--122
-
received, 4(1)113--113
-
Recio, T., 23(1)63--82, 43(2)203--236
-
Recio, T., see Dalzotto, G.
-
Recio, Tomás, 55(1)39--59, see Botana, Francisco
-
Recio:1999:ADT, 23(1)63--82
-
Reciprocity, 8(1)3--21
-
Recognizing, 9(1)43--76
-
Reconfigurable, 24(1)5--36
-
Reconsidering, 55(3)199--210
-
Recovering, 22(3)263--309
-
recursion, 15(2)167--215, 67(3)z--99999999
-
recursive, 2(2)155--170, 6(1)39--49, 19(1)1--29, 21(2)233--275,
22(1)65--115, 44(4)303--336, 49(1)53--93
-
Recursive, Tail-, 23(1)43--62
-
Red--Black, 64(4)767--791
-
Reddy, Uday S., 16(1)3--37
-
Reddy, Uday S., see Bronsard, François
-
Reduced, 38(1)155--172
-
Reduces, 23(2)137--193
-
Reducible, 59(3)331--344
-
Reducing, 46(3)325--352, 48(2)197--217, 51(1)57--77
-
reduction, 4(4)425--444, 5(2)235--237, 5(3)399--401, 5(4)531--532,
12(1)47--87, 12(3)389--406, 18(3)297--336, 21(1)1--21, 23(1)25--42,
23(3)265--298, 33(2)89--132, 34(2)179--207, 39(3)351--384,
39(4)513--541, 47(1)1--16, 60(1)3--21, 64(5)827--856,
64(7)1361--1391, 66(4)639--666, 66(4)1099--1099
-
Redundancy, 23(2)137--193
-
Redundancy-Free, 64(7)1197--1219
-
redundant, 3(1)81--90, 9(1)77--97, 67(3)z--99999999
-
Reed, David W., 14(2)325--351
-
Reed, David W., see Loveland, Donald W.
-
Reeves, Joseph E., 67(3)z--99999999
-
Reeves, S. V., 3(3)225--246
-
Reeves:1987:AES, 3(3)225--246
-
Reeves:2023:PPR, 67(3)z--99999999
-
reference, 55(3)295--306
-
refinement, 6(4)389--402, 19(2)205--262, 22(4)433--483, 44(3)207--243,
51(3)241--280, 62(2)261--280, 62(4)481--503, 62(4)505--530,
63(1)53--94, 64(3)461--484, 64(7)1393--1418
-
Refinement, Approximation-, 64(3)611--640
-
Reflected, 22(2)171--221
-
reflection, 7(2)271--284, 29(3)277--307, 41(1)z--z
-
Reflective, 55(2)117--183
-
Reflexive, 51(4)371--400
-
refutation, 13(3)361--373, 16(3)241--319, 43(2)121--137, 65(5)599--645
-
Refutation, Unit-, 52(1)31--65
-
Refuting, 36(1)149--176
-
Regular, 25(1)1--34, 29(2)171--182, 35(1)181--200, 49(1)95--106,
52(4)451--480, 54(2)165--197, 61(1)521--553, 67(3)z--99999999
-
Regularity, 67(1)z--99999999
-
Reichgelt, Han, 12(1)103--129
-
Reichgelt, Han, see Aitken, J. Stuart
-
Reif, Wolfgang, 45(4)359--395
-
Reif, Wolfgang, see Dunets, Andriy
-
reified, 12(1)103--129
-
Reina, J. L., Ruiz-, 52(3)331--360
-
Reina, José Luis, Ruiz-, 47(3)229--250
-
Reina, José-Luis, Ruiz-, 32(4)z--99999999, 37(1)67--92
-
Reinterpreting, 63(3)597--623
-
Reis, Giselle, 63(1)95--126
-
Reis, Giselle, see Ebner, Gabriel
-
related, 1(1)5--48, 6(1)39--49, 50(2)161--172, 64(7)1269--1286
-
relation, 37(4)277--322, 40(4)293--306, 49(1)95--106, 64(1)135--165,
64(2)167--195, 64(2)295--330, 65(8)1097--1124
-
Relational, 60(3)337--363, 66(4)861--904
-
Relationships, 25(4)291--328
-
relative, 47(4)481--501, 58(3)391--411, 60(1)23--42
-
Relativity, 52(4)361--378
-
Relaxation, 24(1)37--65, 35(1)3--24, 64(5)857--877
-
relevance, 7(4)587--596
-
RElevancy, 14(2)325--351
-
relevant, 7(3)359--368, 7(4)563--585
-
Relevant, Quasi-, 67(4)z--99999999
-
Rely-Guarantee, 59(1)47--85, 63(2)489--515
-
Remshagen, Anja, 34(1)31--47
-
Remshagen:2005:EAF, 34(1)31--47
-
Renaming-Based, 67(3)z--99999999
-
Renaud, Fabien, 59(3)287--330
-
Renaud, Fabien, see Chihani, Zakaria
-
Rensets, 67(3)z--99999999
-
Reordering, 56(4)459--477
-
replacement, 11(1)147--148, 18(2)221--226
-
Replacing, 6(1)51--75
-
Replay, 41(3)193--218
-
report, 52(3)275--329, 59(4)455--482
-
representation, 3(3)301--317, 6(2)211--212, 6(4)361--388, 6(4)463--464,
7(2)285--286, 7(4)631--634, 14(1)149--180, 33(2)89--132,
44(1)z--99999999, 49(2)141--159, 49(2)185--207, 49(3)363--408,
55(4)307--372, 56(2)113--141, 61(1)521--553
-
Representing, 33(2)133--170, 49(1)1--52
-
Reproved, 60(3)365--383
-
Requirements, 65(7)1027--1070
-
research, 2(4)iii--iii
-
residue, 30(1)1--31
-
resolution, 1(4)333--355, 6(1)1--38, 9(1)43--76, 10(1)59--78,
10(2)265--281, 12(1)103--129, 13(1)83--115, 19(2)173--203,
22(4)379--396, 22(4)433--483, 24(1)225--275, 25(1)1--34,
27(4)391--421, 28(2)205--232, 29(3)253--275, 43(2)121--137,
44(3)245--276, 46(1)1--42, 50(1)1--49, 50(4)423--456, 52(1)31--65,
60(2)133--156, 60(4)527--527, 61(1)455--484, 63(1)127--155,
64(7)1169--1195, 64(7)1247--1267, 66(1)1--41, 66(3)277--300,
67(3)z--99999999
-
Resolution, -, 22(4)433--483, 63(1)127--155
-
Resolution, Hyper-, 57(1)3--36
-
Resolution, SLD-, 23(3)347--371
-
resolution, SLDENF-, 17(2)199--214
-
resolution, SLDNF-, 8(2)297--306
-
Resolution, SLT-, 28(1)53--97
-
Resolution--Based, 64(3)461--484
-
Resolution-Based, 40(2)89--116, 40(4)357--357
-
resolutionash, 12(2)139--156
-
Resolving, 12(1)1--31
-
Resolving, Self-, 20(3)317--336
-
resonance, 17(1)23--81
-
Resource, 59(1)1--2, 59(1)3--45
-
Restart, 61(1)333--365
-
Restore, 25(1)1--34
-
Restricted, 65(6)809--890
-
restriction, 7(1)105--107, 25(1)1--34
-
result, 6(1)1--38, 18(2)271--286, 35(4)373--390, 48(1)1--42,
48(4)441--487, 56(3)343--365, 63(2)415--438
-
resulting, unit-, 16(3)241--319
-
retrieval, 2(1)75--88, 9(2)147--167, 20(1)5--25, 41(2)99--142
-
Reus, Bernhard, 23(3)411--444, 54(3)199--284
-
Reus:1999:FSD, 23(3)411--444
-
Reus:2015:SEP, 54(3)199--284
-
Reusing, 45(4)415--435
-
Revealed, 27(2)89--95
-
Reverse, 55(4)373--388
-
review, 4(2)233--234, 7(1)159--161, 9(3)409--411, 10(2)285--286,
11(3)429--431, 12(1)131--132, 35(4)429--431, 49(1)107--109,
51(4)453--456
-
revision, 12(2)157--208
-
Revisited, 18(3)297--336, 63(3)625--665
-
rewrite, 2(3)253--273, 14(2)293--316, 51(3)281--324, 64(8)1611--1662,
67(2)z--z
-
rewriting, 2(4)391--418, 10(1)95--113, 21(2)233--275, 29(3)309--336,
33(3)341--383, 34(2)105--139, 34(4)365--385, 37(3)205--229,
38(4)303--351, 40(2)195--220, 40(4)293--306, 43(3)305--336,
48(2)133--134, 50(2)203--210, 51(1)27--56, 58(2)231--251,
59(1)121--163, 60(4)421--463, 65(8)1191--1229, 66(4)667--688,
67(2)z--z, 67(4)z--99999999
-
Reynolds, Andrew, 58(3)341--362, 67(2)z--99999999, 67(3)z--99999999,
67(4)z--99999999
-
Reynolds, Andrew, see Abate, Alessandro,
see Sheng, Ying
-
Reynolds:2017:DPC, 58(3)341--362
-
Ricciotti, Wilmer, 49(2)185--207, 49(3)427--451, 66(4)989--1030
-
Ricciotti, Wilmer, see Asperti, Andrea,
see Pollack, Randy
-
Ricciotti:2022:FSN, 66(4)989--1030
-
Rich, Charles, 7(3)403--433
-
Rich, Charles, see Feldman, Yishai A.
-
Richards, Barry, 24(4)483--533
-
Richards, Barry, see Richards, E. Thomas
-
Richards, E. Thomas, 24(4)483--533
-
Richards:2000:NSN, 24(4)483--533
-
Rideau, Laurence, 40(4)307--326, 61(1)33--71
-
Rideau, Laurence, see Bertot, Yves
-
Rideau:2008:TWC, 40(4)307--326
-
Riely, James, 31(3)335--370
-
Riely:2003:TPT, 31(3)335--370
-
right, 5(2)141--165, 9(1)1--24, 38(1)173--199, 47(1)1--16
-
Rigid, 20(1)47--80, 21(2)205--231, 30(2)121--151
-
Rinard, Martin, 36(3)213--239
-
Rinard, Martin, see Kuncak, Viktor
-
Rincón, Mauricio, Ayala-, 45(3)301--325, 58(2)231--251,
63(2)319--321, 65(8)1231--1263, 66(4)1031--1063
-
ring, 3(2)211--221, 3(4)437--451, 4(4)381--396, 5(2)141--165,
6(1)79--109, 65(8)1231--1263
-
Ringe, Don, 39(4)z--z
-
Ringe, Don, see Brooks, Daniel R.
-
Ringeissen, Christophe, 64(1)97--134, 67(4)z--99999999
-
Ringeissen, Christophe, see Chocron, Paula,
see Sheng, Ying
-
rippling, 16(1)147--180, 35(4)429--431, 47(1)57--105
-
Risch, Vincent, 13(2)223--242
-
Risch:1994:TBC, 13(2)223--242
-
Rish, Irina, 24(1)225--275
-
Rish:2000:RVS, 24(1)225--275
-
Ritterskamp, Manuela, 45(1)3--19
-
Ritterskamp, Manuela, see Kern-Isberner, Gabriele
-
Rivero, José Miguel, 18(2)171--176,
see Nieuwenhuis, Robert
-
Rivkin, Andrey, 65(7)941--969, 66(3)409--435
-
Rivkin, Andrey, see Calvanese, Diego
-
Rizkallah, Christine, 52(3)241--273
-
Rizkallah, Christine, see Alkassar, Eyad
-
Roach, J. W., 6(1)51--75
-
Roach:1990:RUC, 6(1)51--75
-
Roanes-Lozano, Eugenio, 46(2)205--221
-
Roanes-Lozano, Eugenio, see Hernando, Antonio
-
Robbins, 6(4)465--489, 19(3)263--276
-
Robillard, Simon, 66(4)499--539
-
Robillard, Simon, see Waldmann, Uwe
-
Robinson, Peter, 39(2)181--218
-
Robinson, Peter, see Billingsley, William
-
Robinson, Peter J., 6(2)115--145
-
Robinson, Peter J., see Staples, John
-
Robot, 1(4)357--390
-
Rocha-Oliveira, Ana Cristina, 58(2)231--251
-
Rocha-Oliveira:2017:COT, 58(2)231--251
-
Rodríguez-Carbonell, Enric, 46(1)81--102, 48(1)107--131,
see Borralleras, Cristina,
see Larrosa, Javier
-
Rody, Abdelilah Kandri, 20(3)365--385
-
Rody:1998:TDS, 20(3)365--385
-
ROGET, 1(1)49--74
-
role, 1(1)75--101, 8(2)275--295, 61(1)9--32
-
root, 29(3)225--252, 64(2)331--360
-
Rosati, Riccardo, 39(3)385--429
-
Rosati, Riccardo, see Calvanese, Diego
-
Rose, 1(4)357--390
-
Rose, Eva, 31(3)303--334
-
Rose, Kristoffer H., 49(2)275--300
-
Rose:2003:LBV, 31(3)303--334
-
Rose:2012:ESN, 49(2)275--300
-
Rosenthal, Erik, 21(1)39--67, 38(1)155--172
-
Rosenthal, Erik, see Lu, James J.,
see Murray, Neil V.
-
Rosolini, Giuseppe, 50(2)147--160
-
Rosolini, Giuseppe, see Caminati, Marco Bright
-
Ross, Kenneth A., 4(4)397--424
-
Ross-Rubinstein, Cox-, 64(4)737--765
-
Ross:1988:INI, 4(4)397--424
-
Rosser, Church-, 26(1)51--66
-
Rossi, Gianfranco, 64(2)295--330, 65(4)463--478, 65(6)809--890,
65(8)1125--1151
-
Rossi, Gianfranco, see Cristiá, Maximiliano
-
Roßkopf, Simon, 67(1)z--z
-
Rosskopf:2023:FPC, 67(1)z--z
-
Rossum, Peter van, 35(1)265--293
-
Rossum, Peter van, see Bozzano, Marco
-
Rot, Jurriaan, 53(2)129--139
-
Rot, Jurriaan, see Gouw, Stijn de
-
Roth, 67(1)z--99999999
-
Roth, Dan, 46(2)103--160
-
Roth, Dan, see Mengshoel, Ole J.
-
Round, Hardest-to-, 54(1)1--29
-
Rounding, 57(2)135--156
-
Routing, 48(4)419--439
-
Roux, Cody, 56(3)367--386
-
Roux, Cody, see Avigad, Jeremy
-
Roux, Pierre, 57(2)135--156, 67(4)z--z
-
Roux, Pierre, see Martin-Dorel, Érik
-
Roux:2016:FPR, 57(2)135--156
-
Rowe, Paul, 46(3)389--421
-
Rowe, Paul, see Kanovich, Max
-
RRTP, 18(2)221--226
-
Rubinstein, Cox-Ross-, 64(4)737--765
-
Rubio, Albert, 30(1)99--120, 48(1)107--131, 50(1)51--98
-
Rubio, Albert, see Bofill, Miquel,
see Borralleras, Cristina
-
Rubio, Julio, 40(4)271--292
-
Rubio, Julio, see Aransay, Jesús
-
Rudnicki, Piotr, 3(4)383--393, 23(3)197--234, 29(3)189--224,
50(2)229--241
-
Rudnicki, Piotr, see Bancerek, Grzegorz,
see Urban, Josef
-
Rudnicki:1987:OI, 3(4)383--393
-
Rudnicki:1999:EWF, 23(3)197--234
-
rue, 12(2)241--264
-
RUE--NRF, 10(3)371--388
-
Ruiz-Reina, J. L., 52(3)331--360
-
Ruiz-Reina, J. L., see Hidalgo-Doblado, M. J.
-
Ruiz-Reina, José Luis, 47(3)229--250,
see Martín-Mateos, Francisco Jesús
-
Ruiz-Reina, José-Luis, 32(4)z--99999999, 37(1)67--92,
see Martín-Mateos, Francisco-Jesús
-
Ruiz-Reina:2006:FCQ, 37(1)67--92
-
rule, 2(3)253--273, 3(2)201--209, 3(4)395--431, 4(4)425--444,
4(4)445--462, 5(1)93--95, 6(3)337--339, 7(4)631--634, 8(1)77--90,
9(1)141--143, 11(3)391--428, 13(2)211--221, 13(3)297--337,
15(3)359--383, 18(2)221--226, 21(3)381--400, 27(2)123--139,
31(1)11--21, 32(2)93--102, 38(1)31--56, 39(1)77--106, 45(1)61--87,
50(2)203--210
-
Rümmer, Philipp, 47(4)341--367, 58(1)127--147,
see Brillout, Angelo,
see Zelji{\'c}, Aleksandar
-
Running, 35(1)51--72
-
Runs, 39(2)219--243, 55(2)117--183
-
Runtime, 51(1)27--56, 59(1)121--163
-
Rusinowitch, Michael, 33(1)1--28, 48(2)135--158
-
Rusinowitch, Michael, see Anantharaman, Siva
-
Rusinowitch, Michaël, 14(2)189--235, 17(1)131--143, 30(2)153--177,
48(2)263--292, see Bouhoula, Adel,
see Chevalier, Yannick,
see Narendran, Paliath
-
Rusinowitch:2003:MVI, 30(2)153--177
-
Russinoff, David M., 1(2)121--139, 8(1)3--21
-
Russinoff:1985:EBM, 1(2)121--139
-
Russinoff:1992:MPQ, 8(1)3--21
-
Russo, Mark F., 8(3)395--419
-
Russo:1992:AIA, 8(3)395--419
-
Rybalchenko, Andrey, 57(1)1--2
-
Rybalchenko, Andrey, see Kroening, Daniel
-
Rydval, Jakub, 66(3)357--407
-
Rydval, Jakub, see Baader, Franz