Index file section S for tcs1975.bib
Last update: Thu Sep 27 02:46:39 MDT 2018
Return to index directory
S
-
S, 5(2)219--z
-
Sahni, S. K., 2(3)271--294
-
Sahni, S. K., see Ibarra, O. H.
-
salesman, 4(3)237--244
-
Salomaa, A., 4(2)199--225, 5(3)339--354, 6(2)143--173
-
Salomaa, A., see Culik, II, K.,
see Maurer, H., \see{Rozenberg, G.
-
sampled, 8(2)203--225
-
Sato, M., 4(2)137--142
-
Sato, M., see Hosono, C.
-
Savage, J. E., 1(2)161--133
-
Savage, J. E., see Harper, L. H.
-
Savitch, W. J., 1(1)77--91
-
Savitch, W. J., see Reedy, A.
-
schematic, 6(3)255--279
-
schemes, 1(4)297--316, 2(1)115--130, 6(3)255--279, 7(1)25--55,
8(3)325--357, 9(1)39--65, 9(2)265--286
-
Schnorr, 4(2)235--z, 9(1)147--150
-
Schnorr, C. P., 1(4)289--295, 2(3)305--315, 7(3)251--261
-
Schnorr:1976:CCE, 1(4)289--295
-
Schnorr:1976:LBN, 2(3)305--315
-
Schnorr:1978:ILB, 7(3)251--261
-
Schonhage, A., 1(1)1--12, 3(2)267--272, 6(3)281--315
-
Schonhage, A., see Knuth, D. E.
-
Schonhage:1975:LBL, 1(1)1--12
-
Schonhage:1976:EPS, 3(2)267--272
-
Schutzenberger, 9(2)221--241
-
Schutzenberger, H. P., 4(1)47--57
-
Schutzenberger, M. P., 3(2)243--259
-
Schutzenberger:1976:RRB, 3(2)243--259
-
Schutzenberger:1977:VSF, 4(1)47--57
-
Scott, 2(2)133--145, 4(2)137--142
-
search, 1(1)27--57
-
SECD, 1(2)125--159
-
second, 8(2)177--187
-
Seiferas, J. I., 2(2)147--154
-
Seiferas:1976:RPR, 2(2)147--154
-
Selman, A. L., 1(2)103--123, 8(2)177--187
-
Selman, A. L., see Baker, T. P.,
see Ladner, R. E.
-
semantic, 1(4)331--354, 2(2)133--145, 4(1)1--22, 5(2)135--177,
5(3)223--255, 9(1)39--65, 9(2)243--256
-
semantically, 8(3)325--357
-
semi, 7(3)287--309
-
semi-AFLs, 7(3)287--309
-
semiAFL, 7(3)311--324
-
semidecision, 1(1)27--57
-
semigroup, 3(1)35--49, 5(2)101--111, 5(2)183--204
-
semilinear, 8(2)135--159
-
semirings, 4(1)59--76
-
sentences, 4(2)227--233
-
separatedness, 4(2)235--z
-
sequence, 1(4)317--323, 2(3)317--322, 3(1)75--84, 3(1)85--104,
5(2)219--z, 6(2)143--173, 6(3)233--254, 7(2)169--183, 8(1)57--68
-
sequential, 2(2)228--247, 4(1)47--57, 5(3)325--337, 7(3)287--309
-
series, 5(2)211--217, 7(1)117--121, 9(2)363--375
-
set, 1(1)77--91, 1(4)331--354, 2(1)77--95, 2(3)383--396, 3(1)23--33,
4(1)99--119, 4(2)125--135, 5(2)179--182, 5(2)183--204, 5(3)257--274,
6(3)233--254, 7(3)273--286, 7(3)311--324, 8(1)13--30, 8(2)135--159,
8(3)271--291, 8(3)379--391, 9(1)141--145, 9(2)153--172,
9(2)207--220
-
sets, omega-, 6(1)1--23
-
setting, 9(2)243--256
-
Shamir, A., 6(2)109--141
-
Shamir, A., see Manna, Z.
-
Shepherdson, J. C., 8(3)325--357
-
Shepherdson, J. C., see Elgot, C. C.
-
short, 7(3)325--332, 9(1)1--16
-
shuffle, 7(2)197--210
-
sided, 2(1)49--71
-
sigma, 1(4)317--323
-
similarity, 2(3)361--382
-
Simon, I., 5(2)101--111
-
Simon, I., see Mandel, A.
-
simple, 1(3)237--267, 1(4)297--316, 3(3)321--348, 6(3)281--315,
9(2)287--309, 9(2)311--328
-
simplification, 9(2)347--362
-
simplified, 1(3)237--267
-
simulations, 1(2)125--159
-
single, 3(2)213--224, 5(1)25--50, 6(3)233--254, 7(3)273--286
-
singleton, 1(1)59--75
-
singular, non-, 7(3)333--339
-
size, 2(2)249--269, 2(3)397--400
-
Skyum, S., 1(4)325--330, 7(3)263--272
-
Skyum, S., see Ehrenfeucht, A.
-
Skyum:1978:GEF, 7(3)263--272
-
slices, 8(3)379--391
-
smoothness, 3(1)75--84
-
Smyth, M. B., 5(3)257--274
-
Smyth:1977:EGD, 5(3)257--274
-
Snyder, L., 5(3)275--305
-
Snyder, L., see Elgot, C. C.
-
Soare, R. I., 6(3)233--254
-
Soare, R. I., see Bennison, V. L.
-
Soininen, E., Soisalon-, 8(1)1--11
-
Soisalon-Soininen, E., 8(1)1--11
-
Soisalon-Soininen:1979:CPL, 8(1)1--11
-
Soittola, M., 2(3)317--322
-
Soittola:1976:PRS, 2(3)317--322
-
solution, 4(2)137--142, 5(1)51--84, 7(2)169--183, 9(2)243--256
-
solvability, 3(3)283--292
-
sorting, 1(2)185--190, 1(4)355--361
-
source, 8(3)293--323
-
space, 1(1)27--57, 1(3)215--216, 2(3)295--304, 3(1)1--22, 5(2)113--128,
5(3)257--274, 6(1)25--39, 6(1)93--107, 7(2)217--236, 8(1)45--55,
9(1)67--72, 9(1)127--140
-
space, polynomial-, 9(1)67--72
-
spaces, half-, 8(1)45--55
-
Spanier, E. H., 5(3)307--320
-
Spanier, E. H., see Ginsburg, S.
-
specification, 8(1)89--127
-
specified, 7(2)185--195
-
Specker, 2(2)249--269
-
Springsteel, F. N., 2(3)295--304, 8(2)203--225
-
Springsteel, F. N., see Pudlak, P.
-
Springsteel:1976:PAL, 2(3)295--304
-
squad, 7(2)149--167
-
st-numbering, 2(3)339--344
-
stability, 1(2)185--190, 2(1)115--130
-
stable, 1(2)185--190
-
stack, 6(2)175--221
-
standardisation, 1(2)125--159
-
star, 7(2)197--210, 7(2)211--215
-
Starke, P. H., 3(2)261--266
-
Starke:1976:ASA, 3(2)261--266
-
Statman, R., 9(1)67--72, 9(1)73--81
-
Statman:1979:IPL, 9(1)67--72
-
Statman:1979:TCE, 9(1)73--81
-
step, 8(2)177--187, 9(1)27--38
-
stochastic, 2(3)317--322, 9(1)1--16
-
Stockmeyer, L. J., 3(1)1--22
-
Stockmeyer:1976:PTH, 3(1)1--22
-
storage, 1(2)185--190, 1(4)331--354, 3(2)183--211
-
Stork, H.-G., 4(2)171--197
-
Stork:1977:PCP, 4(2)171--197
-
Strassen, 3(2)267--272
-
Strassen, V., 1(1)21--25
-
Strassen:1975:CCS, 1(1)21--25
-
strategy, 9(1)27--38, 9(2)347--362
-
strict, 6(3)255--279
-
string, 2(1)45--48, 4(2)171--197
-
strong, 2(3)345--360, 3(3)359--369, 4(1)99--119
-
strong-identification, 2(3)345--360
-
structural, 2(3)361--382, 9(2)329--346, 9(2)347--362
-
structure, 4(1)59--76, 4(2)171--197, 5(2)113--128, 5(3)275--305,
8(1)13--30, 8(1)89--127
-
structured, 9(2)265--286
-
study, 5(1)51--84
-
sub, 5(2)129--134
-
subclass, 2(1)1--7, 6(3)317--325
-
subexponential, 2(1)73--76
-
subpatterns, 8(1)57--68
-
subsequential, 4(1)47--57, 5(3)325--337
-
subset, 1(4)317--323, 1(4)355--361
-
subsets, N-, 1(4)317--323
-
substitution, 5(1)85--100, 7(3)287--309
-
subword, 1(1)59--75
-
sum, 5(3)257--274
-
surface, 2(1)9--27
-
surjectivity, 6(3)317--325
-
switching, 1(2)161--133, 2(2)249--269, 2(3)383--396, 2(3)397--400,
4(1)47--57, 9(1)83--97, 9(1)147--150
-
symbol, two-, 6(1)69--92
-
symbolic, 1(1)21--25
-
symmetric, 3(2)267--272, 7(3)325--332
-
synchronisation, 1(2)95--101, 7(2)149--167
-
synchronization, 1(2)95--101, 7(2)149--167, 8(3)379--391
-
syntactic, 3(1)35--49, 7(2)211--215
-
Syntactical, 5(1)51--84
-
syntax, 5(1)51--84, 5(2)135--177
-
synthesis, 3(2)261--266
-
system, 1(1)59--75, 1(4)325--330, 1(4)331--354, 2(1)9--27, 2(1)49--71,
2(1)77--95, 2(3)317--322, 3(1)75--84, 3(2)173--181, 4(2)171--197,
5(1)25--50, 5(1)51--84, 5(3)339--354, 6(2)223--231, 6(3)327--341,
7(1)117--121, 7(2)169--183, 7(3)287--309, 8(2)135--159,
8(2)239--253, 8(3)293--323, 8(3)379--391, 9(2)207--220,
9(2)265--286, 9(2)329--346, 9(2)363--375, 9(2)377--384
-
systems, D0L-, 3(1)75--84
-
Szymanski, T. G., 2(3)361--382, 3(3)273--282, 4(2)143--153
-
Szymanski, T. G., see Geller, M. M.,
see Hunt, H. B.
-
Szymanski:1976:CBR, 3(3)273--282