Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
S
-
Sabbadin, Régis, 37(1)1--30, see Dubois, Didier
-
Safe, 37(3)247--268
-
Sakai, Hiroshi, 19(3)223--234
-
Sakai:1993:FLP, 19(3)223--234
-
Salibra, Antonino, 32(1)47--90, 33(2)149--200
-
Salibra, Antonino, see Pigozzi, Don
-
Salomaa, Arto, 19(3)355--370, 25(3)215--215, 25(3)381--397
-
Salomaa, Arto, see Kari, Lila,
see P{\u{a}}un, Gheorghe,
see Rozenberg, Grzegorz
-
Salomaa, K., 25(3)423--436, 29(4)305--324
-
Salomaa, K., see Ehrenfeucht, A., \see{Guo, L.
-
Salomaa, Kai, 36(1)57--69
-
Salomaa, Kai, see Rahonis, George
-
Salwicki, Andrzej, 28(1)141--152
-
Salwicki, Andrzej, see Mirkowska, Grazyna
-
Sassone, Vladimiro, 16(2)171--199
-
Sassone, Vladimiro, see Montanari, Ugo
-
Sastry, K. K. N., 37(1)121--136
-
Sastry:1999:DEB, 37(1)121--136
-
Satisfaction, 34(3)263--293
-
Satisfiability, 24(4)387--405, 28(1)165--182
-
SCCS, 32(1)27--45
-
Schaerf, Marco, 21(1)103--112, 23(1)123--143
-
Schaerf, Marco, see Cadoli, Marco
-
Scharff, Christelle, 39(1)145--165
-
Scharff, Christelle, see Lynch, Christopher
-
Schaub, Torsten, 21(1)39--66, 23(2)175--223
-
Schaub, Torsten, see Besnard, Philippe
-
Scheduling, 35(1)113--123, 40(2)199--219
-
scheme, 13(2)171--210
-
schemes, 29(4)305--324
-
Schettini, A., Maggiolo-, 13(2)141--170
-
Schettini, Andrea Maggiolo, 14(1)109--128
-
Schettini, Andrea, Maggiolo-, 31(3)305--335, 31(3)337--355,
40(2)221--250
-
Schettini:1991:CSU, 14(1)109--128
-
Schippers, C. A., 35(1)35--50
-
Schippers, C. A., see Eiben, A. E.
-
Schlatter, Dirk, 37(3)311--327
-
Schlatter, Dirk, see Popova-Zeugmann, Louchka
-
Schlechta, Karl, 28(3)377--402
-
Schlechta:1996:TSA, 28(3)377--402
-
Schmitt, Stephan, 39(1)59--83
-
Schmitt, Stephan, see Egly, Uwe
-
Schmitt, Vincent, 33(1)71--83
-
Schmitt:1998:CS, 33(1)71--83
-
Schoenauer, Marc, 35(1)125--162
-
Schoenauer, Marc, see Sebag, Michèle
-
Schürr, Andy, 26(3)363--385
-
Schurr:1996:LBP, 26(3)363--385
-
Schwarz, Grigori, 17(1)157--173
-
Schwarz:1992:RAL, 17(1)157--173
-
Schwind, Camilla, 21(1)89--101
-
Schwind:1994:MLH, 21(1)89--101
-
science, 32(1)1--25
-
Scott, 33(1)43--70
-
Search, 39(1)21--38
-
Search, Prune-And-, 22(4)353--370
-
Sebag, Michèle, 35(1)125--162
-
Sebag:1998:RME, 35(1)125--162
-
Second-Order, 20(4)277--285
-
Second-order, 39(3)305--325
-
Seda, Anthony Karel, 24(4)359--386, 29(1)97--117
-
Seda:1995:TSL, 24(4)359--386
-
Seda:1997:QMS, 29(1)97--117
-
Seeking, 30(3)283--297
-
Segerberg, Krister, 32(2)183--191
-
Segerberg:1997:PTB, 32(2)183--191
-
Selected, 21(3)161--162
-
Selection, 21(4)307--319, 35(1)17--33
-
Self-Adaptation, 35(1)51--66
-
semantic, 13(1)19--33, 13(2)141--170, 13(4)445--463, 14(1)109--128,
14(2)221--234, 16(1)1--38, 16(2)127--147, 16(3)201--229,
16(3)231--262, 20(1)3--34, 20(1)145--192, 21(1)39--66,
21(4)345--365, 22(1)117--152, 22(1)187--202, 22(3)227--255,
22(3)257--288, 24(1)89--105, 24(4)359--386, 24(4)407--415,
26(3)315--339, 27(1)77--100, 27(4)349--383, 28(1)87--100,
28(1)123--128, 28(1)153--164, 28(3)303--313, 29(1)27--50,
29(1)77--96, 29(1)97--117, 29(3)225--256, 29(4)305--324,
31(3)221--236, 31(3)253--294, 31(3)357--377, 32(1)27--45,
33(1)17--42, 34(1)1--31, 36(2)109--144, 37(3)247--268,
38(3)223--255, 40(1)31--51, 40(2)165--197, 40(2)285--316,
40(4)335--382
-
Semantically, 21(3)221--235
-
Semaphores, 40(4)407--422
-
Semi-{Dyck}, 29(1)1--26
-
Semi-{Horn}, 28(3)261--271
-
semigroup, 31(1)1--12
-
Seminormal, 40(1)79--102
-
Semiorders, 26(1)59--80
-
Sendra, J. Rafael, 39(1)211--228
-
Sendra:1999:ARR, 39(1)211--228
-
Sentences, 27(1)77--100, 28(3)247--259
-
separator, 22(4)309--329
-
sequence, 38(1)135--148
-
Sequent, 37(4)369--412
-
Sequential, 21(4)345--365, 30(3)269--281, 38(3)281--324
-
Seredy{\'n}ski, Franciszek, 35(1)211--230
-
Seredynski:1998:NTP, 35(1)211--230
-
serializability, 14(2)147--183
-
series, 21(4)367--389, 25(3)257--270, 32(3)341--348, 38(1)201--208
-
Serna, M. J., 24(3)283--302
-
Serna, M. J., see Gabarró, J.
-
set, 13(2)211--226, 13(3)245--262, 14(3)367--385, 16(3)355--370,
19(3)355--370, 19(3)417--431, 20(4)381--392, 25(2)99--121,
27(2)103--108, 27(2)109--136, 27(2)137--153, 27(2)155--168,
27(2)169--181, 27(2)205--219, 27(2)273--288, 28(3)211--221,
28(3)273--296, 28(3)353--376, 29(1)1--26, 30(3)345--358,
31(1)41--47, 31(3)213--220, 32(2)149--162, 36(2)201--234,
36(2)265--283, 37(1)71--87, 38(1)209--221, 38(3)281--324,
39(4)389--409, 40(4)383--405
-
Set, Interval-, 27(2)289--298
-
Set, Rough-, 27(2)229--243, 27(2)289--298
-
Setting, 30(3)269--281, 39(3)273--304
-
Shake, Hand-, 37(4)343--368
-
Shan, Ning, 30(3)373--382
-
Shan, Ning, see Ziarko, Wojciech
-
shape, 14(1)75--90
-
Shields, M. W., 40(2)285--316
-
Shields:1999:AVS, 40(2)285--316
-
Shift-Operations, 28(1)87--100
-
Shifts, 23(2)355--370
-
Short, 28(3)297--301
-
Siegel, Pierre, 21(1)89--101
-
Siegel, Pierre, see Schwind, Camilla
-
Siemens, Paul, 28(3)273--296
-
Siemens, Paul, see Green, John
-
signal, 28(3)347--352
-
Signed, 21(3)237--253, 32(3)349--357
-
Sikora, Rados{\l}aw, 34(4)441--453, 36(4)345--365,
see Skarbek, W{\l}adys{\l}aw
-
Sikora:1998:SAO, 34(4)441--453
-
Silent, 36(2)145--182
-
Simi, Maria, 23(2)149--173
-
Simi, Maria, see Attardi, Guiseppe
-
similarity, 24(3)251--257, 31(3)295--304, 37(1)71--87
-
simple, 17(4)369--397, 33(4)339--368, 36(4)367--413
-
Simplification, 24(1)47--87, 39(1)145--165
-
Simulation, 36(4)317--336, 38(1)79--91
-
Simultaneous, 20(4)285--332
-
Sinha, Sitabhra, 37(1)31--50
-
Sinha:1999:CDI, 37(1)31--50
-
Sitaraman, Ramesh K., 16(3)355--370
-
Sitaraman, Ramesh K., see Gasarch, William I.
-
Size, 36(1)57--69
-
Skandalis, Kostas, 20(4)381--392
-
Skandalis:1994:CIS, 20(4)381--392
-
Skarbek, W{\l}adys{\l}aw, 28(3)347--352, 32(3)359--371, 34(4)429--440,
34(4)441--453, 34(4)z--z, 36(4)345--365,
see Sikora, Rados{\l}aw
-
Skarbek:1996:DBS, 28(3)347--352
-
Skarbek:1997:RIC, 32(3)359--371
-
Skarbek:1998:AFO, 34(4)429--440
-
Skarbek:1998:MOR, 36(4)345--365
-
Skarbek:1998:PSI, 34(4)z--z
-
Skew, 39(4)375--387
-
Skolemization, 20(4)353--379
-
Skordev, Dimiter, 31(2)195--212
-
Skordev:1997:AAS, 31(2)195--212
-
Skowron, A., 13(3)245--262
-
Skowron, Andrzej, 27(2)101--102, 27(2)245--253, 27(2)255--271,
28(1)z--z, 28(3)315--330, 28(3)z--z, 30(3)345--358, 32(2)149--162
-
Skowron, Andrzej, see Marek, Wiktor,
see P{\u{a}}un, Gheorghe
-
Skowron:1990:RST, 13(3)245--262
-
Skowron:1996:AMM, 27(2)255--271
-
Skowron:1996:P, 27(2)101--102
-
Skowron:1996:TAS, 27(2)245--253
-
Skowron:1997:DAS, 30(3)345--358
-
Skyum, Sven, 38(1)25--37
-
Skyum:1999:CIL, 38(1)25--37
-
Slender, 31(1)41--47
-
Slowi{\'n}ski, Roman, 27(2)229--243
-
Slowinski:1996:RSR, 27(2)229--243
-
Small, 31(2)185--193
-
Smith, Carl H., 16(3)355--370, 19(3)383--402, 23(1)67--89, 40(1)1--16
-
Smith, Carl H., see Ambainis, Andris,
see Amir, Amihood,
see Gasarch, William I.
-
Smith, J. D. H., 13(3)263--274
-
Smith, J. D. H., see Romanowska, A. B.
-
Smith, P. M., Melliar-, 21(4)257--305, 24(4)313--331
-
Smyth, 26(2)133--139
-
Snack, 31(1)65--77
-
Snoeyink, Jack, 22(4)353--370
-
Snoeyink, Jack, see Kirkpatrick, David
-
Soft, 37(1)101--119, 37(1)z--z
-
SoleX, 39(1)167--187
-
Solitaire, 38(1)181--188
-
solution, 23(2)247--262, 32(3)267--280
-
Solve, 37(3)247--268
-
Solver, 34(3)263--293, 39(1)167--187
-
Solving, 38(1)135--148
-
Son, Nguyen Hung, 34(1)145--174
-
Son:1998:OHO, 34(1)145--174
-
Sopena, Eric, 27(1)1--25
-
Sopena:1996:EGR, 27(1)1--25
-
Soundness, 21(4)257--305
-
source, 23(2)303--353
-
space, 16(3)275--287, 22(4)331--352, 27(2)245--253, 29(4)369--382,
37(4)369--412, 38(3)281--324
-
Sparmann, Uwe, 14(2)185--219
-
Sparmann, Uwe, see Becker, Bernd
-
Sparse, 28(3)297--301
-
spatial, 28(3)347--352, 39(3)229--248
-
Special, 21(1)1--5, 34(4)z--z, 37(1)z--z
-
Specific, 32(3)373--392
-
specification, 13(2)85--139, 16(2)101--126, 24(3)209--250,
24(4)333--357, 26(3)407--431, 28(1)141--152, 29(1)77--96,
39(1)39--57, 39(1)189--209, 39(3)305--325
-
Spilker, Heike, 26(1)23--30
-
Spilker:1996:SUR, 26(1)23--30
-
Spoken, 23(2)303--353
-
Spyratos, Nicolas, 36(2)109--144
-
Spyratos, Nicolas, see Analyti, Anastasia
-
Square, 20(1)75--111
-
Stability, 34(4)441--453
-
stable, 13(4)445--463, 17(4)319--331, 28(1)123--128, 32(2)163--181,
37(3)247--268, 38(3)281--324, 40(1)31--51
-
Stachniak, Z., 13(3)333--351
-
Stachniak, Zbigniew, 14(1)129--146
-
Stachniak:1990:RDS, 13(3)333--351
-
Stachniak:1991:MRP, 14(1)129--146
-
Stack, 36(1)57--69
-
Stage, Two-, 28(3)377--402
-
Stalnaker, Robert, 21(1)7--21
-
Stalnaker:1994:WNC, 21(1)7--21
-
Standards, 34(4)347--367
-
Stark, Eugene W., 22(1)167--185
-
Stark, Ian, 33(4)369--396
-
Stark:1995:ADN, 22(1)167--185
-
Stark:1998:NER, 33(4)369--396
-
Starke, Peter, 37(3)z--z
-
Starke, Peter, see Burkhard, Hans-Dieter
-
state, 23(1)33--65, 25(3)399--422, 34(1)33--51
-
Static, 29(3)257--303
-
Stationary, 21(1)67--87
-
Statistical, 30(3)227--240
-
{\c{S}}tef{\u{a}}nescu, Gh., 27(1)37--56,
see Bergstra, J. A.
-
Stef{\u{a}}nescu, Gheorghe, 13(2)171--210,
see C{\u{a}}z{\u{a}}nescu, V. E.
-
Stefanowski, Jerzy, 27(2)229--243
-
Stefanowski, Jerzy, see Slowi{\'n}ski, Roman
-
Stein, Lynn Andrea, 21(1)23--38
-
Stein, Lynn Andrea, see Boddy, Mark
-
Steinbach, Joachim, 24(1)47--87
-
Steinbach:1995:SOH, 24(1)47--87
-
Steinby, M., 38(1)51--60
-
Steinby, M., see Bogdanovi{\'c}, S.
-
Step, 20(4)277--285
-
Stepaniuk, Jaroslaw, 14(1)91--108, 27(2)245--253, 36(2)265--283
-
Stepaniuk, Jaroslaw, see Skowron, Andrzej
-
Stepaniuk:1991:AFM, 14(1)91--108
-
Stepaniuk:1998:ORS, 36(2)265--283
-
Stephens, R., 25(2)123--174
-
Stephens:1996:CST, 25(2)123--174
-
Stevens, S. E., 35(1)231--245
-
Stevens, S. E., see Deaton, Russell
-
Stewart, Iain A., 23(1)91--100
-
Stewart:1995:RSC, 23(1)91--100
-
Stochastic, 36(2)285--305, 36(4)345--365
-
Stoeva, Stefka P., 14(3)301--312
-
Stoeva:1991:PFP, 14(3)301--312
-
Stopping, 35(1)91--111
-
strategy, 24(1)125--155, 34(3)263--293
-
Stratification, 21(4)333--344
-
stratified, 13(1)1--17, 13(1)19--33, 13(1)51--65, 14(3)339--343
-
Stream, 25(2)123--174
-
string, 24(1)25--46
-
Strong, 22(3)227--255
-
strongly, 13(3)333--351, 26(1)59--80
-
Structural, 20(1)193--229, 31(2)125--144, 32(3)281--297, 33(1)17--42
-
Structurally, 38(1)93--107
-
structure, 13(4)485--499, 14(1)39--74, 17(4)319--331, 19(3)417--431,
20(1)133--144, 25(3)327--352, 26(3)363--385, 27(1)57--76,
31(1)49--64, 33(1)1--16, 33(1)17--42, 33(2)121--148, 35(1)179--195,
37(4)343--368
-
Structured, 34(1)1--31
-
Structures, {CR}-, 33(1)71--83
-
study, 16(2)149--169, 25(2)99--121, 34(4)413--428
-
Studying, 33(1)85--103
-
Su, Kaile, 40(1)79--102
-
Su:1999:CES, 40(1)79--102
-
Subdirect, 38(1)51--60
-
Subgoal, 39(1)123--143
-
subgroup, 26(1)1--9
-
Submonoids, 36(4)337--343
-
Subrahmanian, V. S., 13(3)317--332, 13(4)465--483
-
Subrahmanian, V. S., see Hirani, A.
-
Subrahmanian:1990:LFR, 13(4)465--483
-
subset, 39(3)259--272
-
Substitution, 19(1)51--85, 27(1)27--36
-
Substitutivity, 32(2)107--120
-
subterm, 19(3)371--382
-
subtypes, 19(1)127--165
-
Subtyping, 33(4)309--338, 38(4)325--364
-
Subwords, 38(1)109--118
-
Suggested, 36(2)183--200
-
Suraj, Zbigniew, 28(3)353--376
-
Suraj:1996:DCD, 28(3)353--376
-
Suri, Subhash, 22(4)385--394
-
Suri, Subhash, see Alon, Noga
-
Survey, 30(3)345--358
-
Suspended, 34(3)203--224
-
Switching, 39(4)375--387
-
Symbolic, 25(1)39--48
-
Symmetries, 37(3)269--289
-
Symposium, 21(3)161--162
-
Synchronization, 25(3)423--436, 26(1)11--22, 34(1)103--128, 36(1)57--69,
38(4)397--410
-
Synchronous, 26(3)387--406, 40(2)221--250
-
syntactic, 15(3)333--356, 25(1)39--48, 27(1)77--100
-
syntax, 19(3)383--402, 28(1)23--36, 29(1)77--96
-
Synthesis, 27(2)169--181, 31(2)125--144, 39(1)59--83, 40(2)251--283
-
system, 13(2)211--226, 13(3)275--316, 14(1)1--38, 14(1)129--146,
14(2)235--253, 14(3)287--300, 14(3)301--312, 14(3)345--353,
15(3)381--397, 16(3)263--273, 16(3)289--336, 16(3)371--382,
19(3)275--301, 20(1)75--111, 22(3)217--226, 24(1)3--23,
24(1)125--155, 24(1)157--175, 24(3)251--257, 24(3)283--302,
24(4)333--357, 25(2)183--200, 26(1)23--30, 26(2)141--166,
26(3)315--339, 26(3)363--385, 27(1)1--25, 27(2)183--195,
27(2)221--227, 28(3)315--330, 28(3)331--346, 29(1)27--50,
29(1)119--133, 30(1)45--57, 30(3)241--254, 30(3)313--324,
30(3)325--344, 30(3)359--371, 30(3)383--399, 31(1)27--39,
31(2)185--193, 31(3)305--335, 31(3)357--377, 32(3)267--280,
32(3)341--348, 33(1)43--70, 33(4)397--432, 34(4)413--428,
35(1)197--209, 36(2)103--107, 36(4)367--413, 37(3)269--289,
37(3)291--309, 38(1)61--77, 38(4)365--375, 38(4)397--410,
39(1)39--57, 40(2)109--124, 40(2)251--283
-
Systolic, 29(4)325--339
-
Szalas, Andrzej, 26(1)81--94
-
Sza{\l}as, Andrzej, 28(3)261--271, 36(1)23--55, 40(1)17--30,
see Doherty, Patrick
-
Szalas:1996:NDF, 26(1)81--94
-
Szijarto, Miklos, 16(3)337--347
-
Szijarto, Miklos, see Paun, Gheorghe
-
Szpakowicz, Stan, 30(3)269--281
-
Szpakowicz, Stan, see Kersten, Gregory E.