Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
S
-
S, 65(7)971--999
-
S, CLIN-, 18(2)183--188
-
S4, 24(3)297--317
-
Sabel, David, 50(4)383--421
-
Sabel:2013:TVL, 50(4)383--421
-
Sabina, Salvatore, 45(4)397--414
-
Sabina, Salvatore, see Angeletti, Damiano
-
Sablon, Gunther, 7(3)337--358
-
Sablon, Gunther, see De Schreye, Danny
-
Sadigh, Dorsa, 60(1)43--62
-
Sadigh, Dorsa, see Jha, Susmit
-
Safavi-Naini, Reihaneh, 56(1)49--94
-
Safavi-Naini, Reihaneh, see Gagné, Martin
-
Safe, 60(1)43--62
-
Safe, Type-, 61(1)243--332
-
Safety, 42(2)265--300, 51(4)431--451, 58(1)33--65, 60(1)23--42,
63(4)1005--1029, 64(7)1419--1444, 65(2)157--203
-
Safety-Critical, 45(4)397--414
-
sages, 3(1)91--107
-
Saha, Shambwaditya, 64(7)1523--1552
-
Saha, Shambwaditya, see Neider, Daniel
-
Sahai, Tuhin, 63(4)1055--1075
-
Sahai, Tuhin, see Jha, Susmit
-
Saikawa, Takafumi, 64(6)1123--1164
-
Saikawa, Takafumi, see Affeldt, Reynald
-
Sais, Lakhdar, 12(1)89--102
-
Sais, Lakhdar, see Benhamou, Belaid
-
Saivasan, Prakash, 64(7)1419--1444
-
Saivasan, Prakash, see Chini, Peter
-
Sakallah, Karem A., 40(1)1--33
-
Sakallah, Karem A., see Liffiton, Mark H.
-
Sakama, Chiaki, 13(1)145--172
-
Sakama:1994:AAS, 13(1)145--172
-
Salzer, Gernot, 37(4)323--349
-
Salzer, Gernot, see Limet, Sébastien
-
Samer, Marko, 42(1)77--97
-
Samer:2009:BSQ, 42(1)77--97
-
Sanan, David, 65(4)569--598
-
Sanan, David, see Hóu, Zhé
-
Sanán, David, 42(2)229--264,
see Gallardo, María del Mar
-
Sánchez, César, 60(2)177--220,
see Bozzelli, Laura
-
Santone, Antonella, 30(1)33--58
-
Santone:2003:MLS, 30(1)33--58
-
Sardar, Muhammad Usama, 60(1)85--105
-
Sardar:2018:TPF, 60(1)85--105
-
Sarkar, D., 14(3)427--462
-
Sarkar, D., see Chakrabarti, I.
-
SAT, 24(1)5--36, 24(1)127--143, 24(1)165--203, 24(1)205--223,
24(1)225--275, 24(4)397--420, 24(4)421--481, 34(1)73--101,
35(1)97--142, 35(1)181--200, 35(1)201--235, 35(1)265--293,
37(4)261--276, 39(2)219--243, 43(1)81--119, 48(1)107--131,
49(1)53--93, 51(1)57--77, 55(3)285--294, 56(2)143--154,
58(3)313--339, 61(1)333--365
-
sat, distance-, 37(4)231--260
-
SAT, MAX-, 24(1)205--223
-
SAT-Based, 28(2)143--171
-
SAT-based, 35(1)237--263
-
SAT-provers, 32(4)z--99999999
-
SATCHMO, 14(2)325--351, 27(3)313--322
-
Satchmo, 18(2)227--236
-
SATCHMO, I-, 27(3)313--322
-
SATCHMORE, 14(2)325--351
-
satisfaction, 6(1)51--75, 24(1)67--100, 49(4)493--550
-
satisfiability, 10(1)115--136, 15(3)359--383, 24(1)1--3, 24(1)37--65,
24(1)67--100, 27(3)251--296, 28(2)99--99, 28(2)173--204,
28(2)205--232, 33(3)221--249, 35(1)1--2, 35(1)3--24, 35(1)25--50,
35(1)143--179, 35(4)373--390, 36(4)z--z, 44(3)277--301,
47(2)161--189, 48(3)293--362, 48(3)391--417, 49(4)493--550,
51(3)325--356, 56(2)143--154, 64(3)579--609, 64(7)1269--1286,
65(7)1001--1025, 66(1)43--91, 67(3)z--99999999
-
Satisfiable, 35(1)51--72
-
Sato, Haruhiko, 50(3)317--354
-
Sato, Haruhiko, see Winkler, Sarah
-
Sato, Masahiko, 49(2)185--207
-
Sato, Masahiko, see Pollack, Randy
-
Sato, Ryosuke, 64(7)1393--1418
-
Sato, Ryosuke, see Champion, Adrien
-
SATS--Simultaneously, 60(1)85--105
-
SATS--SMA, 60(1)85--105
-
Sattler, Uli, 60(4)385--419
-
Sattler, Uli, see Matentzoglu, Nicolas
-
Sattler, Ulrike, 39(3)249--276, 39(3)351--384
-
Sattler, Ulrike, see Horrocks, Ian,
see Hustadt, Ullrich
-
saturated, 13(3)391--407
-
Saturation, 66(4)499--539
-
Saturation-Based, 64(2)253--294, 67(4)z--99999999
-
Scalability, 41(2)99--142
-
Scalable, 64(3)485--510
-
Scedrov, Andre, 36(1)39--83, 46(3)389--421
-
Scedrov, Andre, see Chadha, Rohit,
see Kanovich, Max
-
Schaerf, Marco, 28(2)101--142
-
Schaerf, Marco, see Cadoli, Marco
-
Scharstein, Daniel, 11(1)83--113
-
Scharstein, Daniel, see Segre, Alberto
-
Schaub, T., 15(1)95--165, 20(1)191--213
-
Schaub, T., see Besnard, Ph.
-
Schaub, Torsten, 15(1)1--40
-
Schaub, Torsten, see Thielscher, Michael
-
Schaub:1995:NMQ, 15(1)95--165
-
Schauss, M., Schmidt-, 1(3)327--332
-
Schauss, Manfred, Schmidt-, 2(3)277--281
-
Schauß, Manfred, Schmidt-, 50(4)383--421
-
Scheduler, 42(2)349--388
-
scheduling, 2(1)1--42
-
Scheele, Stephan, 44(3)207--243
-
Scheele, Stephan, see Mendler, Michael
-
Schellhorn, Gerhard, 45(4)359--395
-
Schellhorn, Gerhard, see Dunets, Andriy
-
Schelter, William F., 2(3)253--273
-
Schelter, William F., see Chou, Shang-Ching
-
Schemas, 53(4)351--405
-
Schemata, 65(5)599--645
-
Schematic, 65(5)599--645
-
Scheme, 34(1)73--101, 48(3)293--362
-
schemes, 8(3)367--394, 63(1)127--155, 63(3)597--623, 65(4)521--567
-
Schirmer, Norbert W., 42(2)389--454
-
Schirmer, Norbert W., see Alkassar, Eyad
-
Schlaipfer, Matthias, 57(1)3--36
-
Schlaipfer:2016:LIS, 57(1)3--36
-
Schlechta, Karl, 14(3)353--381
-
Schlechta:1995:LTI, 14(3)353--381
-
Schlich, Bastian, 42(2)123--124
-
Schlich, Bastian, see Klein, Gerwin
-
Schlichtkrull, Anders, 61(1)455--484, 64(7)1169--1195
-
Schlichtkrull:2018:FRC, 61(1)455--484
-
Schlichtkrull:2020:FBG, 64(7)1169--1195
-
Schlobach, Stefan, 39(3)317--349, 46(1)43--80
-
Schlobach, Stefan, see Klarman, Szymon
-
Schlobach:2007:DIT, 39(3)317--349
-
Schmaltz, Julien, 48(4)419--439
-
Schmaltz, Julien, see Verbeek, Freek
-
Schmid, Joachim, 30(3)323--361
-
Schmid, Joachim, see Stärk, Robert F.
-
Schmid, Richard, 5(3)403--408
-
Schmid:1989:UEP, 5(3)403--408
-
Schmidt, Renate, 63(3)597--623
-
Schmidt, Renate, see Beyersdorff, Olaf
-
Schmidt, Renate A., 22(4)379--396, 28(2)205--232, 47(2)107--109,
64(2)197--251, 67(4)z--99999999
-
Schmidt, Renate A., see Baumgartner, Peter,
see Hustadt, Ullrich, \see{Zheng, Sen
-
Schmidt-Schauss, M., 1(3)327--332
-
Schmidt-Schauss, M., see Ohlbach, H. J.
-
Schmidt-Schauss, Manfred, 2(3)277--281
-
Schmidt-Schauß, Manfred, 50(4)383--421,
see Sabel, David
-
Schmidt-Schauss:1986:UUA, 2(3)277--281
-
Schmidt:1999:DRP, 22(4)379--396
-
Schmidt:2011:PSI, 47(2)107--109
-
Schmitgen, Stefan, 6(3)319--335
-
Schmitgen, Stefan, see Büning, Hans Kleine
-
Schmitt, Alan, 65(1)75--124
-
Schmitt, Alan, see Ambal, Guillaume
-
Schmitt, Peter H., 13(2)211--221
-
Schmitt, Peter H., see Hähnle, Reiner
-
Schmoetten, Richard, 66(4)953--988, 67(1)z--99999999
-
Schmoetten:2022:TFS, 66(4)953--988, 67(1)z--99999999
-
Schmoetten:2023:CTF, 66(4)953--988, 67(1)z--99999999
-
Schneider, Hans-Albert, 5(3)403--408
-
Schneider, Hans-Albert, see Schmid, Richard
-
Schneider, Peter F., Patel-, 6(4)361--388, 28(2)173--204,
39(3)277--316
-
Schneider-Kamp, Peter, 37(3)155--203, 47(2)133--160, 49(1)53--93,
58(1)3--31, 58(1)33--65, 59(4)425--454, 63(3)695--722
-
Schneider-Kamp, Peter, see Codish, Michael,
see Cruz-Filipe, Luís,
see Cruz-Filipe, Lu{\'{\i}}s,
see Fuhs, Carsten, \see{Giesl, J{\"u}rgen,
see Ströder, Thomas
-
Schockaert, Steven, 49(4)493--550
-
Schockaert:2012:SCL, 49(4)493--550
-
Schreck, Pascal, 62(1)1--68
-
Schreck, Pascal, see Boutry, Pierre
-
Schreiber, Joachim, 5(3)309--337
-
Schreiber, Joachim, see Furbach, Ulrich
-
Schreye, Danny, De, 7(3)337--358, 34(2)141--177
-
Schroeder, Michael, 20(1)81--105
-
Schroeder, Michael, see Fröhlich, Peter
-
Schubert, 2(1)89--101
-
Schulte, Wolfram, 44(1)z--z
-
Schulte, Wolfram, see Böhme, Sascha
-
Schulz, Ewaryst, 44(1)z--99999999
-
Schulz, Ewaryst, see Dietrich, Dominik
-
Schulz, Klaus U., 11(2)149--184
-
Schulz, Stephan, 18(2)189--198, 35(1)265--293, 36(4)287--287, 37(1)1--1,
64(7)1165--1167
-
Schulz, Stephan, see Bozzano, Marco,
see Denzinger, Jörg,
see Fischer, Bernd, \see{Galmiche, Didier
-
Schulz:1993:WUT, 11(2)149--184
-
Schumann, J., 8(2)183--212, 13(3)409--421
-
Schumann, J., see Letz, R.
-
Schumann, Johann, 18(2)237--246
-
Schumann, Johann, see Moser, Max
-
Schumann:1994:TBT, 13(3)409--421
-
Schutz, 66(4)953--988, 67(1)z--99999999
-
Schütz, Heribert, 18(2)227--236, see Geisler, Tim
-
Schwartz, J. T., 7(2)231--256
-
Schwartz, J. T., see Cantone, D.
-
Schwartz, Jacob T., 33(3)251--269
-
Schwartz, Jacob T., see Zarba, Calogero G.
-
Schweitzer, Stephan, 32(1)35--73
-
Schweitzer, Stephan, see Walther, Christoph
-
Schwendimann, Stefan, 24(3)297--317
-
Schwendimann, Stefan, see Balsiger, Peter
-
Schwichtenberg, Helmut, 26(2)205--221
-
Schwichtenberg, Helmut, see Berger, Ulrich
-
Schwind, Camilla B., 13(2)223--242
-
Schwind, Camilla B., see Risch, Vincent
-
Sciavicco, Guido, 38(1)173--199
-
Sciavicco, Guido, see Bresolin, Davide
-
SCL, 67(3)z--z
-
SCLEQ, 67(3)z--z
-
Scott, Dana S., 64(1)53--72
-
Scott, Dana S., see Benzmüller, Christoph
-
search, 2(2)127--153, 21(2)135--175, 21(2)205--231, 24(1)127--143,
24(1)205--223, 24(1)225--275, 24(4)421--481, 24(4)483--533,
33(2)171--218, 35(1)97--142, 35(1)143--179, 36(3)177--212,
46(2)103--160, 55(3)269--284, 60(2)157--176, 65(8)1153--1190
-
Search, Proof-, 30(2)121--151, 62(1)127--167, 64(7)1197--1219
-
Search-Pruning, 19(3)347--376
-
Searching, 15(3)279--315, 36(3)241--257, 39(2)141--160
-
Sebastiani, Roberto, 35(1)265--293, 64(3)423--460, 64(7)1165--1167,
65(7)1071--1096
-
Sebastiani, Roberto, see Bozzano, Marco,
see Galmiche, Didier,
see Trentin, Patrick
-
Sebastiani:2020:OTO, 64(3)423--460
-
SECD, 23(1)43--62
-
Second, 57(3)245--280
-
Second--Order, 64(3)391--422
-
Second-Order, 63(2)415--438
-
secret, 7(3)301--302, 27(2)89--95
-
section, 8(1)1--2
-
Secure, 41(3)325--364
-
Security, 36(1)1--3, 36(1)85--124, 46(3)223--224, 48(2)133--134,
48(2)219--262, 48(4)441--487, 65(4)463--478, 65(4)479--520
-
See, 2(3)219--220, 2(3)221--252, 41(2)143--189, 53(2)173--213,
53(3)305--315, 54(1)99--99, 55(2)185--185, 60(2)133--156,
60(3)299--335, 60(4)527--527, 65(3)461--461, 66(1)173--173,
66(4)639--666, 66(4)953--988, 66(4)1065--1095, 66(4)1097--1097,
66(4)1099--1099, 67(1)z--99999999
-
Sefidgar, S. Reza, 62(2)261--280
-
Sefidgar, S. Reza, see Lammich, Peter
-
Segre, Alberto, 11(1)83--113
-
Segre, Alberto Maria, 19(3)347--376
-
Segre, Alberto Maria, see Sturgill, David
-
Segre:1993:BOC, 11(1)83--113
-
Seidl, Martina, 58(1)97--125
-
Seidl, Martina, see Heule, Marijn J. H.
-
Seisenberger, Monika, 26(2)205--221
-
Seisenberger, Monika, see Berger, Ulrich
-
Seitz, 48(4)419--439
-
Selected, 47(2)107--109, 47(4)337--339, 51(1)1--2, 58(3)311--312,
60(1)1--2, 60(3)255--256, 62(2)169--170, 62(4)431--432,
63(2)319--321, 63(4)1003--1004, 64(3)511--511, 64(5)793--794,
64(7)1165--1167, 64(7)1331--1332, 65(7)891--892, 66(3)275--276
-
selecting, 10(2)283--284
-
selection, 1(4)357--390, 45(4)437--473, 46(1)1--42, 52(2)191--213
-
Selector, 57(3)219--244
-
self-analytically, 4(3)327--329, 4(4)463--464
-
Self-evident, 67(4)z--99999999
-
Self-Formalisation, 56(3)221--259
-
Self-modifying, 56(3)283--308
-
Self-Resolving, 20(3)317--336
-
self-utterances, 3(3)329--338
-
Selman, Bart, 24(1)67--100, 35(1)181--200
-
Selman, Bart, see Boufkhad, Yacine,
see Gomes, Carla P.
-
semantic, 1(3)231--261, 3(3)225--246, 5(2)167--205, 6(3)337--339,
10(3)399--420, 12(1)1--31, 12(3)305--349, 13(1)145--172,
13(2)211--221, 17(1)83--95, 20(1)27--45, 20(1)143--165,
25(3)167--217, 26(4)333--356, 27(4)391--421, 28(1)53--97,
29(1)17--57, 38(1)31--56, 43(3)263--288, 51(4)401--430,
59(3)287--330, 63(2)369--392, 63(3)557--595, 63(4)911--939,
66(1)93--139, 66(4)905--952
-
semantical, 10(2)191--235
-
Semantically, 18(2)183--188
-
Semantically-Guided, 56(2)113--141, 59(2)165--218, 67(1)z--99999999
-
Semi-intelligible, 56(2)155--200
-
Semi-Thue, 26(4)409--431
-
Semidefinite, 24(1)37--65
-
semigroup, 2(3)283--286, 3(3)247--283, 12(2)209--223, 29(2)171--182
-
Sénizergues, Jonas, 53(1)63--103,
see Affeldt, Reynald
-
sense, 10(3)345--370
-
Sensitive, Context-, 65(8)1191--1229
-
Sensitive, Flow-, 42(2)265--300
-
Sensitive, Goal-, 56(2)113--141, 59(2)165--218,
67(1)z--99999999
-
Sentence-Normalized, 60(4)421--463
-
Sentential, 27(2)141--156
-
Seo, Jeongbong, 52(2)215--239
-
Seo, Jeongbong, see Park, Jonghyun
-
Separability, 23(1)83--104
-
Separated, Variable-, 67(2)z--z
-
Separation, 35(1)237--263, 45(2)131--156, 47(1)57--105, 57(4)319--387,
61(1)367--422, 62(3)331--365, 67(3)z--99999999
-
sequence, 51(1)57--77, 67(3)z--99999999
-
sequencing, car-, 2(1)1--42
-
sequent, 9(1)99--139, 47(4)341--367, 51(2)129--149, 64(8)1663--1684
-
sequent-style, 6(4)389--402
-
sequential, 14(3)427--462
-
Serafin, Luke, 59(4)389--423
-
Serafin, Luke, see Avigad, Jeremy
-
Serebrenik, Alexander, 34(2)141--177
-
Serebrenik:2005:TFP, 34(2)141--177
-
series, 47(3)291--318
-
Serpette, Bernard Paul, 40(4)307--326
-
Serpette, Bernard Paul, see Rideau, Laurence
-
Service, 50(2)229--241
-
Seshia, Sanjit A., 60(1)43--62, 60(1)107--131, 63(4)1031--1053
-
Seshia, Sanjit A., see Dreossi, Tommaso,
see Jha, Susmit, \see{Wu, Yi-Chin
-
SET, 36(1)5--37
-
set, 2(3)287--327, 3(3)319--328, 4(3)269--286, 4(3)327--329, 5(1)93--95,
5(2)235--237, 5(3)399--401, 5(4)531--532, 6(2)189--201,
7(1)105--107, 7(2)193--230, 7(2)231--256, 7(2)257--270,
7(2)271--284, 8(1)91--147, 10(1)15--58, 10(2)161--172,
10(2)173--189, 11(3)353--389, 11(3)391--428, 12(2)241--264,
15(2)167--215, 17(3)291--323, 22(1)45--63, 26(3)269--289,
33(3)251--269, 34(1)1--29, 34(1)49--72, 35(1)73--88, 36(4)z--z,
39(4)z--z, 42(1)77--97, 44(4)401--424, 52(1)1--29, 55(3)199--210,
55(3)285--294, 62(2)237--260, 63(2)159--171, 63(2)517--538,
64(2)295--330, 65(1)1--29, 65(4)569--598, 65(6)809--890,
66(4)463--497, 67(2)z--99999999
-
set, point-, 5(2)239--255
-
set-theoretic, 15(3)317--337
-
SET-VAR, 11(3)293--314
-
SETHEO, 8(2)183--212, 18(2)237--246, 22(4)397--431
-
SETHEO, E-, 18(2)237--246
-
Setting, 18(1)85--104, 28(3)257--305, 45(4)397--414, 64(3)391--422
-
Seventy-five, 2(2)191--216
-
Severi, Paula, 27(1)61--87
-
Severi:2001:STS, 27(1)61--87
-
Shadbolt, Nigel, 12(1)103--129
-
Shadbolt, Nigel, see Aitken, J. Stuart
-
Shah, Nimish, 35(4)429--431
-
Shah:2005:BRR, 35(4)429--431
-
Shallow, 64(3)611--640, 66(3)301--329
-
Shand, D., 17(2)145--169
-
Shand, D., see Linton, S.
-
Shankar, N., 1(4)407--434
-
Shankar, Natarajan, 64(3)579--609, 66(1)43--91
-
Shankar, Natarajan, see Bonacina, Maria Paola
-
Shankar:1985:TMM, 1(4)407--434
-
Shannon, 53(1)63--103
-
Shao, Zhong, 31(3)191--229, 42(2)301--347, 61(1)141--189
-
Shao, Zhong, see Chen, Hao, \see{Feng, Xinyu,
see Hamid, Nadeem A.
-
sharing, 6(2)115--145, 30(1)1--31
-
Sharygina, Natasha, 54(4)327--352
-
Sharygina, Natasha, see Alberti, Francesco
-
Sheffer, 31(1)1--9
-
Sheinvald, Sarai, 63(4)1077--1101
-
Sheinvald, Sarai, see Frenkel, Hadar
-
shell, 5(2)207--233
-
Shen, Yi-Dong, 28(1)53--97
-
Shen:2002:SRW, 28(1)53--97
-
Sheng, Ying, 66(3)331--355, 67(3)z--99999999, 67(4)z--99999999
-
Sheng:2022:PCA, 66(3)331--355
-
Sheng:2023:CSI, 67(4)z--99999999
-
Sheng:2023:RAV, 67(3)z--99999999
-
Shepherdson, J. C., 8(2)297--306
-
Shepherdson:1992:SRE, 8(2)297--306
-
Shi, Zhi-Ping, 63(3)787--808
-
Shi, Zhi-Ping, see Li, Li-Ming
-
Shi, Zhongzhi, 49(1)1--52
-
Shi, Zhongzhi, see Chang, Liang
-
Shidama, Yasunari, 50(2)161--172
-
Shidama, Yasunari, see Futa, Yuichi
-
Shiny, 60(2)221--236
-
Shiny, A. K., 22(2)149--170
-
Shiny:1999:EAG, 22(2)149--170
-
shop, Job-, 2(1)1--42
-
short, 5(4)519--530, 6(3)287--297, 29(1)1--16
-
Shortest, 20(3)283--316, 27(2)123--139, 29(2)107--124, 31(1)1--9,
36(3)241--257
-
Shrivastava, A., 28(4)371--396
-
Shrivastava, A., see Hooker, J. N.
-
Sibut-Pinote, Thomas, 62(2)281--300
-
Sibut-Pinote, Thomas, see Mahboubi, Assia
-
Siddique, Umair, 53(4)407--429
-
Siddique:2014:FGF, 53(4)407--429
-
Sidebottom, Gregory, 17(3)371--403
-
Sidebottom:1996:NSY, 17(3)371--403
-
Sieg, Wilfried, 65(8)1153--1190
-
Sieg:2021:HCA, 65(8)1153--1190
-
Siegel, Pierre, 48(3)391--417
-
Siegel, Pierre, see Benhamou, Belaïd
-
Siekmann, Joerg H., 2(3)275--275
-
Siekmann, Jörg H., 3(3)247--283,
see Herold, Alexander
-
Siekmann:1986:EN, 2(3)275--275
-
Sigley, Sarah, 66(1)1--41
-
Sigley:2022:PCM, 66(1)1--41
-
Signatures, 63(2)285--318
-
Signed, 20(1)191--213, 65(7)1071--1096
-
Signing, 36(1)39--83
-
Silva, Joao, Marques-, 63(3)695--722
-
Silva, João, Marques-, 35(1)3--24
-
Silvestre, Bruno, 66(4)905--952
-
Silvestre, Bruno, see Soldevila, Mallku
-
Siman{\v{c}}{\'\i}k, Franti{\v{s}}ek, 53(1)1--61,
see Kazakov, Yevgeny
-
Simi{\'c}, Danijela, 65(1)31--73
-
Simic:2021:FPD, 65(1)31--73
-
simple, 11(1)1--22, 17(1)97--128, 17(3)371--403, 28(4)337--369
-
simplex, 11(2)269--288, 63(2)323--345
-
Simplification, 10(1)115--136, 10(3)389--397, 49(4)583--619,
50(1)51--98
-
Simplifying, 34(3)239--294
-
Simpson, Carlos, 36(3)259--285
-
Simpson:2006:EGZ, 36(3)259--285
-
Simulating, 49(4)583--619, 64(7)1247--1267
-
Simulation, 31(1)73--103, 65(3)425--460
-
Simultaneous, 19(1)87--115, 21(2)205--231, 23(2)107--136, 30(2)121--151
-
Simultaneously, SATS-, 60(1)85--105
-
Single, 9(3)291--308, 10(1)1--13, 14(3)383--412, 19(1)87--115,
20(3)283--316, 24(3)319--364, 27(2)175--199, 28(1)35--51,
29(1)1--16, 29(2)107--124, 36(3)241--257
-
singleton, 7(2)193--230, 7(2)257--270
-
singularly, 8(3)395--419
-
Sinn, Moritz, 59(1)3--45
-
Sinn:2017:CRB, 59(1)3--45
-
Sinner, A., 32(3)259--286
-
Sinner, A., see Baumgartner, P.
-
Sinz, Carsten, 24(1)145--163, 37(1)45--66, 39(2)219--243
-
Sinz, Carsten, see Küchlin, Wolfgang
-
Sinz:2006:CCC, 37(1)45--66
-
Sinz:2007:VSI, 39(2)219--243
-
Sistla, A. Prasad, 25(4)291--328
-
Sistla:2000:RAQ, 25(4)291--328
-
Sivakumar, G., 14(2)293--316
-
Sivakumar, G., see Kapur, Deepak
-
Six, 66(4)437--438
-
size, 5(2)235--237, 59(4)425--454
-
skeletal, 1(2)161--208
-
Skeptic, 21(3)279--294
-
Skeptical, 27(4)391--421, 29(3)309--336
-
Sketches, 27(2)157--174
-
Skew, 37(1)3--20
-
Skolem, 15(2)267--275
-
Slaney, John, 29(1)59--66, 60(2)133--156, 60(4)527--527
-
Slaney, John K., 7(4)453--474
-
Slaney:1991:ACT, 7(4)453--474
-
Slaney:2002:MPA, 29(1)59--66
-
Slaney:2018:CRF, 60(2)133--156, 60(4)527--527
-
Slaney:2018:ECR, 60(2)133--156, 60(4)527--527
-
Slanina, Matteo, 28(4)397--415
-
Slanina, Matteo, see Montanari, Angelo
-
SLD--Resolution, 23(3)347--371
-
SLDENF-resolution, 17(2)199--214
-
SLDNF-resolution, 8(2)297--306
-
Sledgehammer, 51(1)109--128
-
Slicing, 32(3)259--286
-
Slind, Konrad, 43(3)237--242
-
Slind, Konrad, see Boulton, Richard
-
Slivovsky, Friedrich, 56(4)459--477, 63(1)127--155
-
Slivovsky, Friedrich, see Peitl, Tomá{\v{s}}
-
Slivovsky:2016:QRQ, 56(4)459--477
-
SLT-Resolution, 28(1)53--97
-
SLUR, 52(1)31--65
-
Slutzki, Giora, 49(4)551--582
-
Slutzki, Giora, see Tao, Jia
-
SMA, SATS-, 60(1)85--105
-
Smaill, Alan, 7(3)303--324, 22(1)65--115, 47(1)57--105
-
Smaill, Alan, see Bundy, Alan,
see Dennis, Louise Abigail,
see Madden, Peter
-
Smallest, 18(2)177--182
-
SMELS, 51(3)325--356
-
Smith, 66(4)1065--1095, 66(4)1097--1097
-
Smith, B. T., 5(4)533--540
-
Smith, B. T., see Chisholm, G. H.
-
Smolka, Gert, 52(4)407--450, 56(3)343--365, 61(1)521--553,
63(2)393--413, 63(2)415--438
-
Smolka, Gert, see Doczkal, Christian,
see Forster, Yannick, \see{Kaminski, Mark,
see Kirst, Dominik
-
Smolka, Steffen Juilf, 56(2)155--200
-
Smolka, Steffen Juilf, see Blanchette, Jasmin Christian
-
SMT, 51(1)109--128, 56(4)387--457, 58(3)341--362
-
SMT--COMP, 50(3)243--277, 55(1)61--90
-
SMT--LIB, 55(1)61--90
-
SMT-Based, 60(3)299--335, 65(3)461--461
-
SMT-COMP, 35(4)373--390
-
Snelting, Gregor, 61(1)1--8
-
Snelting, Gregor, see Avigad, Jeremy
-
Socher, Rolf, 7(3)325--336
-
Socher-Ambrosius, Rolf, 9(1)77--97
-
Socher-Ambrosius:1992:HAD, 9(1)77--97
-
Socher:1991:OCN, 7(3)325--336
-
Social, 43(3)289--304, 61(1)113--139
-
Sofronie-Stokkermans, Viorica, 51(1)1--2, 66(3)275--276
-
Sofronie-Stokkermans, Viorica, see Bj{\o}rner, Nikolaj,
see Peltier, Nicolas
-
Software, 36(4)379--410, 45(4)397--414, 52(3)275--329, 60(3)299--335,
65(3)461--461
-
Sogokon, Andrew, 63(4)1005--1029
-
Sogokon:2019:VSP, 63(4)1005--1029
-
Soldevila, Mallku, 66(4)905--952
-
Soldevila:2022:STS, 66(4)905--952
-
solid, 14(2)257--291, 22(3)241--262
-
solution, 2(1)89--101, 5(3)339--362, 19(3)263--276, 49(3)303--326,
49(3)327--362, 58(1)97--125, 58(4)509--535, 63(3)695--722
-
solve, 5(3)403--408
-
solver, 17(1)97--128, 24(1)5--36, 34(1)73--101, 43(1)81--119,
44(3)277--301, 51(1)109--128, 55(3)285--294, 56(4)387--457,
58(1)127--147, 58(3)313--339, 58(3)341--362, 61(1)73--111,
61(1)333--365, 63(3)723--762, 67(1)z--99999999
-
Solving, 5(2)141--165, 20(3)215--253, 24(1)205--223, 25(2)83--121,
27(2)157--174, 33(1)51--88, 35(1)25--50, 35(1)143--179,
35(1)201--235, 37(4)261--276, 43(1)53--80, 48(1)107--131,
49(1)53--93, 52(1)99--122, 64(1)1--20, 64(2)295--330, 66(4)689--746
-
Sommer, Richard, 32(3)227--258
-
Sommer:2004:PET, 32(3)227--258
-
S{\o}ndergaard, Harald, 63(3)723--762, see Wang, Wenxi
-
Sorge, Volker, 21(3)327--355, 35(1)201--235, 40(2)221--243
-
Sorge, Volker, see Kerber, Manfred,
see Meier, Andreas
-
Sorge:2008:ACV, 40(2)221--243
-
sort, 62(1)93--126
-
sorted, 3(2)113--200
-
Sorted, Many-, 60(2)221--236
-
Sorted, Order-, 60(4)465--501
-
Sorting, 53(2)129--139, 59(4)425--454
-
sound, 11(1)1--22, 38(1)31--56, 50(4)355--381, 55(2)117--183
-
Soundness, 58(1)149--179, 63(3)597--623
-
Sousa, Jose T., De, 24(1)5--36
-
Sousa, José T. de, 35(1)3--24, see Bhalla, Ateet
-
Sousa, Simão Melo de, 35(4)295--354,
see Barthe, Gilles
-
Southern, Jane, 39(4)431--470
-
Southern, Jane, see Stapleton, Gem
-
Sozeau, Matthieu, 64(5)947--999
-
Sozeau:2020:MP, 64(5)947--999
-
SPACE, 27(3)297--311
-
space, 11(1)23--41, 26(2)139--160, 48(2)159--195, 50(2)173--190,
60(2)237--254, 61(1)485--520
-
Spacetime, 66(4)953--988, 67(1)z--99999999
-
SPARC, 65(4)569--598
-
Sparse, 63(4)1055--1075
-
SPASS, 18(2)247--252
-
SPASS-AR, 64(3)611--640
-
Spatial, 23(1)83--104, 25(4)291--328
-
special, 13(2)173--173, 14(1)1--1, 15(1)v--v, 16(1)1--1, 37(3)153--154,
39(2)107--108, 39(3)245--247, 44(3)175--205, 45(1)1--2,
46(3)223--224, 47(2)107--109, 47(4)337--339, 48(2)133--134,
50(1)99--117, 51(1)1--2, 57(1)1--2, 59(1)1--2, 63(2)157--158,
63(4)809--811, 64(3)361--362, 64(7)1165--1167, 65(7)891--892,
66(3)275--276
-
specialized, 2(2)171--190
-
Specification, 21(2)233--275, 27(1)61--87, 28(4)337--369, 30(1)33--58,
35(4)295--354, 45(4)359--395, 45(4)415--435, 45(4)437--473,
51(3)241--280, 63(4)1077--1101, 65(8)1125--1151, 66(4)905--952
-
specificity, 15(1)41--68
-
Speculative, 47(2)161--189
-
Speech, 31(2)169--187
-
Spencer, Bruce, 25(1)1--34
-
Spencer:2000:EAD, 25(1)1--34
-
Spinks, M., 37(1)3--20
-
Spinks, M., see Veroff, R.
-
Spitters, Bas, 63(2)211--253
-
Spitters, Bas, see Birkedal, Lars
-
Spivak, David I., 66(4)805--844
-
Spivak, David I., see Meyers, Joshua
-
Splitting, 38(1)3--30, 50(1)99--117, 67(2)z--99999999
-
Springer--Verlag, 51(4)453--456
-
SPS-Parallelism, 22(4)397--431
-
SPTHEO, 18(2)253--258, 22(4)397--431
-
SQL, 66(4)989--1030
-
Square, 29(3)225--252, 58(4)509--535
-
Srba, Ji{\v{r}}{\'\i}, 36(1)125--147,
see Hüttel, Hans
-
Srinivasan, Sudarshan K., 37(1)93--116
-
Srinivasan, Sudarshan K., see Manolios, Panagiotis
-
Ssafini, Mohamed, 20(3)365--385
-
Ssafini, Mohamed, see Rody, Abdelilah Kandri
-
Stålmarck, 42(1)99--122
-
stable, 8(3)345--366, 27(4)391--421, 53(2)129--139, 67(4)z--99999999
-
stack, 5(4)519--530
-
Stannett, Mike, 52(4)361--378
-
Stannett:2014:UIH, 52(4)361--378
-
Staples, John, 6(2)115--145
-
Staples:1990:SSQ, 6(2)115--145
-
Stapleton, Gem, 39(4)431--470
-
Stapleton:2007:ATP, 39(4)431--470
-
Stärk, Robert F., 30(3)323--361
-
Stark:2003:CBV, 30(3)323--361
-
Starosta, {\v{S}}t{\v{e}}p{\'a}n, 67(3)z--99999999,
see Holub, {\v{S}}t{\v{e}}p{\'a}n
-
Starostin, Artem, 42(2)389--454
-
Starostin, Artem, see Alkassar, Eyad
-
state, 2(2)127--153, 48(2)159--195, 61(1)485--520
-
State, Infinite-, 48(1)1--42
-
State, Steady-, 67(1)z--99999999
-
statements, 6(2)203--209, 12(3)351--358
-
Static, 44(1)z--99999999, 46(2)161--203, 48(2)197--217, 64(8)1685--1729
-
Station, 65(8)1125--1151
-
status, 6(1)39--49
-
Steady-State, 67(1)z--99999999
-
Stealing, 34(1)73--101
-
Stealth, 64(8)1685--1729
-
Steamroller, 2(1)89--101
-
Steckermeier, Albert, 56(2)155--200
-
Steckermeier, Albert, see Blanchette, Jasmin Christian
-
Steel, Graham, 36(1)149--176
-
Steel:2006:AGP, 36(1)149--176
-
Steen, Alexander, 65(6)775--807
-
Steen:2021:EHO, 65(6)775--807
-
Steigmiller, Andreas, 53(4)351--405, 59(4)455--482
-
Steigmiller, Andreas, see Parsia, Bijan
-
Steigmiller:2014:RNS, 53(4)351--405
-
Steinbach, Joachim, 10(3)389--397, 18(2)237--246
-
Steinbach, Joachim, see Moser, Max
-
Steinbach:1993:SOP, 10(3)389--397
-
Stencil, 62(2)193--213
-
Stenz, Gernot, 38(1)79--126
-
Stenz, Gernot, see Letz, Reinhold
-
Step, 24(3)319--364
-
Sterling, Leon, 4(1)15--27
-
Sterling, Leon, see Bundy, Alan
-
Sternagel, Christian, 51(4)357--370
-
Sternagel:2013:PPM, 51(4)357--370
-
Stevens, Rick, 5(2)141--165, 7(1)159--161
-
Stevens, Rick, see Wang, Tie-Cheng
-
Stevens, Rick L., 3(2)211--221
-
Stevens:1987:SEN, 3(2)211--221
-
Stevens:1991:BR, 7(1)159--161
-
Stickel, 56(2)95--98, 56(2)99--112
-
Stickel, Mark, 2(3)287--327, 24(1)277--296
-
Stickel, Mark, see Boyer, Robert,
see Zhang, Hantao
-
Stickel, Mark E., 1(4)333--355, 2(1)89--101, 3(3)285--289, 4(4)353--380,
13(2)189--210
-
Stickel:1985:ADT, 1(4)333--355
-
Stickel:1986:SSP, 2(1)89--101
-
Stickel:1987:CVA, 3(3)285--289
-
Stickel:1988:PTT, 4(4)353--380
-
Stickel:1994:UMI, 13(2)189--210
-
STMM, 26(3)269--289
-
Stochastic, 27(3)251--296, 35(1)143--179, 46(2)103--160,
67(3)z--99999999
-
Stoilos, Giorgos, 53(3)245--269
-
Stoilos, Giorgos, see Glimm, Birte
-
Stokes, Timothy, 6(3)233--250
-
Stokes:1990:GBE, 6(3)233--250
-
Stokkermans, Viorica, Sofronie-, 51(1)1--2, 66(3)275--276
-
Stolzenburg, Frieder, 22(1)45--63
-
Stolzenburg:1999:AGS, 22(1)45--63
-
Stop-and-Wait, 42(1)1--33
-
Store, 54(3)199--284
-
Strand, 48(2)159--195
-
strategy, 3(3)319--328, 4(1)101--107, 6(1)1--38, 6(3)337--339,
6(4)389--402, 7(1)105--107, 7(3)439--446, 7(4)631--634, 9(1)25--42,
10(3)287--343, 11(3)317--331, 12(1)133--134, 12(3)273--304,
13(1)1--33, 15(1)69--93, 20(1)81--105, 20(3)215--253, 22(1)1--44,
24(1)225--275, 30(2)179--204, 33(2)89--132, 40(4)245--269,
64(3)461--484, 64(6)1051--1091, 65(1)125--154
-
stratified, 11(2)249--267
-
Stratulat, Sorin, 30(2)153--177
-
Stratulat, Sorin, see Rusinowitch, Michaël
-
Strichman, 51(4)453--456
-
Strict, 50(4)383--421
-
string, 34(2)105--139, 34(4)365--385
-
Ströder, Thomas, 58(1)3--31, 58(1)33--65, 59(1)121--163,
see Frohn, Florian,
see Giesl, Jürgen
-
Stroder:2017:APT, 58(1)33--65
-
Stroke, 31(1)1--9
-
strong, 10(3)345--370, 30(1)59--98, 64(3)533--554, 64(7)1247--1267,
67(4)z--99999999
-
Strongly, 49(2)141--159, 60(2)221--236, 66(3)301--329
-
Strooper, Paul A., 5(3)339--362
-
Strooper, Paul A., see Char, Bruce W.
-
Structural, 25(2)123--164
-
structure, 1(1)49--74, 6(2)115--145, 6(3)299--317, 12(3)359--388,
38(4)303--351, 53(3)271--304, 63(1)53--94, 64(5)879--910,
64(6)1093--1121
-
Structure, Fine-, 54(2)165--197
-
structure-oriented, 15(1)95--165
-
Structured, 26(2)161--203, 44(1)z--99999999
-
structured, tree-, 12(1)47--87
-
Structuring, 19(2)173--203
-
Struth, Georg, 54(2)165--197, 66(1)93--139
-
Struth, Georg, see Foster, Simon,
see Huerta y Munive, Jonathan Julián
-
Stuckey, Peter, 9(2)231--260
-
Stuckey, Peter, see Heintze, Nevin
-
Stuckey, Peter J., 63(3)723--762
-
Stuckey, Peter J., see Wang, Wenxi
-
Student, 32(1)75--92, 32(3)187--226, 39(2)181--218
-
study, 2(1)1--42, 3(1)91--107, 3(4)437--451, 8(1)1--2, 8(3)367--394,
10(3)287--343, 13(1)1--33, 16(1)181--222, 16(3)223--239,
24(1)127--143, 27(1)61--87, 45(4)415--435, 49(2)209--239,
59(2)267--286, 62(1)1--68
-
Stump, Aaron, 31(3)231--260, 35(4)373--390, 50(3)243--277, 55(1)61--90
-
Stump, Aaron, see Appel, Andrew W.,
see Barrett, Clark, \see{Cok, David R.
-
Sturgill, David, 19(3)347--376
-
Sturgill:1997:NDA, 19(3)347--376
-
Sturm, 54(4)285--326
-
Sturm, Thomas, 21(3)357--380
-
Sturm, Thomas, see Dolzmann, Andreas
-
Stützle, Thomas, 24(4)421--481, see Hoos, Holger H.
-
style, 15(2)277--278
-
Style, C11-, 66(1)141--171
-
Style, Fitch-, 34(3)239--294
-
Style, Human-, 58(2)253--291
-
style, sequent-, 6(4)389--402
-
Subclasses, 33(2)133--170
-
Subformula, 51(2)129--149, 52(1)67--97, 67(1)z--99999999
-
Subgoal, 20(3)215--253
-
Subject, 22(4)487--487, 25(4)331--332, 26(4)435--435, 27(4)425--425,
28(4)437--437, 29(3)415--415, 30(3)447--447, 31(3)373--373
-
subjective, 10(2)191--235
-
Sublanguage, 33(3)251--269
-
sublanguages, 6(2)189--201, 7(2)193--230, 7(2)231--256, 7(2)257--270,
7(2)271--284
-
Subrahmanian, V. S., 6(2)147--172, 8(3)345--366, 10(2)191--235,
10(3)371--388, 10(3)399--420
-
Subrahmanian, V. S., see Baral, Chitta R.,
see Lu, James J., \see{Ng, Raymond
-
Subrahmanyam, P. A., 2(4)391--418, 5(1)67--91
-
Subrahmanyam, P. A., see Purushothaman, S.,
see You, Jia-Huai
-
Subramani, K., 39(1)49--75, 43(2)121--137, 66(2)239--274,
67(1)z--99999999
-
Subramani, K., see Büning, Hans Kleine,
see Velasquez, Alvaro,
see Wojciechowski, Piotr
-
Subramani:2009:OLR, 43(2)121--137
-
Subramaniam, M., 16(1)39--78
-
Subramaniam, M., see Kapur, Deepak
-
Subramanian, Sakthi, 15(1)69--93
-
Subramanian:1995:MVS, 15(1)69--93
-
Subrecursive, 63(4)813--855
-
subroutine, 30(3)363--398
-
subset, 40(1)1--33, 43(3)263--288
-
Subsolvers, 35(1)73--88
-
Substitution, 30(1)59--98, 44(4)401--424, 49(2)111--114, 49(2)275--300,
59(2)219--265
-
substructural, 13(2)243--281
-
subsumption, 7(3)435--438, 12(2)225--240, 18(1)47--83, 19(2)205--262,
60(4)385--419
-
subtype, 12(3)389--406
-
Subtyping, 27(1)3--27
-
Sucar, L. Enrique, 45(1)21--37
-
Sucar, L. Enrique, see Palacios-Alonso, Miguel A.
-
success, 10(2)283--284
-
Successful, 36(4)287--287, 37(1)1--1
-
Suchenek, Marek A., 10(2)237--263, 18(3)357--398, 25(4)247--289
-
Suchenek:1993:FOS, 10(2)237--263
-
Suchenek:1997:EQU, 18(3)357--398
-
Suchenek:2000:EQU, 25(4)247--289
-
Suda, Martin, 63(3)597--623
-
Suda, Martin, see Beyersdorff, Olaf
-
Suen, E., 4(1)69--100
-
Suen, E., see Oppacher, F.
-
Sufficient, 48(4)419--439
-
Sultana, Nik, 55(4)389--404
-
Sultana, Nik, see Benzmüller, Christoph
-
sum, 55(3)223--243
-
Sumners, Rob, 51(3)241--280
-
Sumners, Rob, see Ray, Sandip
-
Sun, Jiaguang, 52(4)379--405
-
Sun, Jiaguang, see Zhou, Min
-
Sun, Yao, 59(3)331--344
-
Sun, Yao, see Zhou, Jie
-
Sundararajan, R., 6(1)51--75
-
Sundararajan, R., see Roach, J. W.
-
Sundararajan, Vaishnavi, 65(4)479--520
-
Sundararajan, Vaishnavi, see Cortier, Véronique
-
Suntisrivaraporn, Boontawee, 44(4)337--369
-
Suntisrivaraporn, Boontawee, see Grau, Bernardo Cuenca
-
Superposition, 47(2)191--227, 51(3)325--356, 53(4)317--350,
57(2)97--134, 65(7)893--940, 65(7)941--969, 66(4)541--564,
67(1)z--99999999
-
Superposition-based, 38(1)127--153
-
support, 3(3)319--328, 4(3)327--329, 7(1)105--107, 9(3)355--372,
18(2)205--210, 41(3)365--398, 66(4)463--497
-
supporting, 10(2)191--235, 62(4)433--480
-
suppositional, 6(4)419--461
-
Suppressed, Zero-, 64(7)1361--1391
-
Survey, 46(3)225--259, 54(4)353--390
-
Sutcliffe, G., 23(1)1--23, 27(3)227--250, 28(3)307--320, 31(1)23--32
-
Sutcliffe, Geoff, 18(1)135--135, 18(2)137--138, 18(2)139--162,
18(2)163--169, 18(2)271--286, 18(2)287--296, 21(1)99--134,
21(2)177--203, 24(3)371--396, 36(4)287--287, 37(1)1--1,
43(4)z--99999999, 50(2)229--241, 59(4)483--502, 66(4)439--461
-
Sutcliffe, Geoff, see Beeson, Michael,
see Fischer, Bernd,
see Pelletier, Francis Jeffry,
see Suttner, Christian, \see{Urban, Josef
-
Sutcliffe:1997:CAS, 18(2)137--138
-
Sutcliffe:1997:PCA, 18(2)163--169
-
Sutcliffe:1997:RCA, 18(2)271--286
-
Sutcliffe:1998:TPL, 21(2)177--203
-
Sutcliffe:1999:CAS, 23(1)1--23
-
Sutcliffe:2000:CAS, 24(3)371--396
-
Sutcliffe:2001:CAS, 27(3)227--250
-
Sutcliffe:2002:IAS, 28(3)307--320
-
Sutcliffe:2003:CAS, 31(1)23--32
-
Sutcliffe:2009:TPL, 43(4)z--99999999
-
Sutcliffe:2017:TPL, 59(4)483--502
-
Suttner, C. B., 23(1)1--23, 28(3)307--320, 31(1)23--32
-
Suttner, C. B., see Sutcliffe, G.
-
Suttner, Christian, 18(2)137--138, 18(2)139--162, 18(2)163--169,
18(2)271--286, 18(2)287--296, 21(1)99--134, 21(2)177--203
-
Suttner, Christian, see Pelletier, Francis Jeffry,
see Sutcliffe, Geoff
-
Suttner, Christian B., 18(2)253--258, 22(4)397--431
-
Suttner:1997:DCA, 18(2)139--162
-
Suttner:1997:SPT, 18(2)253--258
-
Suttner:1998:CAS, 21(1)99--134
-
Suttner:1999:SPS, 22(4)397--431
-
Swan, Jerry, 60(2)157--176
-
Swan, Jerry, see Kocsis, Zoltan A.
-
Swiderski, Stephan, 47(2)133--160
-
Swiderski, Stephan, see Fuhs, Carsten
-
Swiderski, Stephanie, 58(1)3--31
-
Swiderski, Stephanie, see Giesl, Jürgen
-
Syeda, Hira Taqdees, 64(5)911--945
-
Syeda:2020:FRU, 64(5)911--945
-
syllogistic, 6(2)173--187, 7(2)193--230, 7(2)231--256, 7(2)257--270
-
Sylow, 23(3)235--264
-
Symbolic, 21(3)295--325, 35(1)25--50, 46(3)225--259, 48(2)263--292,
54(3)199--284
-
Symbols, 66(3)301--329
-
symmetries, 12(1)89--102, 36(3)177--212
-
Symmetry, 41(3)z--z
-
Synchronisation, 46(3)293--323
-
synchronous, 14(3)427--462
-
syntactic, 10(2)237--263, 31(3)191--229
-
Syntax, 49(2)115--140, 49(2)209--239, 49(3)409--426, 55(4)307--372,
63(4)911--939, 64(4)641--675, 67(3)z--99999999
-
synthesis, 16(1)113--145, 21(2)233--275, 22(1)65--115, 41(1)z--z,
47(3)251--289, 60(1)107--131, 60(4)465--501, 64(7)1287--1306,
67(1)z--99999999
-
Synthesising, 67(2)z--99999999
-
synthesize, 32(4)z--99999999
-
synthesizing, 7(1)27--103, 64(7)1333--1359, 64(7)1523--1552
-
Synthetic, 23(3)411--444, 58(2)209--230, 67(1)z--99999999
-
system, 1(1)49--74, 2(1)43--62, 2(4)391--418, 5(2)207--233, 5(4)409--410,
5(4)411--428, 8(1)23--38, 9(1)43--76, 9(1)77--97, 9(3)309--354,
10(2)265--281, 11(2)213--248, 12(1)1--31, 12(2)139--156,
12(2)157--208, 12(2)241--264, 12(3)305--349, 13(2)243--281,
13(3)361--373, 13(3)409--421, 14(1)93--147, 14(2)293--316,
14(3)413--426, 16(3)321--353, 17(1)131--143, 18(2)137--138,
18(2)139--162, 18(2)163--169, 18(2)237--246, 18(2)271--286,
18(2)287--296, 20(1)191--213, 20(3)337--364, 20(3)365--385,
20(3)387--387, 21(1)99--134, 21(2)233--275, 23(1)1--23,
24(3)371--396, 26(4)409--431, 27(3)227--250, 28(3)307--320,
28(4)337--369, 30(3)271--321, 31(1)23--32, 31(3)335--370,
32(1)75--92, 32(3)187--226, 33(3)341--383, 34(3)239--294,
34(4)365--385, 36(4)287--287, 37(3)205--229, 39(4)431--470,
39(4)513--541, 41(2)143--189, 42(2)123--124, 42(2)125--187,
42(2)229--264, 43(2)121--137, 45(1)3--19, 45(2)157--188,
46(3)225--259, 48(1)1--42, 52(2)123--153, 54(4)353--390,
55(3)211--221, 57(1)3--36, 58(2)231--251, 58(3)313--339,
59(2)165--218, 63(4)887--909, 63(4)1005--1029, 63(4)1031--1053,
63(4)1077--1101, 64(3)361--362, 64(3)533--554, 64(3)579--609,
64(7)1247--1267, 64(8)1611--1662, 65(2)321--356, 65(3)425--460,
66(1)93--139, 66(1)173--173, 66(2)239--274, 67(1)z--99999999,
67(2)z--99999999, 67(2)z--z, 67(3)z--99999999
-
System, Operating-, 42(2)189--227
-
System-Level, 63(1)1--51, 64(8)1685--1729
-
systolic, 5(1)67--91
-
Sza{\l}as, Andrzej, 18(3)297--336, see Doherty, Patrick
-
Szasz, Nora, 27(1)61--87
-
Szasz, Nora, see Severi, Paula
-
Szeider, Stefan, 35(1)73--88, 42(1)77--97, 56(4)459--477, 63(1)127--155
-
Szeider, Stefan, see Peitl, Tomá{\v{s}},
see Samer, Marko,
see Slivovsky, Friedrich
-
Szeider:2005:BSD, 35(1)73--88
-
Szekeres, Erd{\H{o}}s-, 62(3)301--329
-
Szemerédi, 67(1)z--99999999