Index file section S for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
S
-
S, 65(2)197--212
-
s, 47(3)277--298
-
S-communication, 57(1)97--111
-
S-TL, 35(1)43--53
-
Sacca, Domenico, 62(1)187--220
-
Sacca:1988:GCM, 62(1)187--220
-
Sack, Jorg-R. R., 66(2)181--203
-
Sack, Jorg-R. R., see Levcopoulos, Christos
-
Sado, K., 54(2)315--324
-
Sado:1987:FEC, 54(2)315--324
-
safe, 56(1)17--36
-
safety, 62(1)187--220
-
Sain, I., 35(2)345--348, 50(3)285--321, 66(3)299--321
-
Sain, I., see Makowsky, J. A.
-
Sain:1985:SPC, 35(2)345--348
-
Sain:1987:TCN, 50(3)285--321
-
Saito, Takashi, 63(2)223--237
-
Saito:1989:SBE, 63(2)223--237
-
Sakarovitch, J., 35(2)271--293, 52(1)59--75
-
Sakarovitch, J., see Pin, J.-E.
-
Sakarovitch:1987:RTL, 52(1)59--75
-
salesman, 66(2)157--180
-
Salomaa, A., 48(2)283--296
-
Salomaa, Kai, 62(3)267--287
-
Salomaa-Welzl, 48(2)283--296
-
Salomaa:1986:PKC, 48(2)283--296
-
Salomaa:1988:PRC, 62(3)267--287
-
Santoro, N., 53(2)345--352
-
Santoro:1987:GCV, 53(2)345--352
-
Saoudi, A., 43(2)315--335
-
Saoudi:1986:VAD, 43(2)315--335
-
Sardinas-Patterson, 38(1)123--132
-
Sassano, A., 54(2)237--247
-
Sassano, A., see Bertolazzi, P.
-
SAT, 47(1)85--93, 48(2)229--255
-
satisfiability, 38(2)343--347, 40(2)195--210, 52(1)145--153,
61(2)307--316, 67(2)303--332, 68(1)113--119, 68(2)123--134
-
satisfiable, 68(2)123--134
-
satisfy, 39(2)309--317
-
Sato, Hiroyuki, 64(1)55--66
-
Sato:1989:CBC, 64(1)55--66
-
Satz, 61(2)279--282
-
Saunders, B. D., 40(2)257--274
-
Saunders, B. D., see Abdali, S. K.
-
Saxe, 37(2)183--216
-
Scarpellini, B., 36(1)119--125
-
Scarpellini:1985:CBN, 36(1)119--125
-
SCCS, 37(3)245--267, 49(2)311--347
-
SCCS, MEIJE-, 37(3)245--267
-
Schauss, Manfred, Schmidt-, 59(3)287--296
-
scheduling, 37(2)217--243, 45(1)87--119, 64(2)159--173, 64(2)203--219
-
Scheduling--Theory, 62(3)267--287
-
schematization, 67(2)303--332
-
schematology, 60(1)83--108
-
scheme, 35(2)165--177, 48(1)75--94, 48(2)297--328, 53(1)67--97,
55(2)265--289, 59(1)181--209, 64(1)83--96
-
schemes, 35(2)165--177, 42(1)1--122, 48(1)75--94, 52(3)307--340,
53(1)67--97, 53(1)z--z, 55(1)1--45, 55(2)265--289, 59(1)181--209,
62(0)3--233, 62(1)67--104
-
Scheuing, A., 43(1)11--30
-
Scheuing:1986:DLA, 43(1)11--30
-
Schieber, B., 47(3)277--298
-
Schieber, B., see Maon, Y.
-
Schmidt, D., 38(2)143--156
-
Schmidt, Ursula, 63(1)1--17
-
Schmidt-Schauss, Manfred, 59(3)287--296
-
Schmidt-Schauss:1988:ICU, 59(3)287--296
-
Schmidt:1985:RTS, 38(2)143--156
-
Schmidt:1989:APT, 63(1)1--17
-
Schnorr, C. P., 53(2)201--224
-
Schnorr:1987:HPT, 53(2)201--224
-
Schoning, U., 40(1)57--66, 40(2)237--243
-
Schoning, U., see Balcazar, J. L.
-
Schoning:1985:RAD, 40(1)57--66
-
Schreier, 54(2)165--179
-
Schupp, P. E., 37(1)51--75, 54(2)267--276
-
Schupp, P. E., see Muller, D. E.
-
Schurfeld, U., 48(1)53--73
-
Schurfeld, U., see Bublitz, S.
-
Schuster, Assaf, 64(1)83--96
-
Schuster, Assaf, see Shamir, Eli
-
Schutzenberger, 51(1)117--127
-
Schützenberger, Cesari-, 58(1)103--128
-
Schützenberger, M. P., 58(1)81--101, see Choffrut, C.
-
Schwichtenberg, 52(1)1--14
-
Sci, 302(1)497--498
-
science, 39(1)z--z, 40(2)257--274, 48(2)145--152, 57(0)3--159,
58(1)155--174
-
Science--Information, 62(3)251--266
-
Scott, 41(1)95--104, 43(2)251--263
-
search, 39(2)89--106, 41(2)325--330, 47(1)61--69, 47(2)205--218,
47(3)277--298, 58(1)57--68, 58(1)143--154, 58(1)209--229,
59(1)133--155, 59(3)297--307, 63(2)185--202, 66(0)117--232,
66(1)105--111, 66(2)181--203, 68(3)343--346, 69(1)1--53
-
searching, 45(1)63--86, 47(2)205--218, 58(1)57--68, 58(1)143--154,
63(1)91--111, 63(2)185--202, 66(1)105--111, 67(1)115--120
-
searching, node-, 47(2)205--218
-
SEARCHPATH, 48(2)273--281
-
second, 49(1)1--12, 66(3)299--321, 68(3)333--342
-
second-order, 37(1)51--75, 39(2)135--153, 44(1)51--68, 46(1)91--99,
55(2)141--181
-
section, 60(3)255--283
-
security, 39(2)319--325
-
See, 47(2)149--158, 302(1)497--498
-
Seger, C.-J., 61(1)49--66
-
Seger:1988:OTS, 61(1)49--66
-
segment, 63(2)113--139
-
Seidl, H., 55(1)47--85
-
Seidl:1987:PRH, 55(1)47--85
-
Seiferas, J., 40(1)31--55
-
Seiferas, J., see Blumer, A.
-
Seino, K., 41(2)223--230
-
Seino, K., see Tomita, E.
-
Seino, Kazushi, 64(1)39--53
-
Seino, Kazushi, see Tomita, Etsuji
-
Seite, B., 52(1)91--143
-
Seite:1987:YEL, 52(1)91--143
-
Sekimoto, S., 56(2)223--231
-
Sekimoto:1988:OSR, 56(2)223--231
-
Selected, 62(0)3--233
-
selection, 67(1)115--120, 68(3)343--346
-
selective, 37(1)31--50, 37(3)357--360, 39(2)281--295, 40(2)149--162,
53(2)243--255
-
Selector, 62(3)267--287
-
selector, 40(2)149--162
-
Self-Affine, 65(2)153--169
-
self-affine, 65(2)153--169
-
self-embedding, 47(2)219--223, 47(2)225--232
-
self-helping, 52(1)15--36
-
self-reducibility, 68(2)123--134
-
self-reducible, 43(2)169--188, 52(1)15--36
-
semantical, 40(2)211--235
-
semantics, F-, 45(2)121--157
-
semi, 41(1)95--104
-
Semi-commutations, 64(1)67--81
-
semi-conditional, 41(1)1--17
-
semi-Thue, 44(2)199--208, 46(2)319--327, 47(2)225--232, 66(2)117--136
-
semiadjunction, 41(1)95--104
-
semiautomatic, 68(2)175--202
-
semicommutations, 64(1)67--81
-
semicomputable, 50(2)137--181, 67(1)87--97
-
semiconditional, 41(1)1--17
-
Semiconductor, 48(1)53--73, 57(1)97--111, 58(1)379--397, 59(3)297--307,
61(2)121--136
-
semiformal, 42(2)123--249
-
semifunctors, 41(1)95--104
-
semigroup, 43(1)1--10, 46(1)53--66, 51(1)239--247, 58(1)231--248,
58(1)361--378, 61(2)283--287, 63(3)333--348, 69(3)319--345
-
semilattices, 43(2)293--313
-
semilinear, 40(2)163--174, 46(2)107--140, 52(3)341--342, 64(3)343--350
-
semiregular, 61(1)83--92
-
semiring, 40(2)257--274, 57(2)239--249
-
semiThue, 35(2)337--344
-
sensitive, 52(3)341--342
-
sensitive, context-, 40(2)163--174, 41(1)1--17, 44(2)225--228,
52(3)341--342
-
sentences, 51(3)309--324
-
sentential, 52(1)145--153
-
separable, 38(1)35--53
-
separating, 68(3)343--346
-
separation, 58(1)209--229
-
sequence, 36(2)265--289, 38(1)137--142, 38(2)167--192, 40(2)175--193,
43(2)277--291, 44(2)209--224, 44(3)275--305, 47(1)99--105,
47(3)299--313, 48(1)9--33, 48(2)297--328, 49(2)113--119,
53(1)125--150, 53(1)151--167, 53(1)z--z, 55(1)87--136,
57(2)283--302, 59(1)3--23, 59(3)235--257, 61(1)1--16, 61(1)25--32,
63(1)43--61, 63(2)141--156, 63(3)333--348, 64(1)25--38,
64(1)107--118, 64(3)221--269, 64(3)281--304, 65(0)123--270,
65(2)123--130, 65(2)143--148, 65(2)249--263, 65(2)265--270,
65(2)z--z, 66(3)255--272, 68(3)319--332
-
sequential, 36(1)27--58, 36(2)203--216, 37(3)357--360, 38(1)133--136,
39(2)107--121, 40(2)275--300, 45(2)193--260, 46(2)261--284,
48(1)9--33, 48(2)135--144, 48(2)329--337, 49(2)87--112,
49(2)145--169, 50(2)183--238, 52(3)205--237, 53(2)243--255,
54(2)277--298, 55(1)87--136, 56(2)155--186, 57(1)47--86,
58(1)249--261, 59(1)25--84, 60(1)1--82, 64(3)221--269,
69(3)243--287
-
sequents, 48(2)229--255, 66(1)87--97
-
serial, time-, 47(3)277--298
-
serialisability, 38(1)1--16
-
serializability, 38(1)1--16, 58(1)3--16, 69(1)69--115
-
serially, 52(1)155--163
-
series, 40(1)13--30, 41(1)51--59, 41(1)109--112, 43(1)91--98, 44(1)1--16,
44(2)209--224, 57(1)147--152, 67(2)261--282
-
series-parallel, 47(1)1--14
-
server, 52(3)269--280
-
server, single-, 52(3)269--280
-
service, 52(3)269--280, 64(2)203--219
-
Set, Techniques-, 60(3)297--340, 61(2)307--316, 62(1)221--233,
62(3)235--249, 63(1)43--61, 63(1)63--90, 63(3)239--252
-
set, trace-, 45(2)193--260
-
set-covering, 54(2)237--247
-
set-theoretic, 46(2)175--195, 60(3)297--340
-
set-union, 68(1)57--70
-
set-valued, 36(1)1--19
-
Sethi, R., 48(1)117--126
-
Sethi, R., see Berry, G.
-
setting, 57(2)251--282
-
Seymour, 68(2)155--173
-
Shallit, J., 61(1)1--16
-
Shallit:1988:GAS, 61(1)1--16
-
Shamir, Eli, 64(1)83--96
-
Shamir:1989:CAN, 64(1)83--96
-
shared, 48(1)53--73, 51(1)239--247, 52(3)193--203, 64(2)159--173
-
sharing, 49(2)171--184
-
Shepherdson, J. C., 65(3)343--371
-
Shepherdson:1989:SCS, 65(3)343--371
-
shift, 43(1)11--30, 44(1)17--49, 44(2)209--224, 65(2)131--141
-
shift-register, 44(2)209--224
-
shift-registers, 43(1)11--30
-
shortest, 53(2)201--224, 57(0)3--159, 57(1)131--145, 60(3)285--296,
66(0)117--232, 66(2)157--180
-
shuffle, 38(2)223--247, 39(2)171--188, 47(2)191--203, 51(3)281--299,
59(3)297--307
-
side, 59(1)157--180
-
side-effects, 69(3)243--287
-
sided, one-, 52(1)15--36
-
Sidney, J. B., 53(2)345--352
-
Sidney, J. B., see Santoro, N.
-
Sidney, S. J., 53(2)345--352
-
Sidney, S. J., see Santoro, N.
-
signal, 44(1)69--105, 57(1)131--145, 65(2)249--263
-
signature, 36(1)1--19, 42(2)123--249
-
signed, 65(2)243--248
-
silent, 63(3)275--294
-
simd/mimd, 64(2)159--173
-
Simon, 38(1)137--142
-
Simon, Klaus, 58(1)325--346
-
Simon:1988:IAT, 58(1)325--346
-
Simone, R., de, 37(3)245--267
-
simple, 35(1)55--69, 35(2)345--348, 36(2)291--308, 41(2)141--167,
43(1)91--98, 43(2)345--350, 44(3)259--274, 46(2)239--259,
47(2)169--180, 63(3)275--294, 68(1)19--36
-
simplification, 35(2)129--164
-
simply, 54(2)215--236
-
Simulating, 41(2)325--330
-
simulation, 35(2)191--214, 48(2)135--144, 49(2)171--184, 56(1)135--154,
61(1)49--66, 66(1)15--25, 68(1)19--36
-
simultaneous, 35(1)1--15, 47(2)111--120, 51(1)239--247, 54(1)29--51,
54(2)325--329, 59(3)317--325, 66(3)255--272
-
single, 36(2)265--289, 40(1)67--84, 52(3)269--280, 59(1)25--84
-
single-axiom, 35(2)337--344
-
single-server, 52(3)269--280
-
single-valued, 47(3)247--262
-
singleton, 35(2)295--312, 63(3)303--331, 66(1)113--114
-
Siromoney, R., 39(2)281--295, 47(2)159--168
-
Siromoney, R., see Dare, V. R.
-
Siromoney:1985:IWO, 39(2)281--295
-
Sistla, A. Prasad, 49(2)217--237
-
Sistla:1987:CPB, 49(2)217--237
-
sites, 68(2)203--220
-
six-state, 50(2)183--238
-
size, 47(1)107--110, 58(1)209--229, 62(3)319--325, 66(1)87--97,
69(3)319--345
-
Size, Circuit-, 61(2)299--306
-
size, circuit-, 61(2)299--306
-
size, Leaf-, 67(1)99--110
-
size, leaf-, 67(1)99--110
-
size, polynomial-, 36(2)239--250, 62(3)319--325, 68(3)267--276
-
size-increasing, 39(2)207--224
-
Skarbek, Wladyslaw, 57(1)153--159
-
Skarbek:1988:GOT, 57(1)153--159
-
skeletonization, 43(1)31--41
-
sketches, 50(2)103--135
-
skew, 65(2)189--196, 65(2)z--z
-
Skolem-Mahler-Lech, 43(1)91--98
-
skolemization, 54(1)3--28
-
sld, 59(1)3--23
-
SLD-resolution, 59(1)3--23, 69(3)289--318
-
SLDNF-resolution, 65(3)343--371
-
slice, 38(1)55--68, 43(2)201--211, 44(3)247--257
-
slowly, 35(2)245--260
-
Slutzki, G., 41(2)305--318, 56(3)321--338
-
Slutzki, G., see Boonyavatana, R.
-
Slutzki:1985:ATA, 41(2)305--318
-
small, 41(2)331--339
-
smallest, 40(1)31--55
-
Smith, C. H., 66(3)255--272
-
Smith, C. H., see Angluin, D.
-
smokers, 36(1)27--58
-
Smyth, 36(1)127--137, 57(2)251--282
-
snapshots, 49(2)145--169, 49(2)z--z
-
Snir, M., 38(1)69--82, 48(1)75--94
-
Snir, M., see Kruskal, C. P.
-
Snir, Marc, 64(2)135--157
-
Snir, Marc, see Kruskal, Clyde P.
-
Snir:1985:LBP, 38(1)69--82
-
Snyder, W., 67(2)203--260
-
Snyder, W., see Gallier, J. H.
-
sofic, 44(1)17--49, 65(0)123--270, 65(2)265--270, 65(2)z--z,
67(1)121--128, 68(3)253--265
-
software, 39(1)z--z, 59(0)3--209
-
Sokolowski-type, 56(3)321--338
-
Solitro, U., 68(3)333--342
-
Solitro:1989:TCB, 68(3)333--342
-
solution, 40(1)67--84, 41(2)169--184, 44(2)155--174, 46(2)159--174,
47(1)85--93, 50(2)183--238, 54(2)181--198, 63(3)275--294,
64(2)203--219, 66(1)99--104
-
solvability, 44(1)51--68
-
solving, 39(1)69--88, 39(2)327--332, 44(2)127--153, 49(1)81--84,
68(2)175--202
-
Sopena, E., 61(1)93--102
-
Sopena, E., see Cori, R.
-
Soria, M., 67(2)261--282
-
Soria, M., see Choppy, C.
-
sort, 46(2)261--284
-
sorted, many-, 48(2)257--272, 50(2)103--135
-
sorted, one-, 46(2)239--259
-
sorted, three-, 46(2)239--259
-
sorting, 37(2)183--216, 38(1)83--98, 43(2)345--350, 46(2)261--284,
49(2)171--184, 52(3)193--203, 54(2)315--324, 58(1)325--346,
66(0)117--232, 66(2)137--155, 67(1)115--120
-
Soulie, F., Fogelman-, 40(2)275--300
-
sound, 65(3)343--371, 67(2)203--260, 67(2)303--332
-
soundness, 65(1)35--83, 65(3)343--371, 69(1)55--68, 69(3)289--318
-
soundness, F-, 45(2)121--157
-
Spaccamela, A., Marchetti-, 54(1)53--64
-
space, 39(2)267--280, 41(2)141--167, 41(2)331--339, 43(1)59--79,
47(1)39--60, 48(1)9--33, 48(2)145--152, 48(2)273--281,
49(2)217--237, 51(1)221--227, 52(3)251--267, 52(3)269--280,
57(2)327--330, 58(1)175--181, 58(1)325--346, 59(3)259--276,
62(3)251--266, 64(1)83--96, 68(1)57--70, 68(3)253--265, 69(1)1--53
-
space, 0/-, 38(1)35--53
-
space, half-, 49(2)239--265
-
space, log-, 54(2)325--329
-
space, time-, 43(2)345--350, 47(3)237--246
-
space-bounded, 44(1)111--121, 68(1)19--36
-
space-reduction, 57(1)47--86
-
space-time, 37(2)183--216
-
Spanier, E. H., 39(2)309--317
-
Spanier, E. H., see Ginsburg, S.
-
spanning, 58(1)379--397, 64(1)125--132
-
sparse, 35(2)245--260, 64(2)135--157
-
spatial, 40(2)275--300
-
special, 39(2)123--133, 44(3)259--274, 49(1)13--22, 52(1)77--89,
63(3)239--252, 63(3)333--348
-
specialised, 43(2)149--167
-
specifiability, 39(2)239--265
-
specification, 35(2)329--336, 36(1)27--58, 37(3)269--304, 42(2)123--249,
43(2)149--167, 43(2)277--291, 46(1)13--45, 50(2)137--181,
51(1)129--176, 51(1)205--214, 56(1)37--57, 56(1)135--154,
57(1)3--45, 58(1)183--199, 58(1)249--261, 63(3)303--331,
67(1)121--128, 67(2)261--282, 68(2)175--202, 69(1)69--115
-
specified, 67(1)121--128
-
specified, completely-, 39(2)309--317
-
specified, partially-, 39(2)309--317
-
specifiés, 67(1)121--128
-
spectral, 65(2)249--263, 65(2)z--z
-
Spectrum, 65(2)249--263
-
speech, 64(1)107--118
-
speed-independent, 39(2)107--121
-
Speeding, 64(1)107--118
-
Spehner, J.-C., 39(2)171--188, 47(2)191--203, 48(1)35--52
-
Spehner, Jean-Claude, 60(3)341--381
-
Spehner:1985:ESE, 39(2)171--188
-
Spehner:1986:OFG, 48(1)35--52
-
Spehner:1986:RCS, 47(2)191--203
-
Spehner:1988:RFL, 60(3)341--381
-
Spies, K., Ambos-, 51(1)177--204
-
Spies, Klaus, Ambos-, 63(1)43--61
-
Spirakis, P., 52(1)155--163
-
Spirakis:1987:PCD, 52(1)155--163
-
Split, 62(1)105--122
-
split-free, 62(1)105--122
-
Split-freedom, 62(1)105--122
-
splitting, 40(2)245--255, 68(3)253--265
-
SPMHFAs, 36(2)291--308
-
squad, 50(2)183--238
-
square-free, 38(1)117--122, 40(1)13--30, 49(2)113--119, 69(3)319--345
-
Squier, C. C., 49(1)13--22
-
Squier:1987:USC, 49(1)13--22
-
Srivas, M., 54(1)3--28
-
Srivas, M., see Hsiang, Jieh
-
st-numbering, 47(3)277--298
-
stability, 39(1)z--z, 52(3)269--280, 56(2)155--186, 58(1)249--261,
63(1)19--41
-
stable, 52(3)269--280, 59(3)287--296, 63(1)19--41
-
stack, 39(2)267--280, 44(1)111--121, 52(1)91--143, 58(1)69--80,
63(3)303--331
-
stack-machine, 56(1)59--133
-
Staiger, Ludwig, 61(2)279--282
-
Staiger:1988:SEU, 61(2)279--282
-
stamp, name-, 39(2)319--325
-
standardization, 52(3)205--237, 69(3)243--287
-
Stanley, 36(1)109--112
-
Staples, J., 56(3)277--288
-
Staples:1988:DUA, 56(3)277--288
-
star, 38(2)223--247, 39(2)327--332, 58(1)361--378
-
star, Kleene-, 45(2)193--260
-
star-free, 43(2)265--275, 58(1)361--378, 66(3)233--245
-
Stark, E. W., 56(1)135--154
-
Stark, Eugene W., 64(3)221--269
-
Stark:1988:PEB, 56(1)135--154
-
Stark:1989:CTS, 64(3)221--269
-
state, 40(1)67--84, 40(2)245--255, 41(2)331--339, 44(1)69--105,
46(2)107--140, 47(2)149--158, 48(1)117--126, 52(3)269--280,
55(2)291--348, 56(1)135--154, 63(1)91--111, 64(2)203--219,
64(3)271--280, 64(3)281--304, 64(3)305--329, 68(1)49--56,
68(3)253--265, 69(3)243--287
-
State, Finite-, 58(1)263--324
-
state, finite-, 52(1)91--143, 58(1)263--324, 67(1)5--18,
68(1)19--36
-
state, n-, 47(2)149--158
-
state, six-, 50(2)183--238
-
state, two-, 61(1)17--24
-
state-independent, 43(1)1--10
-
statement, 45(2)193--260, 59(3)211--234, 61(2)225--258, 62(1)39--65,
69(3)243--287
-
statement, type-, 51(1)1--26
-
static, 69(2)117--242
-
stationary, 46(1)83--89, 52(3)269--280
-
statistic, 41(2)325--330, 53(1)67--97, 53(1)99--124, 65(2)149--152,
65(2)171--188, 65(2)197--212, 65(2)z--z
-
statistical, 65(2)189--196, 65(2)197--212
-
Statman, R., 43(2)251--263, 48(1)95--100, 66(1)99--104
-
Statman, R., see Pasztor, A.
-
Statman:1986:ECP, 48(1)95--100
-
Statman:1989:SSC, 66(1)99--104
-
Stefanekova, Ivana, 67(1)111--113
-
Stefanekova, Ivana, see Pardubska, Dana
-
Stefanescu, G., 52(3)307--340
-
Stefanescu:1987:FTI, 52(3)307--340
-
Steiner, 53(2)257--265
-
step, 41(2)289--303, 56(2)223--231
-
step, One-, 56(2)223--231
-
stepwise, 46(2)261--284, 69(1)69--115
-
Stern, J., 35(1)17--42
-
Stern:1985:CSC, 35(1)17--42
-
Stickel, Peterson-, 67(2)173--201
-
Stirling, C., 39(1)27--45, 49(2)311--347
-
Stirling, Colin, 58(1)347--359
-
Stirling:1985:PTC, 39(1)27--45
-
Stirling:1987:MLC, 49(2)311--347
-
Stirling:1988:GOG, 58(1)347--359
-
stochastic, 40(2)245--255
-
Stockmeyer, L., 36(2)239--250
-
Stockmeyer, L., see Fagin, R.
-
Stolfi, J., 49(1)81--84
-
Stolfi, J., see Guibas, L. J.
-
storage, 39(2)267--280, 48(1)53--73, 54(2)325--329, 58(1)379--397,
59(3)259--276, 59(3)297--307, 61(2)121--136
-
store, 39(2)267--280
-
Stoss, H.-J., 41(2)319--323
-
Stoss, Hans-Jörg, 64(1)1--13, 64(1)15--23
-
Stoss:1985:CEI, 41(2)319--323
-
Stoss:1989:LBC, 64(1)15--23
-
Stoss:1989:RRF, 64(1)1--13
-
Stoughton, Allen, 59(3)317--325
-
Stoughton:1988:SR, 59(3)317--325
-
straight, 52(3)251--267, 61(2)175--198
-
straight-line, 59(3)277--286, 59(3)297--307
-
strategy, 53(1)151--167, 59(1)133--155, 65(1)1--33, 65(3)271--290,
67(1)5--18
-
Straubing, Howard, 58(1)361--378
-
Straubing:1988:SLD, 58(1)361--378
-
stream, 45(1)1--61, 49(2)87--112, 49(2)z--z, 57(2)251--282
-
strict, 64(1)39--53
-
strictly, 38(2)167--192, 48(2)183--199
-
strictness, 56(1)17--36
-
string, 39(2)123--133, 43(2)239--249, 48(1)101--108, 48(2)201--228,
51(3)341--348, 52(3)193--203, 57(1)131--145, 60(1)1--82,
60(3)231--254, 61(2)103--119, 61(2)199--224, 63(2)141--156,
64(2)191--201, 67(1)19--35
-
string, tree-to-, 42(3)251--368
-
String-Matching, 57(1)131--145
-
string-matching, 35(1)109--114, 45(1)63--86, 57(1)131--145
-
string-rewriting, 67(1)19--35, 67(2)143--172
-
strong, 35(2)129--164, 39(2)189--206, 43(1)31--41, 44(1)51--68,
48(2)229--255, 57(2)161--184, 63(3)303--331, 65(3)291--342,
68(3)333--342
-
strongest, 57(1)97--111
-
strongly, 35(2)129--164, 43(1)59--79
-
structural, 52(1)15--36, 59(3)317--325, 61(2)103--119, 62(1)3--38,
63(2)223--237
-
structure, 35(2)329--336, 36(2)145--171, 37(3)269--304, 38(1)83--98,
38(2)143--156, 40(2)175--193, 40(2)195--210, 40(2)257--274,
40(2)275--300, 40(2)301--314, 41(1)81--93, 41(1)95--104,
42(1)1--122, 42(2)123--249, 43(2)169--188, 44(2)175--197,
45(3)293--351, 46(2)197--217, 48(1)75--94, 48(2)273--281,
49(2)239--265, 50(2)103--135, 50(2)137--181, 51(1)129--176,
51(1)205--214, 52(3)307--340, 53(1)99--124, 53(1)z--z,
56(2)211--222, 56(3)345--353, 57(1)3--45, 57(2)205--224,
58(0)3--397, 58(1)57--68, 58(1)143--154, 58(1)183--199,
59(1)115--131, 59(3)211--234, 59(3)259--276, 60(2)109--176,
60(3)297--340, 61(2)103--119, 61(2)175--198, 61(2)279--282,
62(0)3--233, 62(1)3--38, 62(3)251--266, 63(2)113--139,
63(3)303--331, 66(0)117--232, 66(2)181--203, 67(1)87--97,
68(1)37--47, 68(1)57--70
-
structured, 36(2)145--171, 40(2)301--314, 42(2)123--249, 50(2)103--135,
55(1)1--45
-
structuredness, D-, 36(2)145--171
-
structures, tree-, 39(2)135--153
-
Stuckey, P. J., 46(2)141--158
-
Stuckey, P. J., see Jaffar, J.
-
study, 37(3)245--267, 58(1)231--248
-
Sturmian, 65(2)221--242
-
stuttering, 59(1)115--131
-
style, Gentzen-, 38(1)99--116
-
/sub, 47(1)1--14, 52(3)205--237, 61(1)17--24
-
subalgebras, 36(2)203--216
-
subclass, 35(2)191--214, 35(2)313--327, 52(3)281--306, 56(3)289--301,
61(1)25--32
-
subfamily, 40(2)163--174, 52(3)341--342
-
subgraph, 36(2)345--348, 38(2)249--267, 63(3)295--302, 68(2)155--173
-
subgroup, 67(1)55--63
-
subject, 60(3)231--254
-
submodel, 37(3)269--304
-
submodule, 68(2)175--202
-
submonoid, 61(2)279--282, 65(2)171--188
-
Subrahmanian, V. S., 68(2)135--154
-
Subrahmanian, V. S., see Blair, H. A.
-
subroutine, 61(1)33--47
-
subroutine-call, 61(2)175--198
-
subsequence, 38(1)137--142
-
subsequent, 45(1)63--86
-
subsequential, 47(1)39--60
-
subset, 35(2)179--189, 36(1)99--108, 38(1)17--33, 41(1)51--59,
41(1)121--123, 43(1)117--122, 48(2)329--337, 58(1)201--208
-
SUBST, 46(2)305--312
-
substitution, 37(1)31--50, 37(3)357--360, 39(2)281--295, 40(2)149--162,
43(1)117--122, 44(2)155--174, 46(2)329--338, 48(2)283--296,
51(3)309--324, 53(2)319--333, 59(3)317--325, 65(2)153--169,
66(1)45--53, 69(3)289--318
-
subsumption, 35(2)129--164, 45(3)293--351, 65(1)1--33
-
subsystem, 65(3)291--342, 68(3)333--342
-
subtrees, 65(2)149--152, 65(2)z--z
-
subword, 38(1)137--142, 40(1)31--55, 45(1)63--86, 47(2)159--168,
65(2)221--242, 65(2)z--z
-
successive, 68(2)175--202
-
succinct, 38(1)133--136
-
Sudborough, I. H., 36(2)173--202, 41(2)141--167, 52(3)177--191,
58(1)209--229
-
Sudborough, I. H., see Kim, C.,
see Monien, B.
-
Sudborough:1985:CDC, 36(2)173--202
-
sufficiency, 39(2)309--317, 48(2)297--328
-
sufficient, 35(2)215--225, 36(1)27--58, 40(2)301--314, 41(2)223--230,
43(1)11--30, 43(2)251--263, 48(1)1--8, 48(2)297--328, 53(2)169--185,
56(2)223--231, 57(2)303--316
-
suffix, 35(2)295--312, 45(1)63--86
-
suitability, 39(1)47--68
-
sum, 38(1)55--68, 51(1)239--247, 63(2)113--139, 63(3)275--294,
65(2)189--196, 65(2)z--z, 66(0)117--232, 66(2)137--155
-
summation, 51(1)239--247
-
superlinear, 44(3)247--257
-
superpolynomials, 52(3)239--249
-
superposition, 35(2)129--164
-
superstrings, 57(0)3--159, 57(1)131--145
-
sups, omega-, 43(2)251--263
-
surreduction, 67(2)203--260
-
suspended, 54(1)3--28
-
Suzuki, I., 43(2)277--291
-
Suzuki:1986:SVD, 43(2)277--291
-
Swart, Charles, 67(1)5--18
-
Swart:1989:IS, 67(1)5--18
-
switching, 38(1)55--68, 39(2)337--342, 43(2)277--291, 47(3)323--328,
48(1)75--94, 48(2)135--144, 53(2)281--293, 54(2)237--247,
54(2)277--298, 64(1)83--96, 64(1)125--132, 64(2)191--201,
64(2)203--219
-
syllogisms, 62(1)39--65
-
symbol, 35(1)89--107, 35(2)295--312, 36(1)1--19, 40(2)323--328,
45(3)293--351, 50(2)137--181, 54(2)325--329, 55(2)291--348,
61(2)225--258, 62(1)187--220, 63(3)253--274
-
symbolic, 44(1)17--49, 58(1)103--128, 63(2)157--184, 65(0)123--270,
65(2)131--141, 65(2)243--248, 65(2)265--270, 65(2)z--z
-
Symbolic--Encoding, 65(2)171--188
-
symmetric, 36(2)239--250, 47(1)99--105, 48(1)53--73, 67(1)55--63
-
symmetric, zero-, 68(1)49--56
-
symmetry, 47(1)39--60, 58(1)69--80
-
symposium, 57(0)3--159
-
synchronisation, 35(1)43--53, 37(3)245--267, 37(3)305--336, 38(1)1--16,
40(2)301--314
-
synchronised, 37(2)183--216
-
synchronising, 37(3)245--267
-
synchronization, 35(1)43--53, 38(1)1--16, 40(2)301--314, 44(1)69--105,
50(2)183--238, 59(1)25--84, 64(1)25--38
-
synchronizing, 60(3)285--296
-
synchronous, 47(1)15--26, 48(2)183--199, 49(2)145--169, 49(2)171--184,
49(2)z--z, 51(3)281--299, 52(3)193--203, 53(2)169--185, 54(1)53--64,
58(1)183--199, 64(1)125--132
-
syntactic, 37(1)77--121, 39(1)3--13, 39(2)333--335, 40(1)13--30,
45(3)293--351, 52(3)205--237, 56(1)59--133, 58(1)231--248,
62(1)221--233, 66(3)233--245, 67(1)65--73, 68(1)49--56,
68(2)135--154, 69(3)243--287
-
syntactical, 51(1)1--26
-
syntax, 44(3)307--331, 51(1)1--26, 57(2)205--224, 58(1)231--248
-
syntax-directed, 58(1)347--359
-
syntaxique, 58(1)231--248
-
synthesis, 39(2)135--153, 46(2)175--195, 58(1)183--199, 59(1)115--131,
61(2)225--258, 62(3)289--310
-
system, computer-, 52(3)269--280
-
Systémes, 65(2)153--169
-
systèmes, 67(1)121--128
-
systems, D0L-, 48(1)101--108
-
systems, D0L-, 48(1)101--108
-
systems, T0L-, 35(2)271--293
-
Systems--Online, 63(1)91--111
-
Systems--Theory, 63(3)253--274
-
systems-applications, 42(1)1--122
-
systolic, 37(2)183--216, 55(2)265--289, 56(2)155--186
-
Szalas, A., 54(2)199--214, 57(2)317--325
-
Szalas, Z., 47(3)329--334
-
Szalas:1986:CSC, 47(3)329--334
-
Szalas:1987:CAC, 54(2)199--214
-
Szalas:1988:IFO, 57(2)317--325
-
Szpankowski, W., 68(1)1--17
-
Szpankowski, W., see Kirschenhofer, P.