Index file section S for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
S
-
S, 80(2)263--288
-
S--m--n, 123(2)199--237
-
s-1-1, 120(2)169--195
-
S-invariants, 114(1)93--118
-
s-link, 103(2)283--309
-
S-m-n, 123(2)199--237
-
s-t, 116(2)359--371
-
S-unimodal, 133(1)49--64
-
S4.3, 129(1)95--121
-
S5, 129(1)95--121
-
SA, 127(1)1--23
-
Sabadini, N., 86(2)325--342
-
Sabadini, N., see Bertoni, A.
-
Sabelfeld, V. K., 71(2)265--279
-
Sabelfeld:1990:ADF, 71(2)265--279
-
saccept, 74(2)217--225
-
saddle-point, 125(1)61--90
-
Sadri, F., Blanchet-, 123(2)239--258
-
Sadri, Fereidoon, 133(2)421--442
-
Sadri:1994:AOI, 133(2)421--442
-
Saec, B., Le, 108(2)237--249
-
safe, 90(1)185--198
-
safety, 83(1)97--130, 101(2)289--335, 114(1)3--30, 128(1)127--157
-
Sagan, Bruce E., 117(1)273--287
-
Sagan:1993:CPH, 117(1)273--287
-
Sain, I., 80(2)125--151, 95(1)75--95
-
Sain, I., see Andreka, H.
-
Sain:1992:TLN, 95(1)75--95
-
Saito, T., 90(2)355--367
-
Saito:1991:DER, 90(2)355--367
-
Sakakibara, Y., 76(2)223--242
-
Sakakibara:1990:LCF, 76(2)223--242
-
Sakarovitch, J., 72(1)1--z
-
Sakarovitch, Jacques, 108(1)45--82
-
Sakarovitch, Jacques, see Frougny, Christiane
-
Sakarovitch:1990:F, 72(1)1--z
-
Salemi, S., 97(2)301--311, 108(2)251--270
-
Salemi, S., see Guaiana, G., \see{Madonia, M.
-
salesman, 125(2)345--353
-
salesperson, 130(1)125--138
-
Salibra, A., 77(1)131--159, 94(1)101--124
-
Salibra, A., see Manca, V.
-
Salomaa, A., 84(2)265--279, 88(1)127--138
-
Salomaa, A., see Maurer, H. A.
-
Salomaa, Arto, 116(2)339--357, 120(2)293--301
-
Salomaa, Arto, see Andra{\c{s}}iu, Mircea,
see P{\u{a}}un, Gheorghe
-
Salomaa, K., 82(1)131--139, 134(1)107--117
-
Salomaa, K., see Jürgensen, H.
-
Salomaa, Kai, 125(2)315--328, 127(1)25--51
-
Salomaa, Kai, see Yu, Sheng
-
Salomaa:1991:DAM, 88(1)127--138
-
Salomaa:1991:DSE, 82(1)131--139
-
Salomaa:1994:STA, 127(1)25--51
-
Salvy, B., 79(1)37--109
-
Salvy, B., see Flajolet, P.
-
sample-path, 106(2)243--264
-
samples, 90(1)199--208, 91(1)101--117, 129(2)337--367
-
sampling, 116(1)195--226
-
sampling, random-, 116(1)195--226
-
sand, 115(2)321--349
-
sandwich, 111(1)59--88
-
Sangiorgi, D., 83(2)249--260
-
Sangiorgi, D., see Fachini, E.
-
sanity, 116(1)195--226
-
Santean, L., 98(2)249--262
-
Santean:1992:INC, 98(2)249--262
-
Santis, Alfredo, De, 132(1)291--317
-
Santoro, N., 100(1)185--204
-
Santoro:1992:DSA, 100(1)185--204
-
Saoudi, A., 84(2)165--177, 97(2)233--244, 136(2)387--417
-
Saoudi, A., see Muller, D. E.,
see Senoussi, H.
-
Saoudi:1991:GAI, 84(2)165--177
-
Saouter, Yannick, 116(2)317--337
-
Saouter:1993:CRE, 116(2)317--337
-
Sapozenko, A. A., 97(2)285--300
-
Sapozenko, A. A., see Hromkovic, J.
-
Sapozhenko, A. A., 78(2)377--381
-
Sapozhenko, A. A., see Burosch, G.
-
Sardinas, 108(2)251--270
-
Sarnath, R., 76(2)343--351
-
Sarnath:1990:PCG, 76(2)343--351
-
SAT, 84(2)199--223
-
sat, 80(2)263--288
-
SAT, CNF-, 97(1)105--130
-
satellite, 100(1)105--135
-
satisfaction, 97(1)105--130, 126(1)3--30
-
satisfiability, 72(2)265--288, 72(2)z--z, 81(1)49--64, 81(1)65--75,
82(1)141--149, 94(1)101--124, 105(1)141--166, 116(2)405--413,
129(1)95--121, 134(2)287--309
-
satisfying, 93(1)75--89
-
Sato, Taisuke, 105(1)57--84
-
Sato, Tamaki-, 75(1)139--156
-
Sato:1992:EPF, 105(1)57--84
-
Satoh, K., 122(1)1--z
-
Satoh, K., see Goto, S.
-
saturate, 76(2)261--271
-
Savický, Petr, 116(2)415--419, see Pudlák, Pavel
-
Sazonov, Vladimir Yu, 119(1)187--214
-
Sazonov:1993:HFS, 119(1)187--214
-
scalar, 80(1)105--115
-
scanners, 84(1)3--21
-
scattered, 125(2)361--371
-
Scedrov, A., 70(1)35--64, 97(1)1--66, 135(1)139--153
-
Scedrov, A., see Bainbridge, E. S.,
see Girard, J. Y., \see{Lincoln, P.
-
scene, 84(1)127--150, 112(1)53--97
-
Schäffer, Alejandro A., 128(1)211--239, 131(2)295--310,
see Idury, Ramana M.,
see Pai, Vinay Sadananda
-
Schäpers, Helmut, 123(2)427--428,
see Monien, Burkhard
-
Schäpers, Leopold, 116(2)421--429,
see Monien, Burkhard
-
schedule, 100(1)105--135
-
scheduler, 88(1)15--32, 100(1)105--135, 128(1)3--30, 130(1)17--47
-
scheduling, 75(3)347--355, 95(1)1--42, 100(1)105--135, 118(1)3--20,
125(1)3--16, 125(1)17--43, 128(1)75--97, 130(1)5--16, 130(1)17--47,
130(1)49--72, 130(1)175--201
-
Scheepers, Marion, 129(2)385--396
-
Scheepers:1994:VGG, 129(2)385--396
-
Scheinerman, Edward R., 112(2)371--382
-
Scheinerman, Edward R., see Fraenkel, Aviezri S.
-
schema, 82(2)303--327, 90(1)185--198, 134(2)287--309
-
schematic, 104(1)53--87
-
scheme, 81(2)295--304, 82(2)303--327, 84(1)77--105, 90(2)391--432,
100(2)347--364, 119(2)355--361, 132(1)347--375
-
schemes, 71(2)265--279, 71(2)z--z, 77(3)291--308, 81(2)295--304,
83(2)237--248, 99(1)1--63, 100(2)347--364, 110(2)419--432,
118(1)67--79, 129(1)123--142, 130(1)17--47
-
schemes, axiom-, 100(2)303--324
-
Schepers, Henk, 128(1)127--157
-
Schepers:1994:TBC, 128(1)127--157
-
Schettini, A. M., 83(2)249--260
-
Schettini, A. M., see Fachini, E.
-
Schettini, A., Maggiolo-, 103(2)335--363
-
Schieber, B., 106(2)265--281
-
Schieber, B., see Bern, M. W.
-
Schmid, J., 100(1)137--156
-
Schmid, J., see Benninger, D.
-
Schmid, U., 108(2)291--310
-
Schmid:1993:ACL, 108(2)291--310
-
Schmidt, D. A., 77(1)73--95
-
Schmidt, D. A., see Even, S.
-
Schmidt, W. J., 107(1)95--120
-
Schmidt, W. J., see Lutz, J. H.
-
Schmitt, W., 73(3)335--340
-
Schmitt:1990:HAI, 73(3)335--340
-
Schmitz, L., 80(1)53--75
-
Schmitz, L., see Heilbrunner, S.
-
Schneider, Donovan A., 116(1)195--226
-
Schneider, Donovan A., see Lipton, Richard J.
-
Schneider, H. J., 109(1)257--274
-
Schneider:1993:CGG, 109(1)257--274
-
Schnitger, 123(2)389--395
-
Schnitger, G., 82(1)113--129
-
Schnitger, G., see Dietzfelbinger, M.
-
Schnorr, C. P., 102(2)307--328
-
Schnorr, C. P., see Mirwald, R.
-
Scholefield, David, 131(1)219--241
-
Scholefield:1994:SOS, 131(1)219--241
-
Schoning, U., 99(2)279--290
-
Schoning, U., see Balcazar, J. L.
-
School, 92(1)1--z, 92(1)z--z
-
school, high-, 117(1)23--38
-
Schott, R., 72(2)147--167, 93(2)201--225
-
Schott, R., see Francon, J., \see{Louchard, G.
-
Schreier, Artin-, 94(2)295--310
-
Schreye, Danny De, 122(1)97--117, 122(1)225--262
-
Schreye, Danny De, see Denecker, Marc,
see Martens, Bern
-
Schröder, Bernd S. W., 136(1)79--107,
see Melton, Austin
-
Schupp, P. E., 97(2)233--244
-
Schupp, P. E., see Muller, D. E.
-
Schwartzbach, M. I., 106(1)119--134
-
Schwartzbach:1992:IRD, 106(1)119--134
-
Schwer, S. R., 95(1)159--168, 98(2)199--247
-
Schwer:1992:CFL, 98(2)199--247
-
Schwer:1992:FCV, 95(1)159--168
-
Sci, 182(1)257--257, 206(1)353--354, 234(1)325--326
-
science, 70(1)3--34, 73(1)1--46, 73(1)101--112, 77(1)161--194,
81(2)201--221, 90(1)1--15, 92(1)49--76, 116(2)227--290, 119(1)z--z,
123(1)z--z
-
scientific, 81(2)201--221, 121(1)1--z
-
scientists, 90(1)1--15
-
Scollo, G., 77(1)131--159, 89(1)179--206
-
Scollo, G., see Manca, V., \see{Vissers, C. A.
-
scope, 95(1)43--74
-
Scott, 70(1)151--158, 79(2)359--363, 87(1)1--24, 91(2)285--313,
94(1)63--69, 103(2)311--334, 114(2)201--229, 115(1)77--106,
120(1)101--121, 135(1)111--137
-
Scott, Dana S., 121(1)411--440
-
Scott, E. A., 135(2)345--359
-
Scott, P. J., 70(1)35--64, 97(1)1--66, 135(1)11--65
-
Scott, P. J., see Bainbridge, E. S.,
see Bellin, G., \see{Girard, J. Y.
-
Scott, Rabin-, 134(2)329--363
-
Scott-Engeler, 121(1)351--409
-
Scott:1993:TTA, 121(1)411--440
-
Scott:1994:WTD, 135(2)345--359
-
Scratchpad, 79(1)241--256
-
search, 72(2)251--264, 75(1)45--66, 75(1)85--110, 78(2)363--376,
81(2)189--199, 85(1)117--134, 92(1)19--31, 92(1)33--47, 92(1)77--86,
92(1)107--117, 92(1)165--179, 92(1)z--z, 93(2)201--225,
95(2)307--321, 100(1)243--251, 103(1)137--141, 103(2)283--309,
104(1)109--128, 106(2)361--371, 108(2)331--344, 108(2)371--384,
114(2)273--298, 117(1)23--38, 117(1)99--112, 119(2)355--361,
124(2)343--350, 130(1)101--123, 130(1)125--138, 131(2)295--310,
132(1)347--375
-
searcher, 130(1)125--138
-
searching, 73(1)81--89, 78(2)363--376, 92(1)19--31, 92(1)165--179,
95(2)307--321, 108(2)331--344
-
second, 70(1)127--150, 84(2)165--177, 98(1)z--z, 134(1)z--z
-
second-order, 80(2)153--202, 87(1)25--41, 88(1)139--150, 89(1)137--159,
97(1)157--173, 101(1)3--33, 101(1)35--57, 103(1)143--159,
103(2)395--408, 109(1)49--82, 111(1)59--88, 111(1)z--z,
126(1)53--75, 126(1)97--112
-
section, 110(2)247--z
-
section, critical-, 129(1)1--38
-
security, 106(2)373--383, 116(2)339--357, 120(2)293--301,
125(1)131--147, 132(1)291--317
-
See, 106(2)391--393, 106(2)395--400, 114(2)231--245, 116(2)421--429,
118(2)315--315, 123(2)427--428, 127(1)181--186, 127(2)287--312,
134(1)51--61, 135(1)67--110, 141(1)329--330, 182(1)257--257,
206(1)353--354, 234(1)325--326
-
Seebold, P., 88(2)365--384
-
Seebold:1991:FMS, 88(2)365--384
-
Seger, C.-J., 86(2)343--364
-
Seger:1991:ESI, 86(2)343--364
-
Segerberg, 91(2)181--203
-
segments, 115(2)291--319, 131(2)361--374
-
Seidel, 92(2)319--336
-
Seidel, see Edelsbrunner, H.
-
Seidl, H., 88(2)325--349, 106(1)135--181
-
Seidl, H., see Weber, A.
-
Seidl, Helmut, 126(1)113--142
-
Seidl:1992:SVT, 106(1)135--181
-
Seidl:1994:FTA, 126(1)113--142
-
Seki, H., 86(1)107--139, 88(2)191--229
-
Seki, S., 83(2)237--248
-
Seki:1991:MCF, 88(2)191--229
-
Seki:1991:SLC, 83(2)237--248
-
Seki:1991:UFT, 86(1)107--139
-
Selected, 92(1)1--z, 122(1)1--z
-
selection, 72(2)133--146, 73(2)177--211, 78(1)113--136, 100(1)185--204
-
selection, K-, 100(1)185--204
-
selection, l-, 82(1)157--163
-
selective, 83(2)249--260
-
selective, P-, 120(2)279--291
-
selective, p-, 81(2)189--199
-
selective, P-, 120(2)279--291
-
selector, 73(2)177--211
-
self, 111(1)211--252
-
self-organization, 133(1)49--64
-
self-organizing, 74(2)183--197
-
self-reducibility, 81(2)189--199, 88(1)183--189, 112(2)255--275
-
self-reducibility, d-, 81(2)189--199
-
self-reducible, 88(1)183--189, 112(2)255--275
-
self-reference, 111(1)211--252
-
Selman, A. L., 107(1)1--z
-
Selman, Alan L., 115(2)277--290
-
Selman, Alan L., see Longpré, Luc
-
Selman:1993:F, 107(1)1--z
-
semantic-preserving, 76(2)331--341
-
semantical, 74(1)37--69, 87(1)115--142, 90(1)171--184, 93(1)1--41,
113(2)293--348
-
semantically, 71(2)241--264, 87(1)115--142
-
semantics, -, 129(1)39--77
-
semantics, F-, 129(1)39--77
-
semantics, O-, 122(1)49--68
-
semaphore, 136(2)471--485
-
semi, 74(1)3--18
-
semi-algebraic, 84(1)77--105
-
semi-algorithm, 104(1)53--87
-
semi-commutations, 72(1)39--53, 108(1)25--43
-
semi-simple, 93(2)169--183
-
semi-strict, 97(1)143--156
-
semi-Thue, 70(2)213--232, 71(3)281--346, 132(1)395--401
-
semi-unification, 81(2)169--187
-
semialgorithm, 104(1)53--87
-
semicommutations, 103(1)39--49, 123(2)259--272
-
Semiconductor, 71(1)3--28, 82(1)157--163, 84(2)225--250, 99(2)213--230,
128(1)3--30, 128(1)211--239
-
semiconductors, 103(1)39--49
-
semidirect, 104(2)161--183, 108(1)151--171, 125(1)149--165
-
semidynamic, 112(2)339--354
-
semigroup, 72(1)65--94, 74(2)163--181, 84(2)251--264, 87(2)229--249,
87(2)315--327, 89(2)207--343, 92(2)269--289, 108(1)3--16,
108(1)151--171, 108(1)z--z, 134(1)189--208, 134(1)z--z
-
semilattice, 114(2)201--229, 124(1)127--148
-
semilinear, 85(1)171--203, 93(2)185--199, 104(2)207--233
-
semilinear, delta-, 70(2)179--192
-
semilinear, tau-, 70(2)179--192
-
semilinearity, 93(2)185--199
-
semimodules, 88(2)269--285
-
semiretracts, 134(1)3--11
-
semiring, 71(1)3--28, 79(1)137--150, 88(2)269--285, 92(2)269--289,
97(2)245--262, 98(1)5--13, 98(1)27--39, 98(1)z--z, 109(1)49--82,
111(1)59--88, 126(1)113--142, 134(1)27--50
-
Sénéchaud, Pascale, 123(1)117--130,
see Duval, Dominique
-
Senizergues, G., 70(2)213--232, 71(3)281--346
-
Senizergues:1990:CDC, 70(2)213--232
-
Senizergues:1990:SDP, 71(3)281--346
-
Senoussi, H., 136(2)387--417
-
Senoussi:1994:QAT, 136(2)387--417
-
sense, 83(2)287--300
-
sensible, 94(1)101--124
-
sensitive, 141(1)329--330
-
sensitive, context-, 88(2)191--229, 97(2)217--231,
106(2)283--308, 132(1)71--84, 132(1)319--336, 134(2)365--385,
141(1)329--330
-
sensitivity, 119(2)233--245, 123(2)415--426
-
sentences, 97(2)233--244, 97(2)263--284
-
sentential, 81(2)305--310, 82(1)95--111
-
separable, 113(2)191--210
-
separated, 120(2)247--259
-
separated, k-, 120(2)247--259
-
separating, 86(2)267--275, 92(2)309--318, 106(2)351--360,
120(2)247--259
-
separation, 80(2)289--302, 81(1)127--135, 82(1)95--111, 88(2)297--311,
102(2)215--252, 104(2)263--283, 133(1)3--14
-
separator, 112(2)419--420
-
sequence, 71(3)381--400, 71(3)419--424, 73(1)91--100, 73(2)121--154,
74(1)71--93, 74(3)341--354, 75(3)223--262, 76(1)115--142,
76(2)309--322, 79(2)275--294, 80(2)263--288, 83(1)131--155,
83(2)205--218, 83(2)219--235, 87(2)251--262, 90(2)391--432,
92(1)3--17, 93(2)279--301, 94(2)161--174, 94(2)215--221,
94(2)373--393, 95(2)231--244, 98(2)163--197, 100(1)105--135,
102(2)253--281, 103(1)137--141, 103(2)191--204, 107(1)31--61,
108(2)385--391, 113(2)349--370, 114(1)63--91, 115(1)63--75,
117(1)289--301, 119(2)345--354, 119(2)363--371, 122(1)137--164,
123(1)3--7, 123(1)55--60, 123(1)61--87, 123(2)239--258,
123(2)351--375, 126(2)183--235, 127(2)351--386, 129(2)263--278,
129(2)369--383, 129(2)385--396, 132(1)1--35, 132(1)37--70,
132(1)337--345
-
sequencing, 134(2)473--491
-
sequent, 79(2)295--321, 110(2)249--339, 114(2)317--330, 131(1)95--120
-
sequential, 71(2)209--226, 73(3)319--328, 76(1)93--114, 76(2)285--308,
76(2)331--341, 76(2)343--351, 77(1)97--129, 88(1)1--14, 88(1)59--82,
94(1)125--140, 101(2)177--221, 103(2)235--271, 107(2)357--363,
109(1)181--224, 118(1)81--98, 119(2)311--321, 124(1)1--40,
130(1)203--236, 132(1)1--35, 134(1)119--130
-
sequentiality, 113(2)273--291, 121(1)187--277
-
serial, 81(1)97--115, 84(2)199--223
-
serializability, 95(1)1--42, 124(1)41--70
-
Séries, 98(1)79--97, 117(1)169--186
-
séries, 117(1)169--186
-
series, q-, 117(1)169--186
-
series-parallel, 89(1)33--62
-
server, 98(2)339--346, 106(2)243--264, 125(1)17--43, 130(1)73--84,
130(1)85--99
-
server, k-, 130(1)85--99
-
service, 89(1)179--206, 130(1)73--84
-
service, blocking-after-, 125(1)111--130
-
ses, 117(1)243--253
-
Seshadri, S., 116(1)195--226
-
Seshadri, S., see Lipton, Richard J.
-
set-covering, 104(2)285--298
-
set-oriented, 133(2)361--385
-
set-theoretical, 121(1)351--409
-
Set-to-Front, Move-, 130(1)101--123
-
Sethi, 120(2)197--213
-
Sets, BIT-for-, 130(1)101--123
-
setting, 85(1)1--31, 107(2)305--332, 113(2)293--348, 136(1)109--123
-
Seven-state, 127(2)313--332
-
several, 79(1)241--256, 113(1)75--91
-
Sgall, Ji{\v{r}}{\'\i}, 130(1)49--72, see Feldmann, Anja
-
SGML, 120(2)197--213
-
shadowed, 133(1)105--140
-
shadowing, 134(1)51--61
-
Shallit, J., 94(2)161--174, 98(2)163--197
-
Shallit, J., see Allouche, J.-P.
-
shallow, 123(2)389--395
-
Shamir, Boaz, Patt-, 110(1)99--129
-
Shankar, P., 88(1)117--125, 95(2)339--340
-
Shankar:1991:GBR, 88(1)117--125
-
Shankar:1992:GBR, 95(2)339--340
-
shape, 93(2)279--301, 98(1)65--76
-
Shapiro, 135(1)139--153
-
shared, 103(2)273--282, 109(1)225--256, 128(1)3--30
-
sharing, 106(2)243--264
-
sharing, processes-, 122(1)165--200
-
sharing, time-, 130(1)17--47
-
Sharir, M., 84(1)77--105, 92(2)319--336
-
Sharir, M., see Chazelle, B.,
see Edelsbrunner, H.
-
Sharma, Arun, 127(2)351--386
-
Sharma, Arun, see Jain, Sanjay
-
Shasha, Dennis, 128(1)75--97
-
Shasha, Dennis, see Koren, Gilad
-
Shawe-Taylor, J., 92(1)107--117
-
Shawe-Taylor, J., see Kim, J. Y.
-
sheaf-theoretic, 112(1)53--97
-
sheaves, 111(1)211--252
-
shell, 109(1)225--256, 110(1)79--98
-
Shende, S. M., 98(2)289--319
-
Shende, S. M., see Palis, M. A.
-
Shepherdson, J. C., 129(1)143--166
-
Shepherdson:1994:RSA, 129(1)143--166
-
shift, 100(1)1--44
-
shifting, 116(2)415--419
-
Shinoda, Juichi, 123(2)315--327
-
Shinoda, Juichi, see Aoki, Kunimasa
-
Shinohara, T., 95(1)97--113
-
Shinohara, T., see Arikawa, S.
-
Shore, R. A., 97(2)263--284
-
Shore:1992:DRS, 97(2)263--284
-
short, 117(1)199--202, 121(1)1--z
-
shorter, 115(2)243--260
-
shortest, 79(1)151--162, 82(1)35--49, 84(1)127--150, 92(1)3--17,
108(2)251--270, 108(2)365--369, 112(2)215--253, 116(2)359--371,
125(2)205--228, 125(2)229--241, 134(2)473--491
-
shortest-path, 84(1)127--150, 116(2)359--371
-
shows, 120(2)197--213
-
Shub, M., 133(1)3--14, 133(1)141--164
-
Shub, M., see Cucker, F.
-
Shub-Smale, Blum-, 133(1)15--22
-
Shub:1994:CBT, 133(1)141--164
-
Shufelt, Jefferey A., 132(1)347--375
-
Shufelt:1994:GHC, 132(1)347--375
-
shuffle, 79(1)257--261, 96(2)405--410, 115(2)359--369, 119(1)223--232
-
shuffle-exchange, 102(2)355--365
-
Shyr, H. J., 96(2)325--344
-
Shyr, H. J., see Ito, M.
-
Sibert-Conway, 96(2)361--388
-
side-conditions, 114(2)317--330
-
sided, lop-, 117(1)67--89
-
sided, two-, 93(2)265--277, 104(2)161--183
-
Sidney, J. B., 100(1)185--204
-
Sidney, J. B., see Santoro, N.
-
Sidney, S. J., 100(1)185--204
-
Sidney, S. J., see Santoro, N.
-
Siefkes, D., 80(2)203--225
-
Siefkes, D., see Hemachandra, L. A.
-
Siegelmann, Hava T., 131(2)331--360
-
Siegelmann:1994:ACN, 131(2)331--360
-
Sigma, 74(2)217--225
-
sigma-catenation, 76(2)261--271
-
sigmoids, 133(1)23--33
-
signal, 79(1)163--177, 87(1)43--80, 102(2)253--281
-
signature, 82(2)403--408, 83(1)3--28, 94(1)101--124, 95(1)169--185,
112(1)145--185
-
Sikkel, Klaas, 120(2)303--310
-
Sikkel:1993:PLP, 120(2)303--310
-
silent, 114(1)173--200
-
Silva, M., 102(1)185--205
-
Silva, M., see Esparza, J.
-
Silvestri, R., 104(2)263--283
-
Silvestri, R., see Bovet, D. P.
-
similarité, Auto-, 117(1)153--167
-
similarity, 96(1)249--283
-
similarity, Auto-, 117(1)153--167
-
similarity, auto-, 117(1)153--167
-
Simon, 84(2)251--264
-
Simon, E., 78(1)137--158
-
Simon, E., see Abiteboul, S.
-
Simon, I., 72(1)65--94
-
Simon:1990:FFF, 72(1)65--94
-
Simonot, Marianne, 135(2)319--343
-
Simonot, Marianne, see Manoury, Pascal
-
Simonson, S., 110(1)197--214
-
Simonson, S., see Fraenkel, A. S.
-
simple, 70(2)179--192, 71(2)177--191, 71(2)193--208, 82(1)151--155,
86(1)35--79, 87(1)25--41, 87(1)81--96, 88(1)15--32, 89(1)33--62,
102(2)215--252, 102(2)283--305, 103(2)273--282, 103(2)387--394,
112(2)215--253, 112(2)391--397, 114(2)317--330, 117(1)99--112,
119(2)293--310
-
simple, semi-, 93(2)169--183
-
simplicity, 99(2)265--z, 133(1)49--64
-
simplification, 74(3)273--298
-
simply, 114(2)273--298, 121(1)169--178, 121(1)309--321
-
Simpson, Alex K., 118(2)301--314
-
Simpson:1993:CLF, 118(2)301--314
-
simulated, 99(1)157--176, 102(2)253--281
-
simulating, 71(1)95--132
-
simulation, 71(1)47--77, 74(2)163--181, 101(2)223--237, 103(2)409--420,
110(1)53--78, 113(1)75--91, 128(1)3--30, 128(1)211--239,
134(1)51--61, 135(1)139--153
-
simulation-time, 132(1)259--290
-
Sinclair, A., 73(1)91--100
-
Sinclair, A., see Jerrum, M.
-
Sinderen, M., van, 89(1)179--206
-
Singh, Karan Sher, 115(2)351--357
-
Singh, Karan Sher, see Srikant, R.
-
single, 71(2)177--191, 81(2)257--268, 84(2)281--292, 94(1)141--158,
100(2)347--364, 129(2)293--307, 130(1)5--16, 130(1)17--47
-
single-conclusion, 105(2)167--215
-
single-inheritance, 134(2)287--309
-
single-pushout, 109(1)123--143, 109(1)181--224
-
single-rule, 76(1)143--177
-
single-tape, 118(1)49--65
-
single-valued, 106(1)135--181, 134(1)225--251
-
Single-valuedness, 106(1)135--181
-
singly, 84(1)77--105
-
sink, 119(2)331--343
-
sinklessness, 93(2)185--199
-
Sippu, 120(2)197--213
-
Sipser, Michael, 134(2)545--557
-
Sipser, Michael, see Fortnow, Lance
-
Siromoney, R., 106(2)373--383
-
Siromoney, R., see Subramanian, K. G.
-
Sixth, 111(1)z--z
-
size, 74(3)273--298, 78(2)357--362, 79(1)25--35, 81(2)237--256,
82(1)85--93, 84(2)225--250, 87(2)347--352, 88(1)117--125,
93(2)303--319, 96(2)305--324, 102(2)283--305, 107(1)95--120,
107(1)121--133, 116(1)195--226, 116(2)305--316, 120(2)197--213,
127(2)351--386, 128(1)211--239, 129(2)397--406, 131(2)375--414
-
size, circuit-, 107(1)95--120
-
size, constant-, 92(1)77--86
-
size, polynomial-, 85(1)155--170, 99(2)279--290,
106(2)351--360, 112(2)291--309
-
size-depth, 82(1)85--93, 100(1)253--265
-
Skalikova, N. A., 97(2)285--300
-
Skalikova, N. A., see Hromkovic, J.
-
Skandalis, K., 71(3)425--429
-
Skandalis:1990:NOR, 71(3)425--429
-
sketch, 70(1)159--178, 123(1)117--130
-
skew, 79(1)111--135, 98(1)65--76, 98(1)99--114, 98(1)115--133, 98(1)z--z,
117(1)273--287
-
skewed, 93(2)279--301
-
skewfield, 98(1)99--114
-
skewness, 85(1)117--134
-
Skubiszewski, M., 102(2)253--281
-
Skubiszewski:1992:BPS, 102(2)253--281
-
Skurczy{\'n}ski, Jerzy, 112(2)413--418
-
Skurczynski:1993:BHI, 112(2)413--418
-
SL, 78(1)245--259, 129(1)95--121
-
Slaman, T. A., 97(2)263--284
-
Slaman, T. A., see Shore, R. A.
-
SLD, 105(1)141--166, 119(1)39--62, 120(1)45--68
-
SLD-derivations, 104(1)3--28
-
SLD-resolution, 71(1)155--174, 86(1)107--139, 99(1)65--78
-
SLD-trees, 122(1)97--117
-
SLDNF, 94(2)281--294, 120(1)83--99
-
SLDNF-refutation, 97(1)143--156
-
SLDNF-resolution, 86(1)81--92, 86(1)107--139, 86(1)z--z
-
slender, 120(2)293--301, 132(1)427--434
-
slices, 115(2)291--319
-
slight, 97(1)175--181
-
Slissenko, A. O., 119(1)215--222
-
Slissenko:1993:FTS, 119(1)215--222
-
Slobodova, A., 96(2)411--419
-
Slobodova, Anna, 132(1)319--336
-
Slobodova, Anna, see Hromkovi{\v{c}}, Juraj
-
Slobodova:1992:SPS, 96(2)411--419
-
slope, 71(3)381--400
-
slotted, 108(2)291--310
-
Slowinski, Karine, 108(2)357--363
-
Slowinski:1993:PWI, 108(2)357--363
-
Slupecki's, Borkowski-, 85(2)333--351
-
Slutzki, Giora, 129(2)323--336
-
Slutzki, Giora, see Rich, Craig A.
-
Smale, Blum-Shub-, 133(1)15--22
-
Smale, S., 133(1)3--14, 133(1)141--164
-
Smale, S., see Cucker, F., \see{Shub, M.
-
small, 118(1)81--98, 127(1)171--179
-
small-model, 118(1)67--79
-
smaller, 116(2)421--429, 123(2)427--428
-
smallest, 84(2)179--197, 92(1)119--144
-
smash, 119(1)103--125
-
Smith, C. H., 77(3)249--266
-
Smith, Scott F., 121(1)89--112
-
Smith, Scott F., see Constable, Robert L.
-
Smith:1990:IAP, 77(3)249--266
-
Smolka, Gert, 122(1)263--283
-
Smolka, Gert, see Aït-Kaci, Hassan
-
Smyth, Christopher J., 102(2)329--354
-
Smyth, Christopher J., see Halpenny, Liam
-
Smyth, Michael B., 115(1)77--106
-
Smyth, Michael B., see Edalat, Abbas
-
Smyth, W. F., 92(1)87--105, 127(1)53--67
-
Smyth, W. F., see Daykin, J. W.,
see Iliopoulos, C. S.
-
snake, 119(2)323--329, 131(2)243--269
-
snapshots, 75(3)263--287, 126(2)143--182
-
Snir, M., 71(1)3--28, 71(1)95--132, 82(1)85--93
-
Snir, M., see Aggarwal, A.,
see Kruskal, C. P.
-
Snir:1991:SDT, 82(1)85--93
-
SnS, 74(2)239--248
-
Soare, Robert I., 132(1)229--241
-
Soare, Robert I., see Ambos-Spies, Klaus
-
software, 70(1)159--178, 73(2)121--154, 73(2)213--230, 77(1)27--71,
77(1)97--129, 77(1)z--z, 79(2)323--339, 80(1)1--34, 83(1)131--155,
88(1)15--32, 89(1)179--206, 90(1)1--15, 90(1)209--233,
91(2)239--264, 94(1)1--35, 94(2)237--259, 94(2)311--334,
96(1)249--283, 96(2)285--304, 97(1)1--66, 100(2)365--383,
102(1)165--183, 103(2)191--204, 104(1)53--87, 104(1)89--107,
104(1)129--159, 106(1)3--20, 113(1)93--117, 113(2)259--272,
113(2)293--348, 114(1)3--30, 118(2)263--299, 119(1)173--185,
119(1)215--222, 122(1)137--164, 124(1)149--168, 125(1)131--147,
128(1)99--125, 128(1)127--157, 128(1)159--177, 128(1)179--210,
131(1)219--241, 133(2)307--340, 133(2)341--359
-
Soininen, Soisalon-, 120(2)197--213
-
Soisalon-Soininen, 120(2)197--213
-
solitaire, 102(2)329--354, 136(2)527--532
-
soliton, 74(2)163--181, 84(2)281--292
-
Soloviev, Sergei, 121(1)323--349
-
Soloviev, Sergei, see Longo, Giuseppe
-
solution, 74(3)329--340, 81(1)49--64, 91(1)57--69, 125(1)111--130,
127(2)313--332, 128(1)179--210, 129(1)1--38, 130(1)203--236,
131(1)121--138, 131(2)311--330, 133(1)23--33, 134(1)131--173
-
solvability, 72(2)119--131, 131(2)243--269
-
solvable, 74(1)3--18, 116(2)405--413
-
solvable, linear-time-, 110(1)215--245
-
solving, 72(2)119--131, 74(3)329--340, 112(1)145--185, 115(1)77--106,
116(2)291--303, 126(1)3--30, 133(1)165--185
-
solving, problem-, 92(1)49--76
-
Sontacchi, G., 73(1)1--46, 121(1)169--178
-
Sontacchi, G., see Jacopini, G.
-
Sontag, Eduardo D., 131(2)331--360
-
Sontag, Eduardo D., see Siegelmann, Hava T.
-
Sopena, E., 85(2)253--281
-
Sopena:1991:HRC, 85(2)253--281
-
sort, 70(3)277--303, 124(1)149--168
-
sorted, 72(2)133--146, 88(1)33--57, 89(1)3--32, 93(2)201--225,
105(2)217--273
-
sorted, 2-, 70(1)127--150
-
sorted, Category-, 77(1)73--95
-
sorted, category-, 77(1)73--95
-
sorted, many-, 77(1)161--194, 83(1)3--28, 89(1)3--32,
94(1)1--35, 94(1)101--124, 100(2)267--302, 105(2)217--273
-
sorted, Order-, 89(1)3--32
-
sorted, order-, 72(2)169--202, 72(2)z--z, 73(2)177--211,
89(1)3--32, 94(1)1--35, 105(1)141--166, 105(2)217--273,
112(1)145--185
-
sorting, 74(2)183--197, 76(2)331--341, 82(1)113--129, 82(1)157--163,
83(2)275--285, 89(1)3--32, 103(1)137--141, 106(2)265--281,
117(1)303--313, 118(1)81--98, 129(2)293--307, 134(2)559--565
-
SOS, 75(3)223--262
-
Sound, 122(1)97--117
-
soundness, 71(1)155--174, 74(1)37--69, 77(1)73--95, 81(2)223--235,
86(1)35--79, 94(1)101--124, 95(1)75--95, 104(1)109--128,
105(2)167--215, 109(1)7--48, 122(1)97--117, 128(1)127--157,
129(1)143--166, 131(1)121--138, 135(1)11--65
-
source, 81(2)305--310, 84(2)151--164, 119(2)331--343, 133(2)421--442,
134(1)63--78
-
sousgroupes, 117(1)243--253
-
Soviet, 119(1)z--z
-
Soviet, French-, 71(2)z--z
-
Spaccamela, A. Marchetti, 95(2)245--261
-
Spaccamela, A. Marchetti, see Ausiello, G.
-
Spaccamela, Alberto, Marchetti-, 108(2)371--384, 116(2)359--371
-
space, 70(1)159--178, 70(2)233--250, 71(3)347--380, 73(1)1--46,
74(1)115--119, 74(2)183--197, 74(3)273--298, 75(1)15--43,
75(1)85--110, 76(2)179--222, 77(3)221--235, 80(2)289--302,
82(1)1--18, 82(1)165--176, 85(2)353--357, 86(1)3--33, 87(1)1--24,
87(1)43--80, 88(1)83--98, 91(1)1--21, 92(1)3--17, 92(1)33--47,
92(1)87--105, 93(1)143--157, 93(2)201--225, 94(2)175--197,
95(2)231--244, 95(2)245--261, 96(1)157--174, 96(1)z--z,
96(2)411--419, 97(2)183--198, 99(1)121--140, 101(1)99--132,
101(2)239--263, 103(2)283--309, 110(1)99--129, 111(1)89--101,
111(1)103--123, 111(1)191--210, 111(1)z--z, 113(2)191--210,
114(2)273--298, 119(1)63--102, 123(1)139--144, 124(1)1--40,
124(2)195--219, 124(2)343--350, 125(2)295--313, 125(2)345--353,
125(2)355--360, 127(1)171--179, 127(2)199--228, 129(2)397--406,
130(1)85--99, 130(1)203--236, 132(1)319--336, 133(1)49--64,
134(1)131--173, 134(2)529--536, 135(2)171--220
-
space, linear-, 92(1)3--17, 92(1)z--z
-
space, log-, 77(3)221--235, 79(1)25--35, 96(2)305--324,
107(1)3--30
-
space, logarithmic-, 107(1)3--30
-
space, Time-, 110(1)99--129
-
space, time-, 92(1)33--47, 107(1)121--133, 110(1)99--129,
113(1)55--73, 132(1)435--444
-
space-bounded, 86(2)267--275, 96(2)411--419, 99(2)243--264,
101(1)99--132, 107(1)135--144, 127(1)171--179
-
space-efficient, 120(2)311--315
-
space-model, 73(1)1--46
-
space/time, 106(1)21--60
-
spanning, 106(2)265--281, 136(2)291--332
-
spanning, *-, 74(2)217--225
-
spare, 128(1)241--252
-
Sparmann, U., 84(2)225--250
-
Sparmann, U., see Becker, B.
-
sparse, 82(1)51--69, 84(2)151--164, 86(2)325--342, 88(1)1--14,
92(1)165--179, 93(2)265--277, 97(2)199--215, 99(2)279--290,
112(2)255--275, 134(2)263--285
-
sparse, co-, 81(2)189--199
-
sparse, k-, 84(2)151--164
-
sparsity, 92(1)49--76
-
spatial, 130(1)139--161, 133(2)361--385
-
special, 77(1)97--129, 92(1)1--z, 122(1)1--z, 130(1)5--16
-
species, 117(1)131--136
-
specifiability, 85(1)97--116
-
specific, 107(1)31--61
-
specification-oriented, 131(1)219--241
-
specifications, sub-, 88(1)15--32
-
specified, 72(2)265--288, 77(1)195--219
-
spectra, 82(2)329--339, 94(2)161--174, 124(2)221--272
-
spectral, 125(1)91--109
-
spectrum, 82(2)329--339, 94(2)161--174, 119(1)173--185
-
spectrum, wide-, 131(1)219--241
-
speed, 112(2)399--412, 129(2)279--291
-
speed-independent, 86(2)343--364
-
speed-up, 101(1)59--98, 118(1)49--65, 132(1)387--394
-
speedup, 95(2)323--337, 134(2)427--453
-
Spehner, J.-C., 77(3)331--343, 86(2)205--232, 134(1)209--223
-
Spehner, J.-C., see Elbaz, M.
-
Spehner:1991:MMP, 86(2)205--232
-
Spehner:1994:BBC, 134(1)209--223
-
Spencer, J., 95(2)307--321, 131(2)415--429
-
Spencer:1992:USG, 95(2)307--321
-
Spencer:1994:RDA, 131(2)415--429
-
Sperner, 81(2)317--324
-
spheres, 117(1)91--98
-
spherical, 119(2)331--343
-
Spies, Klaus, Ambos-, 132(1)229--241
-
Spirakis, P., 128(1)63--74
-
Spirakis, P., see Garofalakis, J.
-
spiral, 102(2)329--354
-
split, 106(2)309--326, 109(1)83--122
-
splitting, 77(3)321--330
-
Sportelli, T., 108(2)251--270
-
Sportelli, T., see Madonia, M.
-
Sprague-Grundy, 75(3)311--333
-
Sprenger, M., 110(2)419--432
-
Sprenger:1993:HDL, 110(2)419--432
-
Sprugnoli, R., 127(2)333--350
-
Sprugnoli, R., see Barcucci, E.
-
squad, 91(1)57--69, 127(2)313--332
-
square, 84(1)127--150, 88(1)59--82, 95(2)187--205, 125(2)295--313,
129(1)187--192
-
square-free, 72(1)39--53, 81(1)147--153
-
squared, 82(1)157--163
-
Squier, Craig C., 131(2)271--294
-
Squier:1994:FCR, 131(2)271--294
-
Sreedhar, Vugranam, 107(2)333--347
-
Sreedhar:1993:CSR, 107(2)333--347
-
Srikant, R., 115(2)351--357
-
Srikant:1993:OPC, 115(2)351--357
-
Srinivas, Yellamraju V., 112(1)53--97
-
Srinivas:1993:STA, 112(1)53--97
-
Srinivasan, A., 91(1)1--21
-
Srinivasan:1991:EAM, 91(1)1--21
-
st-graphs, 119(2)331--343
-
stability, 80(1)117--120, 85(2)353--357, 89(2)207--343, 106(2)243--264,
108(2)237--249, 111(1)89--101
-
stability, network-, 130(1)203--236
-
stability, Z-, 108(2)237--249
-
stable, 93(1)143--157, 103(2)365--386, 105(1)7--25, 111(1)89--101,
111(1)103--123, 111(1)z--z, 127(2)255--267, 136(1)21--56
-
stack, 88(1)117--125, 104(2)299--312, 113(1)75--91, 117(1)217--226,
117(1)303--313, 119(1)63--102, 119(2)233--245, 124(2)273--295
-
stack-counter, multi-, 108(2)393--400
-
staged, 102(2)329--354
-
standard, 82(2)373--388, 83(2)237--248, 96(1)73--155, 102(2)329--354,
108(1)151--171, 108(2)331--344, 117(1)187--198, 117(1)243--253,
117(1)255--272, 120(2)197--213, 129(2)309--321, 129(2)407--417,
130(1)17--47
-
standard-path, 102(2)329--354
-
standardisation, 129(1)143--166
-
standardising, 129(1)143--166
-
standardization, 103(2)235--271
-
Staples, J., 91(2)129--179
-
Staples, J., see Kearney, P.
-
star, 76(2)273--284, 79(1)3--24, 79(1)137--150, 88(2)351--363,
91(1)85--100, 97(2)217--231, 106(2)265--281, 106(2)327--335,
120(2)197--213, 131(2)311--330, 132(1)71--84
-
star-discrepancy, 123(1)61--87
-
star-free, 83(2)301--312, 97(2)301--311, 104(2)161--183
-
star-normal, 120(2)197--213
-
start, 130(1)5--16
-
starting, 129(2)293--307
-
state, 76(2)285--308, 80(1)77--104, 82(2)253--284, 82(2)285--302,
84(2)281--292, 86(2)365--375, 87(1)43--80, 96(1)157--174, 96(1)z--z,
96(2)411--419, 101(2)161--176, 101(2)289--335, 103(2)191--204,
103(2)235--271, 113(1)93--117, 114(1)93--118, 119(2)267--291,
125(1)111--130, 125(2)315--328, 127(2)313--332, 129(2)323--336,
133(2)205--265, 134(1)225--251, 135(2)377--404
-
state, finite-, 72(2)265--288, 83(2)287--300, 85(1)53--74,
92(2)249--268, 106(1)135--181, 106(2)283--308, 108(1)83--102,
110(1)1--51, 113(1)93--117, 129(2)323--336, 134(1)225--251,
134(2)329--363
-
state, minimal-, 100(2)267--302
-
state, Seven-, 127(2)313--332
-
state, steady-, 125(1)61--90
-
state-labelled, 114(1)63--91
-
state-oriented, 89(1)179--206, 104(1)53--87
-
state-transition, 101(2)289--335, 126(2)183--235
-
Statecharts, 101(2)289--335
-
statements, 80(2)319--335, 82(2)215--252, 97(1)67--81
-
static, 76(1)53--91, 90(1)95--118, 95(1)1--42, 95(1)43--74,
118(2)231--262, 124(1)127--148, 125(1)17--43, 131(2)295--310,
136(1)217--242
-
station, two-, 125(1)111--130
-
stationary, 82(1)151--155, 88(2)365--384, 92(1)19--31, 106(2)243--264
-
stations, 100(1)105--135
-
statistic, 117(1)3--22, 117(1)99--112, 117(1)243--253, 123(1)139--144,
128(1)211--239
-
statistical, 72(2)147--167, 123(1)167--181
-
Statman, 103(2)387--394
-
Statman, Rick, 121(1)441--448
-
Statman:1993:SEN, 121(1)441--448
-
status, 105(1)129--140, 120(1)69--81
-
steady-state, 125(1)61--90
-
Stefanekova, I., 88(2)297--311
-
Stefanekova, I., see Bebjak, A.
-
Stefanescu, Gh, 99(1)1--63
-
Stefanescu, Gh., see Cazanescu, V.-E.
-
Steffen, B., 80(2)303--318
-
Steffen:1991:FCC, 80(2)303--318
-
Steinby, Magnus, 129(2)337--367
-
Steinby, Magnus, see Knuutila, Timo
-
step, 77(1)27--71, 79(2)275--294, 120(2)197--213
-
Stephen, Joseph B., 132(1)243--258
-
Stephen, Joseph B., see Birget, Jean-Camille
-
stepwise, 100(2)325--346
-
Stetsenko, Vladimir, 136(2)419--469
-
Stetsenko:1994:ABB, 136(2)419--469
-
Stewart, Iain A., 118(2)193--229
-
Stewart:1993:MPC, 118(2)193--229
-
Steyaert, J.-M., 74(3)273--298
-
Steyaert, J.-M., see Casas, R.
-
Stickel, Mark E., 104(1)109--128
-
Stickel:1992:PTT, 104(1)109--128
-
Stidham, Jr., S., 106(2)243--264
-
Stidham, Jr., S., see El-Taha, M.
-
Stiefel-Whitney, 117(1)289--301
-
Stillman, J., 81(2)169--187
-
Stillman, J., see Kapur, D.
-
Stirling, 117(1)113--130
-
Stirling, C., 89(1)161--177, 96(1)157--174
-
Stirling, C., see Bradfield, J.
-
Stirling:1991:LMC, 89(1)161--177
-
stochastic, 73(1)91--100, 88(2)269--285, 107(1)135--144, 125(1)3--16,
129(2)279--291, 134(2)455--471
-
Stockmeyer, Larry, 130(1)175--201
-
Stockmeyer, Larry, see Alon, Noga
-
Stoltenberg-Hanssen, V., 87(1)1--24
-
Stoltenberg-Hanssen:1991:AFP, 87(1)1--24
-
Stone, 103(2)311--334
-
storage, 71(1)3--28, 81(2)201--221, 92(1)87--105, 100(1)1--44,
111(1)3--57, 116(2)421--429, 120(2)311--315, 123(2)415--426,
128(1)3--30, 128(1)211--239, 129(1)79--94, 130(1)85--99,
131(1)29--94, 133(2)421--442
-
store, 109(1)225--256
-
Stoughton, A., 79(2)357--358
-
Stoughton:1991:IPO, 79(2)357--358
-
straight, 115(2)291--319, 131(2)361--374
-
straight-line, 115(2)291--319
-
strategy, 72(2)133--146, 72(2)225--249, 72(2)z--z, 74(2)183--197,
78(1)245--259, 87(1)221--228, 98(2)263--287, 98(2)347--356,
106(2)309--326, 108(2)311--329, 108(2)371--384, 116(1)195--226,
119(2)355--361, 123(2)341--349, 125(1)91--109, 126(2)281--292,
128(1)211--239, 129(2)385--396, 130(1)17--47, 131(2)415--429,
134(1)119--130, 135(1)11--65
-
stratifiability, 105(1)7--25
-
stratifiable, 78(1)85--112
-
stratification, 84(1)77--105, 103(2)205--234, 110(2)377--403,
118(2)263--299
-
stratified, 86(1)107--139, 86(1)z--z, 101(1)143--158, 103(2)205--234,
120(1)83--99, 131(1)95--120
-
Straubing, 123(2)239--258
-
Straubing, H., 104(2)161--183
-
Straubing:1992:CCD, 104(2)161--183
-
Strawn, G. O., 84(2)293--311
-
Strawn, G. O., see Baldwin, W. A.
-
stream, 85(2)333--351, 122(1)119--136, 125(1)91--109
-
stream-based, 122(1)137--164
-
stream-generating, 71(2)193--208
-
Strecker, George E., 136(1)79--107
-
Strecker, George E., see Melton, Austin
-
Streicher, Thomas, 103(2)395--408
-
Streicher:1992:IIP, 103(2)395--408
-
strength, 80(2)125--151, 86(1)35--79, 88(1)1--14, 123(2)407--413
-
strengthening, 97(1)175--181
-
strict, 87(1)189--202, 102(1)135--163
-
strict, I-, 119(1)103--125
-
strict, semi-, 97(1)143--156
-
strictly, 79(2)341--355
-
strictness, 97(1)143--156, 101(2)177--221, 105(1)7--25, 121(1)113--143
-
string, 73(3)319--328, 73(3)329--333, 78(2)363--376, 81(2)189--199,
82(1)35--49, 83(2)287--300, 84(2)293--311, 86(2)325--342,
88(1)59--82, 92(1)3--17, 92(1)19--31, 92(1)87--105, 92(1)107--117,
92(1)145--164, 92(1)165--179, 92(1)191--211, 92(1)z--z,
92(2)249--268, 93(2)265--277, 107(1)121--133, 107(2)333--347,
112(2)383--390, 119(2)247--265, 119(2)363--371, 126(1)77--96,
129(2)293--307, 129(2)337--367, 131(2)295--310, 134(2)473--491,
135(2)345--359
-
string-based, 91(2)285--313
-
string-matching, 92(1)33--47, 92(1)77--86, 92(1)107--117, 92(1)145--164,
92(1)191--211, 112(1)53--97
-
string-rewriting, 113(1)119--165, 134(1)175--188
-
strings, bit-, 82(1)35--49
-
stripe, 73(3)295--311, 81(2)289--294, 104(2)185--206
-
Stromquist, Walter, 119(2)311--321
-
Stromquist:1993:SCC, 119(2)311--321
-
strong, 73(3)313--317, 80(2)263--288, 83(1)3--28, 88(1)1--14,
94(1)101--124, 95(2)263--277, 99(1)121--140, 102(2)215--252,
104(2)263--283, 105(1)7--25, 107(2)333--347, 108(1)173--183,
111(1)125--143, 111(1)z--z
-
stronger, 75(1)139--156, 75(1)z--z, 91(1)101--117
-
strongly, 76(1)143--177, 84(2)281--292, 93(1)43--74, 94(1)101--124,
103(2)283--309, 110(2)419--432, 111(1)125--143, 120(2)197--213,
122(1)201--223
-
strongly, R-, 95(2)263--277
-
strongly, R-, 95(2)263--277
-
structors, 115(1)107--129
-
structural, 71(1)79--93, 71(2)241--264, 76(2)223--242, 82(1)131--139,
82(2)403--408, 93(2)185--199, 96(1)73--155, 109(1)257--274,
110(1)145--168, 113(2)349--370, 114(1)93--118, 115(1)107--129,
122(1)137--164, 129(2)279--291, 132(1)337--345, 135(2)377--404
-
structure, k-, 132(1)209--227
-
structured, 73(2)155--175, 80(1)1--34, 95(1)43--74, 103(1)51--106,
109(1)145--180, 131(1)219--241
-
structures, 2-, 70(3)277--303, 70(3)305--342, 70(3)343--358,
92(2)227--248, 116(2)227--290, 127(2)387--393, 129(2)207--262,
132(1)151--178, 132(1)209--227
-
Structures, -, 116(2)227--290
-
structures, event-, 135(2)171--220
-
structures, R-, 114(2)201--229
-
structures, T-, 116(2)227--290
-
structuring, 77(1)27--71, 95(1)43--74
-
Stuckey, Peter J., 105(1)27--56
-
Stuckey, Peter J., see Kanchanasut, Kanchana
-
studied, 120(2)197--213
-
study, 94(2)373--393, 99(1)1--63, 100(1)137--156, 113(2)371--375,
125(2)329--337
-
studying, 75(1)157--215
-
Sturmian, 71(3)381--400, 82(1)71--84, 88(2)365--384, 136(2)361--385
-
Sturtivant, C., 93(2)303--319
-
Sturtivant, C., see Boyar, J.
-
Sturtivant, Carl, 112(2)291--309
-
Sturtivant:1993:CEF, 112(2)291--309
-
style, 75(3)223--262, 97(2)263--284, 100(1)243--251, 118(1)21--48,
131(1)181--195, 136(1)217--242
-
style, greedy-, 134(2)473--491
-
style, Plotkin-, 118(2)263--299
-
styles, 89(1)179--206
-
/sub, 80(1)35--51, 87(2)229--249, 119(1)223--232, 123(2)315--327
-
sub-division, 98(1)79--97
-
sub-groups, 117(1)243--253
-
sub-monoid, 98(1)79--97
-
sub-specifications, 88(1)15--32
-
Subbiah, Rajanarayanan, 120(2)261--278
-
Subbiah:1993:ODA, 120(2)261--278
-
subcategory, 70(2)233--250, 118(2)301--314
-
subclasses, 70(3)277--303, 74(3)325--328, 126(2)183--235
-
subcomputation, 109(1)145--180
-
subdirect, 100(1)137--156
-
subdivision, 74(1)95--114
-
subexponential-time, 115(2)371--381
-
subexpressions, 93(1)91--113
-
subfamily, 76(2)243--250, 76(2)273--284
-
subgraph, 88(1)33--57
-
sublinear, 106(2)361--371
-
submodule, 117(1)255--272
-
submonoid, 73(3)329--333, 86(2)233--241, 106(1)135--181, 108(2)237--249,
134(1)209--223, 134(2)537--544
-
subproblems, 129(2)293--307
-
subprocedure, 132(1)403--414
-
Subrahmanian, V. S., 93(1)115--141, 103(2)365--386
-
Subrahmanian, V. S., see Marek, W.
-
Subrahmanian:1992:PDD, 93(1)115--141
-
Subramanian, K. G., 106(2)373--383
-
Subramanian, Sairam, 130(1)203--236
-
Subramanian, Sairam, see Miltersen, Peter Bro
-
Subramanian:1992:LT, 106(2)373--383
-
subsequence, 78(2)363--376, 82(1)35--49, 92(1)3--17, 92(1)z--z,
119(2)267--291
-
subsequential, 106(2)183--219, 134(2)403--413
-
subset, 93(2)169--183, 94(1)63--69, 96(2)325--344, 98(1)5--13,
98(1)137--161, 99(2)231--241, 102(1)1--134, 106(2)221--241,
111(1)191--210, 125(2)167--204, 129(2)385--396, 129(2)397--406
-
subshift, 123(1)55--60
-
subsort, 89(1)3--32, 94(1)1--35
-
substitution, 70(1)3--34, 75(1)45--66, 75(1)139--156, 80(1)1--34,
81(2)169--187, 86(1)3--33, 86(2)277--323, 98(1)115--133,
99(2)327--z, 103(2)283--309, 107(2)209--252, 107(2)333--347,
117(1)113--130, 124(1)71--91, 124(1)93--125, 127(1)149--170,
127(1)181--186, 132(1)209--227, 132(1)243--258, 134(2)329--363
-
substitutional, 99(2)327--z
-
substring, 92(1)191--211, 94(2)161--174, 108(2)331--344, 119(2)247--265
-
subsumption, 103(2)283--309
-
subsystems, 123(1)167--181
-
subtasks, 73(2)177--211
-
subtrees, 108(2)345--356, 127(1)25--51, 127(2)199--228
-
subtypes, 73(2)155--175
-
subtyping, 83(1)29--56, 87(1)81--96
-
subvariety, 134(1)189--208
-
subword, 98(1)53--63, 98(1)z--z, 120(2)229--245
-
success, 86(1)3--33, 86(1)107--139, 101(2)239--263
-
successful, 79(1)151--162, 85(1)117--134, 134(1)225--251
-
successive, 74(1)19--35
-
successor, 93(2)169--183
-
succinctness, 127(2)351--386
-
Sudborough, I. H., 104(2)185--206
-
Sudborough, I. H., see Kim, Changwook
-
sufficient, 70(1)151--158, 70(2)179--192, 72(1)27--38, 83(1)71--96,
86(2)233--241, 88(2)269--285, 93(2)185--199, 93(2)279--301,
94(1)1--35, 94(1)101--124, 94(1)141--158, 95(2)307--321,
97(1)143--156, 100(1)157--184, 100(2)267--302, 103(1)39--49,
112(1)145--185, 113(1)93--117, 118(2)301--314, 120(1)69--81,
129(1)123--142, 132(1)259--290
-
suffix, 92(1)119--144, 112(2)383--390, 131(2)295--310, 134(2)403--413
-
suffix-prefix, 132(1)403--414
-
suggested, 120(2)197--213
-
suites, 123(1)55--60
-
Sulimov, A. A., 119(1)173--185
-
Sulimov, A. A., see Nepomniaschy, V. A.
-
sum, 91(1)119--128, 94(2)295--310, 103(1)137--141, 108(2)385--391,
111(1)145--189, 123(2)291--314, 133(2)421--442
-
Sundaram, Ravi, 115(2)351--357
-
Sundaram, Ravi, see Srikant, R.
-
/sup, 114(2)231--245
-
super-increasing, 88(1)127--138
-
super-polynomial, 83(2)337--343
-
supercomputer, 90(1)17--36, 100(1)223--241
-
superfluous, 81(1)97--115
-
superlinear, 123(2)389--395
-
superpolynomial, 93(1)159--167
-
supersequence, 125(2)205--228
-
superset, 119(2)293--310
-
superstring, 125(2)205--228, 134(2)473--491
-
support, 73(2)213--230, 99(1)1--63, 117(1)131--136
-
supported, 103(2)365--386
-
surface, 120(1)1--44
-
Suri, Subhash, 130(1)139--161
-
Suri, Subhash, see Hershberger, John
-
surjections, 132(1)1--35
-
survey, 71(2)209--226, 78(1)3--83, 101(1)99--132, 109(1)3--6,
121(1)279--308, 126(1)53--75
-
Suzuki, Ichiro, 135(2)377--404
-
Suzuki, Ichiro, see Li, Jianan
-
Svrtan, Dragutin, 117(1)289--301
-
Svrtan:1993:NPO, 117(1)289--301
-
switch, 125(1)61--90
-
switch-level, 86(2)343--364
-
switching, 73(1)61--79, 74(2)163--181, 78(2)357--362, 81(2)237--256,
81(2)257--268, 84(2)281--292, 86(2)343--364, 88(1)1--14,
90(1)235--251, 93(2)303--319, 95(2)207--229, 97(2)285--300,
102(2)307--328, 102(2)329--354, 106(2)385--390, 108(2)291--310,
125(2)373--383, 128(1)31--62, 128(1)63--74, 132(1)37--70,
135(2)405--422
-
switching, circuit-, 125(1)61--90
-
Sykora, O., 82(1)157--163
-
Sykora, O., see Palko, V.
-
Sýkora, Ondrej, 112(2)419--420
-
Sykora:1993:ESG, 112(2)419--420
-
symbol, 72(2)203--223, 79(1)37--109, 79(1)111--135, 79(1)163--177,
79(1)195--207, 79(1)241--256, 85(1)97--116, 92(1)19--31,
94(2)223--236, 104(1)3--28, 104(1)89--107, 107(2)277--303,
110(1)169--196, 113(1)3--34, 117(1)131--136, 118(2)167--191,
119(1)3--22, 123(1)61--87, 123(1)117--130, 124(1)71--91,
124(2)221--272, 124(2)297--328, 131(1)1--28, 134(1)63--78
-
symbol, one-, 110(1)53--78
-
symbolic, 79(1)163--177, 79(1)195--207, 79(1)209--226, 94(2)223--236,
94(2)335--356, 94(2)367--371, 104(1)89--107, 110(1)169--196,
113(1)3--34, 117(1)131--136, 123(1)61--87, 134(1)131--173
-
symbolically, 116(2)291--303
-
symbolique, 117(1)131--136
-
symétrie, 117(1)3--22
-
symétrique, 117(1)243--253
-
symmetric, 72(1)39--53, 80(2)337--345, 87(1)163--188, 88(1)59--82,
92(2)227--248, 98(1)115--133, 100(1)253--265, 115(2)371--381,
117(1)113--130, 117(1)289--301, 120(2)279--291
-
symmetrical, 117(1)243--253
-
symmetry, 74(3)313--323, 80(2)227--262, 108(1)83--102, 117(1)3--22,
125(1)149--165
-
Symposium, 119(1)z--z
-
Syn, 90(1)209--233
-
synchronisation, 77(1)97--129, 90(1)171--184, 91(1)57--69,
96(2)411--419, 115(2)261--275, 127(2)313--332, 128(1)63--74,
132(1)319--336, 134(1)87--105
-
synchronised, 115(2)261--275
-
synchronization, 76(2)285--308, 77(1)97--129, 87(1)43--80,
90(1)171--184, 91(1)57--69, 96(2)411--419, 115(2)261--275,
127(2)313--332, 128(1)63--74, 132(1)319--336, 134(1)87--105
-
synchronized, 76(2)285--308, 96(2)411--419, 99(2)243--264, 108(1)45--82,
108(2)393--400, 115(2)261--275, 127(1)25--51, 132(1)319--336,
134(1)87--105
-
synchronized, equality-, 127(1)25--51
-
synchronizers, 128(1)63--74
-
synchronizing, 91(1)57--69, 102(2)253--281
-
synchronous, 85(1)155--170, 94(1)125--140, 96(2)285--304,
100(2)325--346, 128(1)3--30, 128(1)63--74, 128(1)159--177
-
synchrony, 95(1)169--185
-
syntactic, 71(3)281--346, 73(2)155--175, 73(2)231--248, 75(1)157--215,
77(3)237--247, 93(1)1--41, 96(2)325--344, 100(1)45--66,
101(2)265--288, 103(2)235--271, 104(2)161--183, 127(1)1--23,
129(2)337--367, 134(1)189--208
-
syntactical, 72(2)133--146, 119(1)39--62, 125(2)361--371
-
syntax, 71(2)177--191, 77(1)5--26, 77(1)195--219, 77(1)z--z,
82(1)131--139, 88(2)191--229, 90(1)209--233, 97(1)1--66,
111(1)211--252, 119(1)215--222
-
syntax-directed, 108(2)185--236
-
synthesis, 71(1)47--77, 71(2)227--239, 71(2)241--264, 71(2)z--z,
86(2)343--364, 90(2)309--353, 112(1)145--185, 116(2)317--337,
122(1)69--96, 122(1)119--136, 135(2)319--343
-
system, NUT-, 71(2)241--264
-
Systèmes, 94(2)223--236
-
systems, c-, 71(3)281--346
-
systolic, 71(1)47--77, 76(2)331--341, 83(2)249--260, 95(2)207--229,
116(2)317--337
-
Szalas, A., 79(2)341--355
-
Szalas:1991:SAC, 79(2)341--355
-
Szczepanska, D., 80(2)319--335
-
Szczepanska:1991:HLV, 80(2)319--335
-
Szegedy, Mario, 130(1)163--174
-
Szegedy, Mario, see Halldórsson, Magnus M.
-
Szemeredi, E., 74(3)313--323
-
Szemeredi, E., see Babai, L.
-
Szepietowski, A., 74(1)115--119
-
Szepietowski:1990:IDN, 74(1)115--119
-
Szpankowski, W., 85(1)117--134
-
Szpankowski, Wojciech, 106(2)395--400
-
Szpankowski, Wojciech, see Kirschenhofer, Peter
-
Szpankowski:1991:CDS, 85(1)117--134
-
Szwast, W., 82(2)329--339
-
Szwast:1991:HS, 82(2)329--339
-
Szymacha, T., 71(3)419--424
-
Szymacha, T., see Chrobak, M.
-
Szymanski, J., 74(3)355--361
-
Szymanski:1990:CAR, 74(3)355--361