Index file section S for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
S
-
s, p-, 163(1)145--160
-
s-composed, p-, 163(1)145--160
-
S-matrices, 197(1)111--138
-
S4, 175(1)29--74
-
Saad, Rachid, 147(1)267--298
-
Saad, Rachid, see Blot, Joël
-
Sabidussi, Gert, 143(2)319--333
-
Sabidussi, Gert, see Fraenkel, Aviezri S.
-
Saccá, Domenico, 206(1)181--218, see Eiter, Thomas
-
Sack, Jörg-Rüdiger, 175(2)239--255,
see Bauernöppel, Frank
-
Saec, B., Le, 143(1)1--21
-
safe, 147(1)117--136, 154(1)107--143, 160(1)283--303, 164(1)107--122,
190(2)241--277, 193(1)97--112, 198(1)211--224
-
safe, 1-, 147(1)117--136, 153(1)129--170, 183(2)229--251
-
safe, non-, 160(1)283--303
-
safe, type-, 156(1)177--201
-
Safer, Taoufik, 210(1)159--171
-
Safer:1999:PRR, 210(1)159--171
-
safety, 167(1)47--72, 173(1)49--87, 183(2)253--279
-
Safra, 141(1)69--107
-
SAGBI, 225(1)177--184
-
Sagiv, Mooly, 167(1)131--170
-
Sagiv, Y., 146(1)269--310
-
Sagiv, Y., see Naughton, J. F.
-
Sagiv:1996:PID, 167(1)131--170
-
Sagot, Marie-France, 180(1)115--137
-
Sagot:1997:MSC, 180(1)115--137
-
Saheb, N., 218(2)263--271
-
Saheb, N., see Mosbah, M.
-
Sakai, Masahiko, 208(1)87--110
-
Sakai, Yoshifumi, 185(1)177--190
-
Sakai, Yoshifumi, see Takimoto, Eiji
-
Sakai:1998:SSS, 208(1)87--110
-
Sakakibara, Yasubumi, 185(1)15--45, 210(2)227--243
-
Sakakibara:1997:RAG, 185(1)15--45
-
Sakakibara:1999:STL, 210(2)227--243
-
Sakarovitch, Jacques, 191(1)61--77, 204(1)205--231, 225(1)1--63
-
Sakarovitch, Jacques, see Frougny, Christiane,
see Pelletier, Maryse
-
Sakarovitch:1998:CFA, 204(1)205--231
-
Sakurai, Akito, 137(1)109--127
-
Sakurai, Kouichi, 181(2)317--335
-
Sakurai:1995:VDD, 137(1)109--127
-
Sakurai:1997:PPK, 181(2)317--335
-
Salemi, Sergio, 204(1)153--167
-
Salemi, Sergio, see Mignosi, Filippo
-
salesman, 156(1)217--261, 158(1)279--341
-
Salibra, Antonino, 140(1)5--52
-
Salibra, Antonino, see Pigozzi, Don
-
Salomaa, 209(1)163--178
-
Salomaa, A., 183(1)1--z
-
Salomaa, A., see Rozenberg, G.
-
Salomaa, Arto, 141(1)253--268, 154(2)183--201, 158(1)161--176,
168(2)321--336, 183(1)1--1, 197(1)1--56, 204(1)131--152,
205(1)195--205
-
Salomaa, Arto, see Ilie, Lucian,
see Kari, Lila, \see{Martin-Vide, Carlos,
see Mateescu, Alexandru,
see Mitrana, Victor,
see Nishida, Taishin Y.,
see P{\u{a}}un, Gheorghe,
see Rozenberg, Grzegorz
-
Salomaa, Kai, 164(1)123--140, 167(1)171--192, 207(1)73--88
-
Salomaa:1996:DED, 167(1)171--192
-
Salomaa:1996:SEG, 164(1)123--140
-
Salomaa:1998:SEE, 207(1)73--88
-
Salzer, Gernot, 166(1)221--262
-
Salzer, Gernot, see Gottlob, Georg
-
Sambin, Giovanni, 159(2)319--341
-
Sambin:1996:CDT, 159(2)319--341
-
sample, 137(1)145--157, 209(1)141--162
-
Sánchez, Ana, 140(1)139--177, see Navarro, Marisa
-
sand, 205(1)183--193
-
Sander, G., 217(2)175--214
-
Sander:1999:GLA, 217(2)175--214
-
Sands, David, 167(1)193--233, 192(2)233--258
-
Sands, David, see Hankin, Chris
-
Sands:1996:PCR, 167(1)193--233
-
Sangiorgi, D., 195(2)291--324
-
Sangiorgi, D., see Amadio, R. M.
-
Sangiorgi, Davide, 155(1)39--83, 167(1)235--274, 198(1)159--176,
221(1)457--493
-
Sangiorgi, Davide, see Boreale, Michele
-
Sangiorgi:1996:CIM, 167(1)235--274
-
Sangiorgi:1996:LIS, 155(1)39--83
-
Sangiorgi:1999:NDU, 221(1)457--493
-
Sannella, Donald, 167(1)3--45, 173(2)445--484
-
Sannella, Donald, see Hofmann, Martin,
see Kahrs, Stefan
-
sans, 159(1)105--128
-
Santini-Bouchard, Marie-Line, 174(1)171--191
-
Santini-Bouchard:1997:ETI, 174(1)171--191
-
Santis, Alfredo De, 154(2)283--306, 156(1)315--325, 165(2)407--440
-
Santis, Alfredo De, see Blundo, Carlo,
see De Prisco, Roberto
-
Sarkar, Palash, 197(1)111--138
-
Sarkar:1998:MAP, 197(1)111--138
-
Sarrafzadeh, Majid, 140(2)231--247
-
Sarrafzadeh:1995:DWP, 140(2)231--247
-
Sassone, Vladimiro, 153(1)171--210, 170(1)277--296, 170(1)297--348
-
Sassone, Vladimiro, see Meseguer, José
-
Sassone:1996:AAP, 170(1)277--296
-
Sassone:1996:MCT, 170(1)297--348
-
SAT, 166(1)147--172, 223(1)1--72
-
SAT, 3-, 155(1)277--288
-
SAT, Horn-, 171(1)3--24
-
SAT-equivalent, 145(1)111--145
-
satisfaction, 139(1)275--314, 142(1)27--57, 167(1)3--45, 172(1)233--254,
173(1)3--48, 173(1)235--252
-
satisfiability, 137(1)129--144, 139(1)1--25, 145(1)111--145,
146(1)243--268, 150(1)1--55, 155(1)277--288, 160(1)365--380,
161(1)109--122, 165(1)133--169, 166(1)147--172, 170(1)1--46,
171(1)3--24, 172(1)233--254, 175(2)349--372, 181(1)195--225,
184(1)195--236, 191(1)145--156, 193(1)149--179, 195(2)183--203
-
Sato, Masahiko, 175(1)75--92
-
Sato, Tadakazu, 205(1)135--144
-
Sato:1997:ICN, 175(1)75--92
-
Sato:1998:ECL, 205(1)135--144
-
Satta, Giorgio, 223(1)87--120
-
Satta, Giorgio, see Rambow, Owen
-
Sattler, Ulrike, 144(1)59--65
-
Sattler, Ulrike, see Bergeron, François
-
saturated, 155(1)221--264, 187(1)49--79
-
saturating, 156(1)289--299
-
Sauerhoff, Martin, 205(1)45--60
-
Sauerhoff, Martin, see Bollig, Beate
-
Savický, Petr, 172(1)293--301
-
Savicky:1997:LBB, 172(1)293--301
-
Saving, 158(1)177--192
-
Sazonov, Vladimir, 175(1)183--222, 224(1)173--213
-
Sazonov, Vladimir, see Lisitsa, Alexei
-
SB-PRAM, 196(1)215--240
-
SBTA, 179(1)251--271
-
{SBTA}-languages, 179(1)251--271
-
Scalable, 226(1)185--206
-
scalar, 167(1)131--170, 187(1)123--145
-
scale, 181(2)357--378
-
scale, Large-, 162(1)151--170
-
scale, large-, 145(1)381--390, 162(1)151--170, 173(1)49--87
-
scaled, 165(2)483--490
-
scan-line, 147(1)211--248
-
scanning, 168(2)241--255
-
SCCS, 176(1)205--234, 198(1)131--158
-
Scedrov, A., 197(1)245--z--2
-
Scedrov, A., see Lincoln, P. D.
-
Scedrov, Andre, 146(1)1--3, 227(1)299--331
-
Scedrov, Andre, see Lincoln, Patrick D.
-
Scedrov:1995:MA, 146(1)1--3
-
scene, 140(2)319--331
-
Schachinger, Werner, 144(1)251--275
-
Schachinger:1995:VCI, 144(1)251--275
-
Schaerf, Marco, 182(1)183--202
-
Schaerf, Marco, see Cadoli, Marco
-
Schäffer, Alejandro A., 154(2)203--224,
see Idury, Ramana M.
-
Schaffter, Markus W., 203(1)31--49
-
Schaffter, Markus W., see Hartmann, Stephan
-
Schauß, Manfred, Schmidt-, 149(2)361--374, 208(1)111--148,
216(1)363--373
-
schedule, 162(2)323--340, 190(2)363--396, 196(1)395--415,
222(1)113--131
-
scheduling, 144(1)277--314, 145(1)329--344, 147(1)1--18, 162(2)225--243,
162(2)323--340, 162(2)341--349, 164(1)73--106, 173(1)209--233,
174(1)193--202, 178(1)119--127, 178(1)265--273, 181(2)357--378,
183(2)281--315, 191(1)205--214, 196(1)347--363, 196(1)395--415,
215(1)137--168, 215(1)209--223, 220(1)157--183
-
Scheen, Christian, 187(1)87--104
-
Scheen:1997:IPT, 187(1)87--104
-
Scheideler, Christian, 162(2)245--281
-
Scheideler, Christian,
see Meyer auf der Heide, Friedhelm
-
Schek, H.-J., 190(2)363--396
-
Schek, H.-J., see Vingralek, R.
-
Schellinx, H., 197(1)247--z
-
Schellinx, H., see Danos, V.
-
schemas, 190(2)115--149
-
schemata, 175(1)15--27, 199(1)87--103
-
schematization, 176(1)111--158
-
schematized, 176(1)111--158
-
scheme, 143(2)269--284, 144(1)161--197, 145(1)291--316, 161(1)307--314,
162(2)297--322, 164(1)29--40, 177(1)217--283, 178(1)265--273,
179(1)301--317, 187(1)203--219, 193(1)97--112, 196(1)259--288,
201(1)85--97
-
schemes, 154(2)283--306, 160(1)1--85, 165(2)407--440, 186(1)171--198,
188(1)221--230, 190(1)61--85, 196(1)131--151, 200(1)313--334,
205(1)115--133, 226(1)173--184
-
Schettini, Andrea, Maggiolo-, 216(1)1--53
-
Schied, G., 194(1)246--247
-
Schied:1998:LTH, 194(1)246--247
-
Schmerl, Ulf, 146(1)185--197
-
Schmerl, Ulf, see Berghammer, Rudolf
-
Schmid, J., 217(2)255--278
-
Schmid, U., 144(1)277--314
-
Schmid:1995:RTQ, 144(1)277--314
-
Schmid:1999:BLC, 217(2)255--278
-
Schmidt, David A., 177(1)1--1
-
Schmidt, David A., see Mislove, Michael W.
-
Schmidt, E. T., 217(2)291--300
-
Schmidt, E. T., see Grätzer, G.
-
Schmidt-Schauß, Manfred, 149(2)361--374, 208(1)111--148,
216(1)363--373
-
Schmidt-Schauss:1995:MTC, 149(2)361--374
-
Schmidt-Schauss:1998:DAD, 208(1)111--148
-
Schmidt-Schauss:1999:DBE, 216(1)363--373
-
Schmitt, Lothar M., 200(1)101--134
-
Schmitt, Vincent, 200(1)45--100
-
Schmitt:1998:LAG, 200(1)101--134
-
Schmitt:1998:STA, 200(1)45--100
-
Schneider, H. J., 194(1)247--z
-
Schneider, S. A., 138(2)273--314
-
Schneider, S. A., see Mislove, M. W.
-
Schneider, Steve, 138(2)243--271
-
Schneider, Steve, see Davies, Jim
-
Schneider:1998:NOI, 194(1)247--z
-
Schnitger, Georg, 168(1)39--51
-
Schnitger, Georg, see Dietzfelbinger, Martin
-
Schnoebelen, Ph., 140(1)53--71, 148(2)303--324
-
Schnoebelen, Ph., see Laroussinie, F.
-
Schoning, 188(1)101--116
-
Schöning, Uwe, 137(2)279--282, see Arvind, Vikraman
-
Schott, René, 159(1)15--28, see Alonso, Laurent
-
Schröder, Bernd S. W., 217(2)301--358
-
Schröder, Klaus, 196(1)181--200,
see Meyer auf der Heide, Friedhelm
-
Schröder, Matthias, 219(1)331--345
-
Schroder:1999:AFP, 217(2)301--358
-
Schroder:1999:OCD, 219(1)331--345
-
Schuler, Rainer, 137(2)279--282
-
Schuler, Rainer, see Arvind, Vikraman
-
Schulz, Andreas S., 203(1)31--49
-
Schulz, Andreas S., see Hartmann, Stephan
-
Schulz, Klaus U., 142(2)229--255, 192(1)107--161
-
Schulz, Klaus U., see Baader, Franz
-
Schupp, Paul E., 141(1)69--107, 204(1)233--248
-
Schupp, Paul E., see Muller, David E.
-
Schupp:1998:SHC, 204(1)233--248
-
Schurr, A., 194(1)243--z, 194(1)248--z--1
-
Schurr, A., see Engels, G., \see{Taentzer, G.
-
Schurz, Gerhard, 147(1)149--163
-
Schurz:1995:MGF, 147(1)149--163
-
Schutzenberger, 164(1)223--252
-
Schützenberger, Marcel Paul, 145(1)229--240,
see Reutenauer, Christophe
-
Schwartzbach, Michael I., 156(1)177--201, 167(1)1--1
-
Schwartzbach, Michael I., see Mosses, Peter D.
-
Schwartzbach:1996:SCH, 156(1)177--201
-
Schwarze, Frank, 196(1)181--200
-
Schwarze, Frank, see Meyer auf der Heide, Friedhelm
-
Schwarzkopf, Otfried, 140(2)301--317
-
Schwarzkopf, Otfried, see Berg, Mark de
-
Schweizer, David L., 225(1)185--194
-
Schweizer, David L., see Lutz, Jack H.
-
Schwichtenberg, Helmut, 212(1)247--260
-
Schwichtenberg:1999:TPC, 212(1)247--260
-
Schwiegelshohn, Uwe, 196(1)347--363
-
Schwiegelshohn, Uwe, see Gasperoni, Franco
-
Schwind, Camilla, 171(1)247--280
-
Schwind, Camilla, see Chatalic, Philippe
-
Sci, 182(1)257--257, 184(1)247--247, 206(1)353--354, 234(1)323--323,
254(1)691--694, 266(1)997--998, 547-z-122
-
science, 140(2)249--263, 152(2)321--z, 156(1)203--215, 170(1)407--444,
175(1)z--z, 175(2)225--238, 192(2)315--351, 194(1)242--z--1,
197(1)139--156, 211(1)233--252
-
scientific, 180(1)287--308
-
Scollo, G., 199(1)1--3
-
Scollo, G., see Nijholt, A.
-
SCONE, 141(1)195--252
-
sconing, 146(1)5--23
-
scope, 211(1)129--188
-
score, 145(1)357--369
-
Scott, 155(1)221--264, 155(1)267--276, 159(2)319--341, 177(1)155--182,
177(1)217--283, 184(1)61--104, 193(1)1--51, 193(1)53--73,
193(1)181--195
-
Scott, P. J., 197(1)242--z--1
-
Scott, P. J., see Blute, R. F.
-
Scott-continuous, 177(1)59--71
-
Scott-domain, 166(1)203--219
-
Scott-domains, 166(1)203--219
-
search, 137(2)253--268, 144(1)101--124, 144(1)161--197, 144(1)199--220,
144(1)251--275, 146(1)199--242, 147(1)19--30, 148(2)325--349,
154(2)225--245, 156(1)39--70, 156(1)315--325, 163(1)117--144,
164(1)1--12, 164(1)141--163, 164(1)185--206, 167(1)95--130,
168(1)21--38, 172(1)265--271, 181(1)119--139, 182(1)217--232,
188(1)1--44, 188(1)221--230, 191(1)229--243, 197(1)245--z--2,
203(1)51--67, 205(1)243--260, 229(1)103--142
-
search, Fugitive-, 172(1)233--254
-
search, fugitive-, 172(1)233--254
-
search, mixed-, 137(2)253--268
-
searching, 137(2)253--268, 144(1)161--197, 144(1)199--220,
144(1)251--275, 147(1)19--30, 154(2)165--181, 154(2)225--245,
156(1)39--70, 156(1)315--325, 162(2)341--349, 164(1)1--12,
182(1)217--232, 188(1)1--44, 188(1)221--230
-
second, 147(1)137--147, 151(1)z--z, 156(1)119--144, 160(1)87--143,
168(1)155--212, 174(1)97--121, 187(1)27--48, 187(1)123--145
-
second-order, 139(1)1--25, 139(1)131--162, 146(1)185--197,
151(1)125--162, 154(1)67--84, 154(2)247--282, 160(1)87--143,
163(1)161--176, 166(1)63--81, 174(1)97--121, 184(1)237--245,
193(1)75--96, 193(1)197--214, 194(1)242--z, 197(1)245--z,
224(1)35--58, 224(1)267--289
-
secondary, 220(2)345--362
-
secret, 154(2)283--306, 165(2)407--440
-
secure, 191(1)173--183
-
security, 153(1)3--48, 154(2)283--306, 165(2)407--440, 181(2)317--335,
191(1)173--183
-
Sedgewick, Robert, 144(1)101--124
-
Sedgewick, Robert, see Flajolet, Philippe
-
See, 127(2)287--312, 134(1)51--61, 135(1)67--110, 141(1)329--330,
155(2)447--457, 169(1)113--121, 174(1)203--216, 176(1)235--282,
182(1)257--257, 184(1)247--247, 202(1)1--54, 206(1)353--354,
212(1)261--303, 218(1)95--106, 234(1)323--323, 254(1)691--694,
266(1)997--998, 411(31)2999--3000, 547-z-122
-
Séébold, Patrice, 195(1)91--109
-
Seebold:1998:CSM, 195(1)91--109
-
seed, 169(1)113--121
-
Seese, D., 194(1)247--z--1
-
Seese:1998:LTC, 194(1)247--z--1
-
Seetharaman, Guna, 140(2)319--331
-
Seetharaman:1995:SDS, 140(2)319--331
-
Segala, Roberto, 138(2)391--423
-
Segala, Roberto, see De Nicola, Rocco
-
segment, n-, 174(1)171--191
-
segmentation, 154(2)165--181, 178(1)225--236
-
segments, 140(2)301--317, 145(1)159--187
-
SEGRAGRA, 194(1)z--z
-
Seidel, Karen, 152(2)219--249
-
Seidel:1995:PCP, 152(2)219--249
-
Seiden, Steve, 194(1)163--182
-
Seiden, Steve, see Irani, Sandy
-
Seiferas, Galil-, 147(1)19--30
-
Seifert, Jean-Pierre, 209(1)287--297
-
Seifert, Jean-Pierre, see Rössner, Carsten
-
selection, 151(2)353--383, 165(2)311--323, 167(1)95--130
-
selective, 155(2)447--457, 158(1)361--370, 234(1)323--323
-
selective, -, 155(2)447--457
-
selective, Label-, 151(2)353--383
-
selective, label-, 151(2)353--383
-
selective, P-, 155(2)447--457
-
selective, p-, 154(2)367--377, 158(1)361--370
-
selectivity:, {P}-, 145(1)371--380
-
selectivity;, P-, 145(1)371--380
-
Seleznjev, O., 190(2)151--166
-
Seleznjev, O., see Demetrovics, J.
-
self, 160(1)145--184, 160(1)185--216
-
self-affine, 145(1)159--187
-
self-organizing, 164(1)185--206
-
self-reducible, 158(1)193--219
-
self-reproduction, 168(2)337--366
-
self-similarity, 145(1)159--187
-
self-stabilisation, 152(2)219--249
-
self-stabilising, 152(2)219--249
-
self-stabilization, 186(1)199--230
-
self-stabilizing, 182(1)159--170, 186(1)199--230
-
Selivanov, Victor, 191(1)37--59
-
Selivanov:1998:FHR, 191(1)37--59
-
selling, 226(1)105--116
-
Sellink, M. P. A., 170(1)47--81
-
Sellink, M. P. A., see Groote, J. F.
-
Selman, Alan L., 207(1)131--157
-
Selman, Alan L., see Naik, Ashish V.
-
Selmi, Carla, 161(1)157--190
-
Selmi:1996:TL, 161(1)157--190
-
SEMAGRAPH, 194(1)248--z, 194(1)z--z
-
Semagraph, 194(1)248--z
-
semantic-based, 168(1)53--103
-
Semantical, 212(1)183--209
-
semantically, 190(2)363--396
-
semantics-preserving, 175(1)29--74
-
Semenov, Alexei L., 207(2)263--317
-
Semenov, Alexei L., see Muchnik, Andrei A.
-
semi, 151(1)257--276
-
semi-algebraic, 141(1)133--150
-
semi-direct, 191(1)219--228
-
semi-dynamic, 203(1)69--90
-
semi-metrics, 151(1)257--276
-
semi-monadic, 194(1)87--122
-
semi-naive, 146(1)145--184
-
semi-Thue, 142(2)257--276, 192(1)55--75
-
semi-{Thue}, 192(1)55--75
-
Semiconductor, 164(1)107--122, 172(1)1--41, 197(1)171--188
-
semidecision, 146(1)199--242, 155(2)447--457
-
semigroup, 154(2)387--394, 161(1)157--190, 165(2)325--354,
168(1)105--119, 172(1)135--174, 180(1)325--339, 183(1)83--92,
204(1)29--34
-
semigroups;, F-, 183(1)83--92
-
semilattice, 149(2)333--360, 165(1)57--74
-
semilinear, 148(2)281--301, 179(1)301--317
-
seminaive, 166(1)49--62
-
semiregular, 152(2)269--283
-
semirings, 163(1)55--98, 194(1)242--z--2, 197(1)1--56
-
semisimple, 187(1)117--122
-
Sen, Sandeep, 188(1)59--78
-
Sen:1997:LBP, 188(1)59--78
-
Senellart, Jean, 205(1)297--306
-
Senellart, Jean, see Béal, Marie-Pierre
-
Sengupta, Rimli, 209(1)389--398
-
Sengupta:1998:LBM, 209(1)389--398
-
Sénizergues, Géraud, 142(2)257--276, 192(1)55--75
-
Senizergues:1995:SUT, 142(2)257--276
-
Senizergues:1998:PAT, 192(1)55--75
-
sense, common-, 182(1)183--202, 189(1)129--177
-
sense, Wide-, 182(1)171--182
-
sense, wide-, 182(1)171--182
-
sensitive, 141(1)329--330, 164(1)29--40, 164(1)123--140
-
sensitive, Context-, 194(1)244--z--3
-
sensitive, context-, 137(1)53--84, 141(1)329--330,
143(2)269--284, 164(1)29--40, 164(1)123--140, 165(2)355--390,
171(1)147--177, 194(1)244--z--3
-
sensitive;, context-, 194(1)244--z--3
-
sensitive, performance-, 198(1)225--237
-
sensitive;, performance-, 198(1)225--237
-
sensitivity, 174(1)157--170
-
sentences, 160(1)305--320, 171(1)147--177
-
separability;, non-, 174(1)231--246
-
separable, 146(1)269--310, 186(1)135--156, 193(1)53--73
-
{S}éparateurs, 180(1)81--113
-
separating, 158(1)221--231, 163(1)303--308, 164(1)141--163
-
separation, 140(1)53--71, 158(1)221--231, 160(1)185--216,
161(1)301--306, 174(1)231--246
-
separator, 168(1)121--154, 175(2)309--335, 180(1)81--113,
180(1)169--180, 181(1)57--74
-
sequence, 139(1)27--67, 143(2)335--342, 144(1)101--124, 145(1)291--316,
145(1)317--327, 147(1)31--54, 148(1)1--17, 150(1)77--109,
151(1)163--193, 151(1)277--294, 155(2)321--347, 156(1)39--70,
158(1)35--51, 158(1)65--79, 158(1)81--115, 161(1)289--300,
163(1)193--210, 163(1)211--238, 164(1)165--183, 165(2)233--246,
165(2)295--309, 168(2)267--301, 168(2)337--366, 170(1)349--381,
174(1)67--96, 174(1)171--191, 174(1)259--268, 178(1)155--169,
180(1)115--137, 180(1)203--215, 182(1)145--157, 182(1)233--244,
183(1)143--154, 184(1)61--104, 185(1)3--13, 188(1)161--174,
188(1)195--209, 191(1)185--192, 191(1)245--248, 194(1)240--z,
194(1)241--z--2, 194(1)244--z--2, 197(1)244--z--1, 205(1)337--344,
207(2)343--361, 207(2)363--382, 209(1)179--193, 209(1)261--285,
209(1)377--387, 210(2)305--325, 210(2)341--374, 215(1)31--49,
218(1)3--12, 218(1)177--195, 221(1)41--60, 225(1)185--194
-
sequence, image-, 140(2)319--331
-
sequencing, 143(1)113--122, 181(2)267--287
-
sequent, 159(2)343--354, 160(1)241--270, 197(1)246--z, 197(1)247--z,
212(1)141--155, 224(1)157--172
-
sequent-calculi, 194(1)244--z--3
-
sequential, 138(2)243--271, 138(2)273--314, 138(2)315--352,
140(2)291--300, 152(2)219--249, 160(1)1--85, 162(2)297--322,
163(1)211--238, 165(1)75--95, 168(1)121--154, 169(1)39--65,
174(1)269--274, 177(1)3--25, 177(1)59--71, 177(2)329--349,
178(1)237--255, 179(1)61--102, 186(1)107--134, 191(1)131--144,
192(2)233--258, 192(2)259--286, 194(1)245--z, 196(1)71--107,
197(1)189--201, 221(1)251--270
-
sequentiality, 155(1)39--83, 208(1)87--110
-
serial, bit-, 226(1)45--59
-
serializability, 190(2)363--396
-
serializable, Eventually-, 220(1)113--156
-
series, 144(1)59--65, 158(1)35--51, 165(2)295--309, 180(1)61--80,
183(1)113--142, 183(1)143--154, 187(1)203--219, 199(1)145--166,
205(1)329--336, 218(1)143--160
-
series--parallel, 162(2)323--340, 209(1)331--345
-
series-parallel, 154(2)247--282, 162(2)323--340, 197(1)247--z--2
-
Serna, M., 201(1)281--290
-
Serna, M., see Diaz, J.
-
Serna, Maria J., 181(2)267--287
-
Serna, Maria J., see Díaz, Josep
-
Serra, R., 217(1)131--156
-
Serra, R., see Gregorio, S. Di
-
server, 182(1)203--216
-
server, single-, 144(1)277--314
-
service, 154(1)57--65, 155(1)141--156, 182(1)203--216, 187(1)221--230,
192(2)201--231, 220(1)113--156
-
SESAM, 194(1)242--z--1
-
set-based, 155(1)111--140
-
set-functions, 139(1)243--273
-
Set-Reduce, 155(1)111--140
-
set-system, 157(2)215--225
-
set-theoretic, 185(2)237--258
-
Sethi, Berry-, 155(2)439--446
-
setting, 139(1)69--113, 149(2)299--332, 161(1)301--306, 177(1)155--182
-
seven, 176(1)347--353
-
several, 144(1)59--65, 147(1)69--85, 157(1)79--90, 207(2)329--342,
210(2)341--374
-
Sghaier, Salah Ben Mohamed, 149(2)333--360
-
Sghaier, Salah Ben Mohamed, see Desharnais, Jules
-
shadowing, 134(1)51--61, 174(1)203--216
-
Shafer, Dempster-, 171(1)221--246
-
Shallit, Jeffrey, 163(1)193--210, 180(1)181--201
-
Shallit, Jeffrey, see Lehr, Siegfried,
see Pomerance, Carl
-
Shamir, Boaz, Patt-, 220(1)93--111
-
Shamir, Ron, 175(2)349--372
-
Shamir, Ron, see Pe'er, Itsik
-
Shand, D., 194(1)247--z--2
-
Shand:1998:PG, 194(1)247--z--2
-
Shankar, Priti, 165(2)355--390
-
Shankar, Priti, see Kulkarni, Sulekha R.
-
Shannon, 180(1)243--268
-
shape, 163(1)117--144
-
shaped, tree-, 165(2)441--461
-
shared, 149(1)179--199, 149(2)257--298, 155(2)349--363, 162(2)245--281,
186(1)199--230, 189(1)179--219, 192(2)259--286, 193(1)97--112,
196(1)3--29, 196(1)215--240, 196(1)365--393
-
shared-memory, 196(1)215--240
-
sharing, 139(1)163--186, 146(1)69--108, 151(2)487--512, 154(2)283--306,
155(1)141--156, 165(2)407--440, 197(1)241--z, 227(1)99--151
-
sharing, constructor-, 165(1)97--131
-
Sharir, Micha, 140(2)301--317
-
Sharir, Micha, see Berg, Mark de
-
Sharma, Arun, 137(1)85--108, 164(1)13--28, 220(2)323--343
-
Sharma, Arun, see Ambainis, Andris,
see Case, John, \see{Jain, Sanjay
-
sharp, 145(1)45--69
-
Shavit, Nir, 220(1)67--91
-
Shavit, Nir, see Lynch, Nancy
-
sheaves, 142(2)299--368
-
shellsort, 188(1)241--247
-
Shen, Enshao, 166(1)63--81
-
Shen, Hong, 180(1)169--180, 188(1)221--230
-
Shen, Zhonghui, 145(1)345--355
-
Shen, Zhonghui, see Zhang, Liang
-
Shen:1996:MPL, 166(1)63--81
-
Shen:1997:EEA, 180(1)169--180
-
Shen:1997:OAG, 188(1)221--230
-
shift, 148(1)1--17, 158(1)81--115, 163(1)117--144, 168(2)461--472,
174(1)203--216, 197(1)246--z--1, 226(1)61--92
-
shift-add-shift-round, 196(1)201--214
-
shift-commuting, 174(1)203--216
-
shift-equivalence, 180(1)217--228
-
shift-like, 145(1)1--26
-
shift-round, shift-add-, 196(1)201--214
-
shifted, 226(1)93--104
-
shifts, sub-, 201(1)171--187
-
Shih, Wei-Kuan, 223(1)179--191
-
Shih:1999:NPT, 223(1)179--191
-
Shilov, N. V., 175(1)15--27
-
Shilov:1997:PSV, 175(1)15--27
-
Shimizu, Toshihiro, 227(1)185--220
-
Shimizu, Toshihiro, see Kobayashi, Naoki
-
Shimozono, Shinichi, 172(1)265--271, 210(2)245--260
-
Shimozono:1997:FOS, 172(1)265--271
-
Shimozono:1999:AIA, 210(2)245--260
-
Shinohara, Ayumi, 137(1)129--144
-
Shinohara, Takeshi, 185(1)47--62
-
Shinohara, Takeshi, see Arimura, Hiroki
-
Shinohara:1995:CCV, 137(1)129--144
-
shop;, flow-, 191(1)205--214
-
shop;, open-, 191(1)205--214
-
short, 161(1)1--21, 188(1)211--220, 197(1)235--240, 203(1)91--121
-
shorter, 161(1)141--156, 216(1)395--397
-
shortest, 140(2)265--289, 140(2)291--300, 143(1)113--122,
143(2)343--352, 143(2)353--362, 144(1)161--197, 145(1)317--327,
161(1)123--140, 168(1)121--154, 172(1)303--308, 182(1)183--202,
186(1)171--198, 191(1)205--214, 203(1)143--150, 203(2)205--223,
207(1)105--116, 209(1)287--297
-
shortest-path, 140(2)249--263
-
Shoudai, Takayoshi, 148(1)57--65
-
Shoudai:1995:UMI, 148(1)57--65
-
Shparlinski, Igor, 157(2)259--266, 157(2)273--275
-
Shparlinski, Igor, see Karpinski, Marek
-
Shparlinski:1996:FPR, 157(2)273--275
-
shrinkage, 141(1)269--282
-
shrinking, 155(2)365--410, 163(1)277--281
-
Shrivastava, S. K., 196(1)319--345
-
Shrivastava, S. K., see Smith, J. A.
-
Shub, 194(1)219--223
-
Shub, Michael, 161(1)301--306
-
Shub, Michael, see Cucker, Felipe
-
Shub-Smale, Blum-, 197(1)79--94
-
shuffle, 163(1)55--98, 180(1)341--352, 197(1)1--56, 197(1)242--z--1
-
shuffle-exchange, 162(2)283--296
-
Shvartsman, Alex, 220(1)67--91, 220(1)113--156
-
Shvartsman, Alex, see Fekete, Alan,
see Lynch, Nancy
-
Shyamasundar, R. K., 151(2)295--z
-
Shyamasundar:1995:F, 151(2)295--z
-
SI, 166(1)221--262, 179(1)137--202, 211(1)397--398
-
side, 194(1)240--z--1
-
sided, two-, 174(1)203--216
-
sideways, 146(1)145--184
-
Sieber, Kurt, 168(1)155--212
-
Sieber:1996:FAS, 168(1)155--212
-
Siegelmann, Hava T., 168(2)461--472
-
Siegelmann:1996:SDS, 168(2)461--472
-
Sieling, Detlef, 141(1)283--310, 205(1)45--60
-
Sieling, Detlef, see Bollig, Beate
-
Sieling:1995:GDB, 141(1)283--310
-
Sierpinski, 145(1)159--187
-
Sifakis, J., 138(1)3--34
-
Sifakis, J., see Alur, R.
-
sigma, 154(2)349--366, 160(1)321--363, 174(1)97--121, 197(1)111--138
-
sigma-automata, 197(1)111--138
-
sigma-automaton, 154(2)349--366
-
Sigma-coalgebra, 150(1)57--75
-
sigma-game, 154(2)349--366
-
Sigma-labelled, 150(1)57--75
-
Sign, 210(1)173--197
-
SIGNAL, 152(2)171--217
-
signal, 152(2)171--217, 154(2)165--181, 155(1)141--156, 163(1)117--144,
163(1)303--308, 177(2)381--405, 178(1)129--154, 186(1)1--41,
217(1)53--80
-
signature, 142(2)209--227, 150(1)57--75, 165(1)97--131, 175(1)127--158,
179(1)421--425, 189(1)239--248, 192(1)107--161
-
significant, 147(1)211--248
-
Sigstam, Inger, 179(1)319--331
-
Sigstam:1997:RLC, 179(1)319--331
-
Sikkel, Klaas, 199(1)87--103
-
Sikkel:1998:PSC, 199(1)87--103
-
Sikorski, Rasiowa-, 166(1)173--202
-
silent, 146(1)25--68, 177(2)351--380
-
Silva, Manuel, 153(1)271--300
-
Silva, Manuel, see Teruel, Enrique
-
Silvestri, Riccardo, 182(1)183--202
-
Silvestri, Riccardo, see Cadoli, Marco
-
SIMD, 140(2)319--331, 162(2)297--322, 169(1)39--65
-
similarity, 165(2)483--490, 210(2)305--325
-
similarity;, self-, 145(1)159--187
-
Simon, 178(1)257--264
-
simple, 140(2)249--263, 144(1)101--124, 158(1)143--159, 158(1)343--359,
162(2)245--281, 168(2)461--472, 175(1)127--158, 176(1)89--110,
180(1)169--180, 185(1)15--45, 187(1)117--122, 189(1)71--107,
191(1)245--248, 194(1)246--z--2, 195(1)3--32
-
simplification, 142(2)179--207, 142(2)209--227, 146(1)243--268,
173(1)235--252, 175(1)127--158, 176(1)67--87
-
simplified, 140(2)319--331
-
Simplot, David, 178(1)275--283, 218(2)297--323
-
Simplot, David, see Latteux, Michel
-
Simplot:1999:CRP, 218(2)297--323
-
simply, 146(1)5--23, 170(1)407--444
-
Simpson, Jamie, 218(1)95--106, 547-z-122
-
Simpson, Jamie, see Fraenkel, Aviezri S.
-
simulate, 210(1)217--223
-
simulated, 165(2)463--474, 191(1)229--243, 215(1)51--68
-
simulating, 141(1)69--107, 197(1)245--z, 205(1)231--242, 209(1)319--329
-
simulation, 134(1)51--61, 138(1)67--100, 141(1)69--107, 143(1)123--135,
143(1)159--165, 148(1)157--163, 152(2)171--217, 153(1)3--48,
153(1)65--94, 154(1)23--39, 161(1)235--261, 162(2)245--281,
165(2)463--474, 168(2)303--320, 168(2)417--459, 169(1)23--37,
169(1)39--65, 173(1)3--48, 174(1)123--136, 194(1)242--z--1,
196(1)109--130, 196(1)215--240, 197(1)157--169, 197(1)245--z,
197(1)246--z, 198(1)201--209, 217(1)131--156, 225(1)81--111
-
simultaneous, 160(1)145--184, 160(1)185--216, 161(1)205--233,
166(1)291--300, 187(1)231--248, 222(1)133--152, 224(1)319--352
-
single, 145(1)357--369, 148(1)141--156, 154(2)225--245, 160(1)1--85,
160(1)305--320, 182(1)203--216, 193(1)75--96, 194(1)245--z
-
single-cycle, 196(1)201--214
-
{Single}-pushout, 216(1)311--362
-
single-pushout, 194(1)246--z
-
single-server, 144(1)277--314
-
singleton, 209(1)163--178
-
singular, 187(1)49--79, 218(1)41--59, 226(1)19--27
-
singularity, 144(1)67--99, 157(1)53--77, 187(1)49--79, 187(1)87--104,
215(1)371--381
-
Sipper, Moshe, 217(1)81--98
-
Sipper:1999:CAE, 217(1)81--98
-
Sirvent, Víctor F., 164(1)41--57, 180(1)363--370
-
Sirvent:1996:RBD, 164(1)41--57
-
Sirvent:1997:SDS, 180(1)363--370
-
situated, 173(1)235--252
-
situation, 192(2)259--286
-
Sivakumar, D., 148(2)325--349
-
Sivakumar, D., see Naik, Ashish V.
-
six, 223(1)193--197
-
size, 141(1)283--310, 145(1)45--69, 147(1)31--54, 147(1)137--147,
147(1)267--298, 148(1)93--109, 158(1)193--219, 168(1)105--119,
170(1)129--144, 172(1)1--41, 179(1)301--317, 180(1)47--60,
187(1)147--165, 196(1)259--288, 197(1)139--156, 209(1)47--86,
209(1)141--162, 209(1)225--235
-
size, circuit-, 180(1)243--268
-
size, large-, 196(1)31--44
-
size, polynomial-, 137(2)279--282, 154(1)23--39,
161(1)141--156, 182(1)183--202
-
skeleton, 139(1)187--205, 196(1)71--107
-
skew, 157(1)3--33
-
skill, 154(2)349--366, 164(1)253--276
-
skip, 144(1)199--220, 158(1)1--33
-
Skordev, G., 188(1)195--209
-
Skordev, G., see Allouche, J.-P.
-
SL, 160(1)145--184, 160(1)185--216, 184(1)195--236
-
{SL-systems}., 160(1)145--184, 160(1)185--216
-
slack, 173(1)183--208
-
slackness, 196(1)109--130
-
SLD, 160(1)283--303, 185(1)191--213
-
{SLD}-derivations, 211(1)275--309
-
SLD-resolution, 192(1)77--106
-
SLDNF, 160(1)283--303
-
Sleep, M. R., 175(1)93--125
-
Sleep, M. R., see Kennaway, J. R.
-
Sleep, R., 194(1)248--z
-
Sleep:1998:STP, 194(1)248--z
-
slender, 158(1)161--176
-
slenderness, 183(1)21--32
-
sliding, Coin-, 164(1)253--276
-
sliding, coin-, 164(1)253--276
-
Slissenko, Anatol, 157(2)161--183
-
Slissenko, Anatol, see Burago, Dima
-
Slutzki, Giora, 143(2)285--308, 171(1)77--109, 181(1)57--74
-
Slutzki, Giora, see Fernández-Baca, David,
see Mobasher, Bamshad
-
Slutzki:1995:DTT, 143(2)285--308
-
Smale, 194(1)219--223
-
Smale, Blum-Shub-, 197(1)79--94
-
small, 156(1)177--201, 156(1)263--280, 163(1)283--289, 164(1)141--163,
168(2)215--240, 168(2)241--255, 168(2)267--301, 181(1)57--74,
181(2)337--345, 203(2)205--223
-
smaller, 172(1)1--41
-
smallest, 148(1)165--170, 203(1)163--173, 225(1)177--184
-
Smetsers, S., 194(1)240--z--1
-
Smetsers, S., see Barendsen, E.
-
Smith, Carl H., 197(1)139--156, 219(1)3--17
-
Smith, Carl H., see Aps{\=\i}tis, Kalvis,
see Fortnow, Lance
-
Smith, Einar, 153(1)245--270
-
Smith, J. A., 196(1)319--345
-
Smith, P. M., Melliar-, 166(1)1--47, 170(1)1--46
-
Smith:1996:BCC, 153(1)245--270
-
Smith:1998:PFT, 196(1)319--345
-
Smolka, Gert, 146(1)243--268, 173(1)235--252
-
Smolka, Gert, see Backofen, Rolf,
see Podelski, Andreas
-
Smolka, Scott A., 176(1)1--38
-
Smolka, Scott A., see Wu, Sue-Hwey
-
smooth, 148(1)141--156, 162(2)351--369
-
SMS, 187(1)231--248
-
Smyth, M. B., 151(1)257--276
-
Smyth, W. F., 172(1)281--291
-
Smyth, W. F., see Iliopoulos, Costas S.
-
Smyth:1995:SMC, 151(1)257--276
-
Smythe, Robert T., 144(1)221--249
-
Smythe, Robert T., see Mahmoud, Hosam M.
-
SNP, MAX-, 181(1)107--118
-
SNP-hard, 143(1)137--148, 143(2)353--362, 145(1)317--327
-
Snyder, Wayne, 142(2)141--177
-
Snyder, Wayne, see Lynch, Christopher
-
sober, 151(1)79--124
-
Sobolev, 219(1)487--510
-
sofic, 158(1)81--115, 174(1)203--216
-
software, 139(1)275--314, 140(1)139--177, 149(2)299--332,
155(2)439--446, 162(2)297--322, 162(2)323--340, 162(2)341--349,
170(1)245--276, 172(1)1--41, 173(1)49--87, 173(1)209--233,
173(2)311--347, 173(2)445--484, 178(1)119--127, 178(1)265--273,
179(1)273--299, 181(1)45--56, 181(2)357--378, 182(1)159--170,
185(2)393--410, 187(1)123--145, 187(1)221--230, 187(1)z--z,
189(1)109--127, 189(1)239--248, 192(2)201--231, 192(2)287--314,
192(2)315--351, 194(1)242--z--1, 194(1)243--244, 194(1)z--z,
195(2)291--324, 196(1)45--70, 196(1)241--258, 196(1)289--317
-
softwareC6140D, 151(1)195--205
-
soils, 217(1)131--156
-
Soldano, Henri, 180(1)115--137
-
Soldano, Henri, see Sagot, Marie-France
-
solid, 156(1)159--176, 186(1)157--169
-
solution, 145(1)71--93, 148(1)67--92, 150(1)1--55, 155(1)267--276,
157(1)115--127, 161(1)93--108, 161(1)307--314, 168(1)121--154,
168(2)367--404, 173(1)3--48, 173(1)113--149, 178(1)265--273,
181(2)379--404, 187(1)27--48, 191(1)229--243, 205(1)307--316,
215(1)1--30, 216(1)395--397, 225(1)171--176
-
solvability, 142(1)27--57, 142(2)229--255, 160(1)145--184,
160(1)185--216, 161(1)289--300, 179(1)301--317, 181(2)229--245
-
solvable, 145(1)271--290, 146(1)321--329, 160(1)145--184,
160(1)185--216, 172(1)273--279, 180(1)17--45
-
solvable, 1-, 145(1)271--290
-
solve, 145(1)189--228, 148(1)57--65
-
solvers, 192(1)107--161
-
solving, 155(1)221--264, 156(1)217--261, 157(1)79--90, 158(1)279--341,
160(1)145--184, 160(1)185--216, 173(1)183--208, 173(1)253--281,
186(1)83--105, 201(1)275--279, 224(1)215--235
-
solving, constraint-, 173(1)3--48
-
solving, problem-, 156(1)217--261
-
Sopena, E., 194(1)245--246
-
Sopena, E., see Litovsky, I.
-
Soria, Michèle, 144(1)67--99, see Drmota, Michael
-
sort, 146(1)243--268, 185(2)393--410, 188(1)241--247
-
sorted, 146(1)185--197, 166(1)263--290, 183(2)157--185, 183(2)187--214,
185(2)393--410, 188(1)221--230
-
sorted, many-, 138(2)391--423, 173(2)513--554, 184(1)145--193
-
sorted, Order-, 179(1)273--299, 183(2)157--185
-
sorted, order-, 179(1)273--299, 185(2)393--410
-
sorted, Two-, 183(2)187--214
-
sorting, 145(1)111--145, 145(1)189--228, 154(2)225--245, 157(1)35--52,
163(1)211--238, 163(1)239--243, 164(1)1--12, 165(2)311--323,
174(1)193--202, 183(2)187--214, 188(1)241--247, 196(1)3--29,
196(1)109--130
-
sorting;, padded-, 188(1)59--78
-
SOS, 168(1)53--103
-
sound, 138(1)169--199, 166(1)173--202, 192(2)315--351
-
soundness, 150(1)161--191, 175(1)29--74, 183(2)187--214, 206(1)257--281
-
source, 140(2)265--289, 144(1)161--197, 178(1)155--169, 209(1)331--345
-
source-level, 167(1)193--233
-
SP1, 162(2)323--340
-
space, Constant-, 218(1)197--203
-
space, constant-, 147(1)19--30
-
space;, constant-, 158(1)177--192
-
space, polynomial-, 206(1)331--339
-
space, state-, 138(1)35--65, 138(1)141--168, 138(1)201--210
-
space, time-, 147(1)19--30, 165(2)311--323
-
space-bounded, 143(1)159--165
-
Space-filling, 181(1)3--15
-
Spacemela, Alberto, Marcjetto-, 203(1)1--1
-
spaces;, sub-, 185(1)159--175
-
space*time, 175(2)373--392
-
spanning, 181(1)57--74, 181(1)107--118, 186(1)199--230, 215(1)359--370,
218(2)263--271, 221(1)139--155
-
spans, 194(1)246--z
-
sparse, 156(1)301--313, 157(2)259--266, 180(1)269--286, 203(1)123--141
-
sparse, -, 180(1)269--286
-
spatial, 140(2)231--247, 140(2)249--263, 140(2)301--317, 155(1)39--83,
160(1)365--380, 175(2)373--392, 185(2)319--345
-
special, 140(2)291--300, 159(1)3--z, 159(1)103--104, 181(1)195--225
-
specialization, 155(2)365--410, 156(1)177--201
-
specialized, 187(1)221--230
-
speciation, 229(1)177--197
-
specific, Context-, 149(1)179--199
-
specific, context-, 149(1)179--199
-
specified, 156(1)39--70, 174(1)23--65
-
specifying, 201(1)233--248, 220(2)489--513
-
spectra, 160(1)305--320, 212(1)211--231
-
spectrum, 170(1)445--464, 215(1)51--68
-
speed, 154(2)307--327, 162(2)245--281
-
speed-up, 188(1)45--57, 188(1)59--78
-
Speedup, 196(1)31--44
-
speedup;, optimal-, 141(1)163--173
-
Spehner, Jean-Claude, 166(1)147--172
-
Spehner, Jean-Claude, see Fouks, Jean-Dénis
-
Spencer, Dwight, 139(1)69--113
-
Spencer, Dwight, see Cockett, J. Robin B.
-
Spies, Klaus, Ambos-, 168(1)3--19, 172(1)195--207
-
SPIKE, 170(1)245--276
-
Spinrad, Jeremy, 175(2)309--335
-
Spinrad, Jeremy, see Kloks, Ton
-
Spirakis, P., 201(1)281--290
-
Spirakis, P., see Diaz, J.
-
Spirakis, Paul G., 148(1)133--140, 168(1)121--154, 181(2)267--287
-
Spirakis, Paul G., see Dubhashi, Devdatt P.,
see Díaz, Josep,
see Kavvadias, Dimitris J.
-
splicing, 168(2)321--336, 210(2)227--243
-
split, 147(1)69--85, 148(1)93--109
-
splitting, 166(1)101--146, 194(1)245--z--2
-
Spooner, David A., 177(1)73--109
-
Spooner, David A., see Cockett, J. R. B.
-
Sprague-Grundy, 191(1)157--171
-
Spreen, Dieter, 212(1)261--303, 266(1)997--998
-
Spreen:1999:FPL, 212(1)261--303, 266(1)997--998
-
Spreen:2001:CFP, 212(1)261--303, 266(1)997--998
-
SProc, 177(1)73--109
-
Sprugnoli, Renzo, 159(1)129--136
-
Sprugnoli, Renzo, see Barcucci, Elena
-
spurious, 161(1)235--261
-
SQL, 193(1)149--179
-
SQL-like, 171(1)281--302
-
squad, 165(2)475--482, 168(2)367--404
-
square, 159(1)105--128, 164(1)59--72, 172(1)281--291, 175(2)293--308,
187(1)105--116, 218(1)61--81, 218(1)95--106, 547-z-122
-
square, unit-, 140(2)231--247
-
square-free, 187(1)105--116
-
squared, 148(1)141--156
-
Sridhar, R., 140(2)291--300
-
Sridhar:1995:EAS, 140(2)291--300
-
Srikrishna, G., 145(1)27--43
-
Srikrishna:1995:OPA, 145(1)27--43
-
Srinivas, Bommadevara N., 154(2)379--385
-
Srinivas, Bommadevara N., see Ramesh, S.
-
Srivastava, Divesh, 146(1)145--184, 193(1)149--179
-
Srivastava, Divesh, see Kemp, David B.,
see Ross, Kenneth A.
-
SRL, 155(1)111--140
-
stabilisation;, self-, 152(2)219--249
-
stabilising, self-, 152(2)219--249
-
stability, 138(1)201--210, 211(1)85--127
-
stabilization, self-, 186(1)199--230
-
stabilization;, self-, 186(1)199--230
-
Stabilizing, 220(1)93--111
-
stabilizing, self-, 182(1)159--170, 186(1)199--230
-
stabilizing;, self-, 182(1)159--170
-
stable, 138(1)201--210, 141(1)53--67, 146(1)331--339, 149(2)231--255,
153(1)129--170, 155(1)157--177, 159(2)271--317, 166(1)203--219,
166(1)221--262, 170(1)209--244, 187(1)49--79, 200(1)45--100
-
stack, 172(1)135--174, 173(1)183--208, 178(1)37--76
-
stack-condition, 197(1)246--z--1
-
stage, 175(2)239--255, 177(2)351--380, 182(1)171--182
-
stage, 3-, 182(1)171--182
-
Staiger, Ludwig, 174(1)1--21, 183(1)93--112
-
Staiger, Ludwig, see Litovsky, Igor,
see Maler, Oded
-
Stancampiano, Enrico, 140(1)73--94
-
Stancampiano, Enrico, see Gorrieri, Roberto
-
standard, 147(1)117--136, 149(1)49--66, 157(1)79--90, 159(2)319--341,
160(1)1--85, 168(1)53--103, 170(1)349--381, 172(1)43--65,
173(2)445--484, 173(2)485--511, 176(1)159--173, 178(1)205--224,
179(1)301--317, 190(2)317--361, 195(1)91--109, 212(1)157--181,
224(1)291--317
-
Standard, Non-, 175(1)z--z
-
standardisation, 194(1)241--z--2
-
standardization, 197(1)248--z--1
-
Staples, John, 169(1)1--1, 185(2)215--215
-
Staples, John, see Jay, Barry
-
Staples:1997:P, 185(2)215--215
-
star, 163(1)259--267, 194(1)123--136
-
star-free, 154(1)67--84, 180(1)1--15, 186(1)135--156
-
star-height, 176(1)175--204, 180(1)61--80
-
Stark, Eugene W., 176(1)1--38
-
Stark, Eugene W., see Wu, Sue-Hwey
-
starting, 191(1)205--214
-
state, 138(1)3--34, 138(1)101--112, 138(1)113--139, 138(1)141--168,
138(1)169--199, 138(1)201--210, 138(2)425--454, 139(1)69--113,
143(2)251--267, 146(1)109--143, 148(1)111--119, 152(2)171--217,
153(1)271--300, 154(1)57--65, 159(2)271--317, 165(2)475--482,
168(2)367--404, 168(2)405--416, 170(1)47--81, 174(1)1--21,
174(1)217--230, 175(1)183--222, 176(1)39--65, 178(1)237--255,
179(1)251--271, 179(1)273--299, 179(1)397--419, 180(1)139--154,
183(2)253--279, 186(1)199--230, 192(2)259--286, 195(2)113--131,
195(2)183--203, 196(1)45--70, 197(1)241--z
-
state, continuous-, 138(1)201--210
-
state, finite-, 138(1)141--168, 139(1)315--354, 146(1)109--143,
152(2)251--268, 163(1)193--210, 170(1)445--464, 178(1)237--255,
180(1)181--201, 189(1)1--69
-
state, minimal-, 183(1)93--112
-
state, q-, 180(1)181--201
-
state, steady-, 143(2)251--267
-
state, unbounded-, 179(1)333--351
-
state-based, 183(2)253--279
-
state-homomorphic, 145(1)391--396
-
state-space, 138(1)35--65, 138(1)141--168, 138(1)201--210
-
statecharts, 216(1)271--310
-
statement, 159(2)245--270, 160(1)1--85, 167(1)131--170, 173(1)3--48,
216(1)375--394
-
statement;, fork-, 195(1)3--32
-
static, 151(1)125--162, 155(1)179--219, 156(1)177--201, 162(2)245--281,
165(2)441--461, 183(2)215--228, 216(1)109--157
-
stationarity, 164(1)185--206
-
stationary, 157(2)161--183
-
statistical, 159(1)81--102, 181(2)379--404, 229(1)41--102
-
statistics, 138(2)315--352, 144(1)125--159, 144(1)221--249,
145(1)391--396, 152(2)171--217, 157(2)161--183, 157(2)277--282,
159(1)65--79, 159(1)81--102, 164(1)107--122, 171(1)147--177,
172(1)43--65, 176(1)1--38, 185(1)15--45, 188(1)1--44, 193(1)53--73
-
statisticsC1160, 147(1)267--298
-
status, 147(1)211--248, 155(1)85--109
-
steady, 143(2)251--267
-
steady-state, 143(2)251--267
-
Steel, Michael A., 221(1)77--118
-
Steel, Michael A., see Erd{\H{o}}s, P{\'e}ter L.
-
Steffen, Bernhard, 221(1)251--270
-
Steffen, Bernhard, see Burkart, Olaf
-
Steffen, Martin, 176(1)235--282, 184(1)247--247
-
Steffen, Martin, see Pierce, Benjamin
-
Steinby, Magnus, 205(1)1--43
-
Steinby:1998:GVT, 205(1)1--43
-
Steiner, 172(1)209--232, 215(1)359--370
-
Stemann, Volker, 162(2)245--281
-
Stemann, Volker, see Meyer auf der Heide, Friedhelm
-
Stemple, David, 155(1)111--140
-
Stemple, David, see Immerman, Neil
-
step, 140(1)73--94, 158(1)177--192, 163(1)117--144, 172(1)303--308,
177(2)351--380, 190(2)115--149, 191(1)245--248, 194(1)241--z--3,
194(1)248--z--1
-
step, h-, 188(1)241--247
-
step, one-, 208(1)179--190
-
Stephan, Frank, 185(1)129--157, 197(1)139--156
-
Stephan, Frank, see Fortnow, Lance
-
Stephan:1997:NIO, 185(1)129--157
-
Stewart, Iain A., 145(1)147--157
-
Stewart:1995:CPM, 145(1)147--157
-
Sticker, 204(1)183--203
-
Stinson, D. R., 200(1)313--334
-
Stinson, D. R., see Blundo, C.
-
Stirling, C., 195(2)113--131
-
Stirling:1998:DBE, 195(2)113--131
-
stochastic, 144(1)221--249, 152(2)171--217, 156(1)145--158,
158(1)343--359, 159(1)65--79, 185(1)15--45, 187(1)231--248,
215(1)263--287, 225(1)185--194
-
stochastic, Non-, 207(2)363--382
-
stochastic, non-, 152(2)171--217
-
stochastically, 156(1)145--158
-
stochasticash, 152(2)171--217
-
stochastic/nonstochastic, 152(2)171--217
-
Stockmeyer, Larry J., 161(1)109--122
-
Stockmeyer, Larry J., see Mayer, Alain J.
-
Stoltenberg-Hansen, Viggo, 179(1)319--331, 219(1)347--378
-
Stoltenberg-Hansen, Viggo, see Sigstam, Inger
-
Stoltenberg-Hansen:1999:CMC, 219(1)347--378
-
Stone, 179(1)427--436
-
Stone, Matthew, 211(1)129--188
-
Stone:1999:RSI, 211(1)129--188
-
stop, 164(1)107--122
-
storage, 141(1)283--310, 155(2)349--363, 162(2)245--281, 164(1)1--12,
164(1)73--106, 164(1)107--122, 171(1)179--219, 172(1)1--41,
181(1)75--90, 188(1)1--44, 196(1)109--130, 196(1)319--345,
220(2)345--362
-
Strahler, Horton-, 181(1)181--194
-
straight, 188(1)241--247, 196(1)347--363
-
strand, 185(1)3--13
-
strange, 201(1)171--187
-
strategy, 139(1)315--354, 140(2)319--331, 141(1)69--107, 146(1)145--184,
149(1)179--199, 154(2)165--181, 155(1)85--109, 157(2)161--183,
164(1)59--72, 165(1)75--95, 174(1)97--121, 182(1)217--232,
190(1)61--85, 190(2)211--239, 191(1)193--203, 197(1)203--234,
212(1)183--209
-
stratified, 146(1)145--184, 190(2)241--277
-
Straubing, Howard, 180(1)325--339
-
Straubing, Howard, see Péladeau, Pierre
-
Strauss, Martin, 178(1)155--169
-
Strauss:1997:NNS, 178(1)155--169
-
streams, 166(1)263--290
-
Streicher, Thomas, 210(1)121--157
-
Streicher, Thomas,
see Hötzel Escardó, Martín
-
strict, 155(2)425--438, 161(1)301--306, 175(1)127--158, 195(2)133--153
-
strictly, 176(1)329--335, 182(1)171--182
-
Strictly-upward, 203(1)51--67
-
strictness, 194(1)241--z--1
-
string, 137(2)269--278, 141(1)53--67, 141(1)163--173, 143(1)113--122,
145(1)357--369, 147(1)19--30, 154(2)203--224, 154(2)225--245,
155(2)425--438, 155(2)447--457, 158(1)177--192, 161(1)1--21,
161(1)123--140, 161(1)289--300, 163(1)117--144, 164(1)73--106,
164(1)299--310, 172(1)281--291, 178(1)129--154, 180(1)203--215,
181(1)159--179, 191(1)205--214, 191(1)219--228, 194(1)87--122,
211(1)339--374, 218(1)205--216
-
string, string-to-, 201(1)275--279
-
string-matching, 147(1)19--30, 158(1)177--192, 218(1)197--203
-
string-rewriting, 198(1)1--47, 207(1)13--23
-
string-to-string, 201(1)275--279
-
strip-packing, 178(1)265--273
-
strong, 139(1)69--113, 142(2)299--368, 148(2)227--260, 151(2)487--512,
153(1)65--94, 155(1)179--219, 155(2)365--410, 156(1)203--215,
163(1)259--267, 165(2)483--490, 167(1)95--130, 168(2)267--301,
169(2)201--220, 170(1)173--207, 170(1)407--444, 175(1)29--74,
177(1)139--153, 183(2)215--228, 185(2)217--235, 192(2)167--199,
195(2)227--258, 208(1)87--110, 211(1)375--395
-
strong-monotonic, 155(2)365--410
-
strongly, 141(1)351--355, 151(1)207--256, 155(1)85--109, 161(1)157--190
-
structural, 145(1)381--390, 146(1)25--68, 146(1)109--143, 149(1)3--48,
155(1)179--219, 158(1)361--370, 162(1)5--21, 164(1)123--140,
177(1)73--109, 188(1)1--44, 211(1)311--337
-
structurally, 153(1)65--94
-
structured, 139(1)315--354, 162(2)173--223, 168(1)155--212,
173(2)393--443, 173(2)513--554
-
structures, 2-, 154(2)247--282
-
structuring, 194(1)241--z--3
-
Stuber, Jürgen, 208(1)149--177
-
Stuber:1998:STP, 208(1)149--177
-
Stuckey, Peter J., 146(1)145--184, 193(1)149--179
-
Stuckey, Peter J., see Kemp, David B.,
see Ross, Kenneth A.
-
study, 141(1)1--52, 141(1)195--252, 172(1)1--41, 215(1)31--49,
217(1)157--172
-
Studying, 139(1)187--205
-
sturdiness, 138(1)141--168
-
Sturmian, 154(2)387--394, 165(2)295--309, 178(1)171--203,
178(1)205--224, 183(1)45--82, 195(1)91--109, 209(1)179--193,
209(1)261--285, 218(1)3--12, 218(1)41--59, 218(1)83--94,
223(1)73--85, 225(1)129--148
-
sturmienne, 209(1)261--285
-
sturmiennes., 165(2)295--309
-
stuttering, 166(1)1--47, 170(1)1--46, 193(1)197--214
-
stuttering, w-, 140(1)95--138
-
stuttering-closed, 186(1)135--156
-
style, 139(1)69--113, 166(1)173--202, 194(1)240--z--1
-
style, Curry-, 155(1)265--266, 192(2)201--231
-
style, deduction-, 169(1)3--21
-
style, Hilbert-, 169(1)3--21, 194(1)244--z--3
-
style, Kripke-, 195(1)33--60
-
style, Morris-, 170(1)83--128
-
Su, Jianwen, 173(1)151--181, 184(1)195--236
-
Su, Jianwen, see Grumbach, Stéphane
-
Su:1997:DCO, 184(1)195--236
-
sub, 157(1)z--z
-
/sub, 160(1)321--363, 174(1)97--121
-
sub-shifts, 201(1)171--187
-
sub-spaces, 185(1)159--175
-
subalgebra, 139(1)187--205, 187(1)117--122
-
subcalculi, 198(1)131--158
-
subclass, 147(1)117--136, 153(1)271--300, 160(1)87--143, 161(1)205--233,
164(1)13--28, 197(1)189--201
-
subcubes, 178(1)265--273
-
subexponential, 141(1)175--193, 226(1)7--18
-
subexponential-time, 181(2)229--245
-
subexpressions, 146(1)69--108
-
subformula, 166(1)147--172, 170(1)129--144
-
subframe, 195(1)33--60
-
subgrammars, 194(1)241--z--3
-
subgraph, 145(1)111--145, 145(1)147--157, 148(1)57--65, 161(1)307--314,
164(1)287--298, 168(1)121--154, 172(1)209--232, 172(1)265--271,
181(1)91--106, 181(2)307--316, 203(1)91--121, 205(1)85--98,
205(1)261--282
-
subgroup, 187(1)3--6
-
Subject, 150(2)195--z, 150(2)197--z, 213(1)5--436
-
sublanguage, 151(1)37--78, 183(2)281--315
-
sublinear, 196(1)131--151, 197(1)189--201, 218(1)197--203
-
sublocation, 149(2)299--332
-
sublogarithmic, 164(1)1--12, 188(1)59--78
-
submodular, 175(2)257--270
-
submonoid, 164(1)223--252
-
suboptimal, 140(2)265--289
-
suborders, 175(2)271--282
-
SubPTIME, 175(1)183--222
-
subquadratic, 215(1)123--136
-
Subrahmanian, V. S., 155(1)157--177, 166(1)221--262, 171(1)111--146
-
Subrahmanian, V. S., see Gottlob, Georg,
see Kagan, Vadim, \see{Nerode, A.
-
subroutine, 174(1)193--202, 192(2)201--231
-
subsequence, 145(1)317--327, 147(1)31--54, 164(1)277--285,
165(2)233--246
-
subsequential, 191(1)61--77, 215(1)329--335
-
subset, 138(1)35--65, 138(1)67--100, 138(1)141--168, 151(1)29--36,
154(2)379--385, 163(1)1--54, 163(1)55--98, 166(1)49--62,
168(1)155--212, 169(2)123--145, 179(1)427--436, 180(1)363--370,
187(1)167--178, 192(2)259--286, 193(1)1--51, 193(1)113--127,
197(1)79--94, 207(1)171--180, 219(1)19--48, 219(1)65--93,
224(1)135--155
-
subshift, 158(1)81--115, 174(1)203--216
-
subsort-meet, 185(2)393--410
-
subspace, 165(2)483--490
-
substitution, 137(2)219--236, 155(1)85--109, 160(1)145--184,
160(1)185--216, 161(1)205--233, 164(1)41--57, 166(1)221--262,
168(1)53--103, 169(1)81--112, 174(1)171--191, 174(1)269--274,
176(1)111--158, 180(1)363--370, 185(1)3--13, 194(1)243--z--1,
195(2)291--324, 211(1)375--395, 218(1)61--81
-
substring, 144(1)161--197, 180(1)203--215
-
subsumption-equivalence, 149(2)201--229
-
subsystems, 147(1)181--210
-
subterm, 155(2)291--319, 175(1)127--158
-
subtraction, 148(1)111--119
-
subtrees, 167(1)171--192, 181(1)181--194, 181(2)307--316
-
subtype, 139(1)131--162, 176(1)235--282, 212(1)3--27
-
subtyping, 176(1)235--282, 184(1)247--247
-
subwords, 197(1)235--240
-
success, 137(1)85--108, 161(1)235--261
-
successor, 150(1)57--75
-
succinctness, 164(1)13--28, 179(1)251--271
-
Suciu, Dan, 176(1)283--328, 190(2)279--315
-
Suciu:1997:BFC, 176(1)283--328
-
Suciu:1998:DIQ, 190(2)279--315
-
Sudarshan, S., 193(1)149--179
-
Sudarshan, S., see Ross, Kenneth A.
-
Sudborough, Hal, 210(2)327--339
-
Sudborough, Hal, see Gu, Qian-Ping
-
suffice, 221(1)3--18, 221(1)77--118
-
sufficient, 138(1)201--210, 140(2)231--247, 140(2)249--263,
141(1)311--328, 144(1)251--275, 145(1)1--26, 146(1)331--339,
151(2)487--512, 152(1)91--138, 154(2)349--366, 159(2)355--356,
163(1)259--267, 165(1)97--131, 173(2)513--554, 174(1)97--121,
177(1)155--182, 180(1)61--80, 182(1)183--202, 183(1)93--112,
197(1)111--138, 197(1)203--234
-
suffix, 147(1)19--30, 154(2)203--224, 163(1)145--160, 183(1)3--19,
191(1)131--144, 201(1)249--262
-
suffix, prefix-, 163(1)145--160
-
suite, 164(1)165--183, 165(2)295--309, 174(1)171--191, 209(1)261--285,
215(1)31--49
-
sum, 144(1)3--58, 148(1)141--156, 155(2)321--347, 156(1)315--325,
163(1)283--289, 164(1)107--122, 166(1)49--62, 187(1)117--122,
193(1)149--179, 215(1)371--381
-
summary, 194(1)z--z, 197(1)z--z
-
summation, 163(1)245--258, 172(1)135--174
-
summing, 197(1)57--77
-
Sun, Yong, 211(1)189--232
-
sun-free, house-hole-domino-, 172(1)209--232
-
Sun:1999:AGF, 211(1)189--232
-
Sundaram, R., 221(1)139--155
-
Sundaram, R., see Krumke, Sven O.
-
Sünderhauf, Philipp, 151(1)277--294, 210(1)73--98, 219(1)169--184,
see Edalat, Abbas
-
Sunderhauf:1995:FCM, 151(1)277--294
-
/sup, 154(2)349--366, 176(1)337--345, 197(1)111--138
-
super, 168(2)461--472
-
super-Turing, 168(2)417--459
-
supercompiler, 167(1)193--233
-
superlinear, 148(1)111--119, 194(1)57--85
-
superpolynomial, 148(1)111--119, 172(1)293--301
-
superposition, 142(2)141--177, 208(1)149--177, 218(2)273--283
-
supersequence, 145(1)317--327, 165(2)233--246
-
superset, 147(1)137--147
-
Superstring, 191(1)205--214
-
superstrings, 143(1)113--122, 161(1)1--21, 191(1)205--214
-
supervisory, 138(1)201--210, 148(1)67--92
-
superword, 183(1)33--44
-
supplementary, 177(2)287--328
-
support, 162(2)297--322, 187(1)231--248, 193(1)53--73, 194(1)242--z--1,
196(1)31--44, 196(1)241--258, 196(1)289--317
-
supremum, 197(1)244--z
-
Sur, 156(1)159--176, 165(2)325--354, 172(1)67--89
-
Sureson, Claude, 147(1)55--67, 154(2)145--163
-
Sureson:1995:NCN, 147(1)55--67
-
Sureson:1996:PNC, 154(2)145--163
-
surface, 162(2)351--369, 175(2)293--308, 186(1)1--41
-
surjective, 169(2)201--220
-
Suros, Rina, 155(1)141--156
-
Suros, Rina, see Fourneau, Jean-Michel
-
{\'S}wia{\c{t}}ek, Grzegorz, 154(1)41--56,
see Jaromczyk, Jerzy W.
-
switch, 156(1)263--280
-
Switchbox, 203(1)31--49
-
switching, 137(1)109--127, 138(1)101--112, 156(1)99--117,
156(1)263--280, 174(1)137--156, 174(1)217--230, 174(1)269--274,
178(1)103--118, 178(1)237--255, 182(1)171--182, 182(1)203--216,
185(2)347--377, 188(1)117--128, 189(1)221--228, 194(1)123--136
-
switching, packet-, 178(1)103--118
-
symbol, 138(1)101--112, 142(2)229--255, 145(1)189--228, 157(1)115--127,
160(1)305--320, 165(1)3--55, 167(1)3--45, 168(2)215--240,
169(1)81--112, 178(1)1--36, 178(1)129--154, 183(2)187--214,
187(1)81--86, 187(1)87--104, 187(1)105--116, 187(1)117--122,
187(1)123--145, 187(1)147--165, 187(1)203--219, 187(1)221--230,
187(1)231--248, 187(1)249--262, 187(1)263--284, 187(1)z--z,
191(1)1--36, 193(1)215--244, 210(2)245--260
-
symbolic, 138(1)3--34, 138(2)353--389, 148(1)1--17, 158(1)81--115,
164(1)165--183, 171(1)247--280, 176(1)39--65, 187(1)221--230,
187(1)231--248, 187(1)249--262, 188(1)161--174, 192(1)107--161,
221(1)211--250
-
symbols;, AC-, 142(2)209--227
-
symmetric, 139(1)115--130, 153(1)171--210, 154(1)41--56, 155(1)221--264,
157(2)215--225, 168(2)405--416, 170(1)277--296, 174(1)123--136,
176(1)39--65, 223(1)193--197
-
symmetry, 170(1)277--296, 176(1)39--65, 177(1)3--25, 187(1)263--284
-
Symvonis, Antonios, 185(2)347--377, 220(2)469--488
-
Symvonis, Antonios, see Pantziou, Grammati E.,
see Roberts, Alan
-
synaptic, 163(1)161--176
-
synchronisation, 149(1)179--199, 151(1)37--78, 165(2)475--482,
168(2)367--404, 188(1)45--57, 191(1)61--77, 194(1)241--z
-
synchronization, 138(2)425--454, 149(1)179--199, 151(1)37--78,
165(2)475--482, 168(2)367--404, 179(1)61--102, 204(1)11--28,
205(1)297--306, 207(1)73--88, 215(1)99--121
-
synchronized, 154(2)183--201, 167(1)171--192, 198(1)99--130
-
synchronizers, 188(1)45--57
-
synchronizing, 158(1)81--115
-
synchronizing, bi-, 158(1)81--115
-
synchronous, 138(1)211--239, 138(2)425--454, 152(2)171--217,
168(2)405--416, 192(2)259--286, 220(1)157--183, 222(1)1--53
-
synchronous, bulk-, 196(1)109--130
-
syndéticite., 204(1)119--130
-
synonym, 156(1)177--201
-
syntactic, 143(1)1--21, 145(1)159--187, 155(1)111--140, 158(1)81--115,
163(1)259--267, 167(1)47--72, 173(1)209--233, 183(1)93--112,
197(1)1--56, 228(1)211--252
-
syntactical, 142(1)89--124, 180(1)371--375, 190(1)3--39
-
syntactically, 176(1)39--65
-
syntax, 138(2)315--352, 142(1)3--26, 146(1)185--197, 151(2)353--383,
151(2)385--435, 155(1)179--219, 161(1)205--233, 164(1)123--140,
169(1)81--112, 173(2)445--484, 179(1)381--395, 181(1)195--225,
185(2)393--410, 190(1)3--39, 194(1)240--z--1, 199(1)57--86,
220(2)409--467
-
synthesis, 138(1)35--65, 138(1)141--168, 138(1)201--210, 138(1)211--239,
141(1)283--310, 157(1)101--114, 157(1)129--136, 186(1)107--134
-
system, set-, 157(2)215--225
-
system;, set-, 157(2)215--225
-
system-based, 179(1)217--250
-
systematic, 192(2)233--258, 193(1)129--148
-
systèmes, 137(2)219--236, 158(1)65--79, 204(1)119--130
-
systems., SL-, 160(1)145--184, 160(1)185--216
-
systolic, 179(1)251--271
-
Székely, László A., 221(1)77--118,
see Erd{\H{o}}s, P{\'e}ter L.
-
Szpankowski, W., 144(1)1--z
-
Szpankowski, W., see Prodinger, H.
-
Szpankowski, Wojciech, 144(1)161--197, 201(1)1--62
-
Szpankowski, Wojciech, see Jacquet, Philippe