Index file section S for tocl.bib

Last update: Thu Oct 19 02:13:38 MDT 2023

Return to index directory

S

S, 13(2)15--15, 14(4)29--29, 15(4)34--34, 17(1)7--7
S4, 15(1)4--4, 22(4)24--24
S5, 22(4)24--24
S5-knowledge, 16(4)35--35
S5WD, 1(2)247--284
Sabbatini, Giuliana, 6(2)389--440
Sabbatini, Giuliana, see Eiter, Thomas
Sadri, Fariba, 2(4)431--431
Sadri, Fariba, see Apt, Krzysztof R.
Sadrzadeh, Mehrnoosh, 14(4)34--34
Sadrzadeh, Mehrnoosh, see Dyckhoff, Roy
safe, 9(3)16--16, 10(4)24--24, 18(3)25--25, 20(3)17--17
safe, 1-, 20(3)17--17
safe, fail-, 8(2)z--99999999
safety, 1(1)3--32, 9(3)16--16, 10(3)15--15, 12(2)10--10, 12(3)18--18, 12(3)19--19, 15(2)13--13, 15(3)22--22, 17(3)16--16, 18(2)14--14, 19(3)20--20, 19(4)28--28
Sagiv, 18(3)23--23
Sagiv, Mooly, 8(1)z--99999999
Sagiv, Mooly, see Yorsh, Greta
Sagiv, Yehoshua, 6(2)328--360
Sagiv, Yehoshua, see Cohen, Sara
Sagonas, Konstantinos, 2(1)57--92
Sagonas, Konstantinos, see Verbaeten, Sofie
Saha, Shambwaditya, 19(2)10--10
Saha, Shambwaditya, see Neider, Daniel
said, 12(2)9--9, 13(2)17--17
Sakama, Chiaki, 6(2)203--231, 9(2)9--9, 15(2)12--12
Sakama, Chiaki, see Son, Tran Cao
Sakama:2005:IAS, 6(2)203--231
Sakama:2008:CAS, 9(2)9--9
Sala, Pietro, 20(1)4--4
Sala, Pietro, see Bozzelli, Laura
Salibra, Antonino, 4(3)379--401
Salibra:2003:TIO, 4(3)379--401
salient, 16(4)32--32
same, 1(1)33--59, 1(2)175--207, 1(2)247--284, 2(3)388--407, 8(3)17--17, 8(4)23--23, 9(1)5--5, 9(2)10--10, 10(2)9--9, 12(2)10--10, 13(1)8--8, 13(2)16--16, 13(4)34--34, 14(1)2--2, 14(2)14--14, 14(4)29--29, 15(2)13--13, 15(2)17--17, 15(4)31--31, 15(4)35--35, 16(3)21--21, 16(4)31--31, 17(1)7--7, 17(2)8--8, 17(2)9--9, 17(4)25--25, 17(4)32--32, 18(1)1--1, 18(1)3--3, 18(2)10--10, 18(4)33--33, 19(2)11--11, 20(2)10--10, 20(4)20--20, 21(1)6--6, 21(3)25--25, 24(2)13--13
Samer, Marko, 11(3)20--20
Samer:2010:DLS, 11(3)20--20
sample, 14(2)10--10
sampling, 12(1)8--8, 23(1)5--5
San Pietro, Pierluigi, 21(3)26--26
San Pietro, Pierluigi, see Menghi, Claudio
Sangiorgi, Davide, 18(1)4--4
Sangiorgi:2017:ECU, 18(1)4--4
Santini, Francesco, 12(1)5--5
Santini, Francesco, see Bistarelli, Stefano
Santo, José Espírito, 12(3)22--22
Santo:2011:CMS, 12(3)22--22
Santocanale, Luigi, 21(1)4--4
Santocanale, Luigi, see Ghilardi, Silvio
Santos, Natalia Abad, 23(1)4--4
Santos, Natalia Abad, see Gallo, Fabio R.
Sanwal, Kumud, 1(1)162--170
Sanwal, Kumud, see Aziz, Adnan
Sardiña, Sebastian, 2(4)495--525, see De Giacomo, Giuseppe
Sarkar, Susmit, 9(3)16--16
Sarkar, Susmit, see Crary, Karl
Sasson, Ben-, 13(2)16--16, 19(1)1--1
Sasson, Eli, Ben-, 11(3)19--19
SAT, 16(3)24--24, 17(3)22--22, 18(3)21--21, 20(3)15--15, 24(1)7--7, 24(4)31--31
Sat, Qbf-, 17(1)7--7
SAT-based, 14(2)15--15, 16(3)24--24, 20(3)15--15
SAT-call, 20(3)15--15
SAT-Inspired, 24(1)7--7
satellite, 13(3)25--25, 19(4)28--28
satisfaction, 8(4)23--23, 9(1)5--5, 9(3)20--20, 10(1)3--3, 10(3)17--17, 11(3)15--15, 11(3)20--20, 11(4)24--24, 12(4)24--24, 13(1)1--1, 13(1)5--5, 14(3)17--17, 14(3)18--18, 14(4)30--30, 14(4)33--33, 15(4)30--30, 16(1)7--7, 17(1)6--6, 17(3)20--20, 17(3)22--22, 18(1)2--2, 18(3)21--21, 18(3)23--23, 18(4)27--27, 20(1)1--1, 23(1)7--7, 23(3)14--14
satisfactory, 11(3)18--18, 12(4)25--25, 17(1)5--5
satisfiability, T-, 10(1)4--4
satisfiability-testing, 16(2)16--16
satisfiable, 11(3)18--18, 11(4)27--27, 15(2)13--13, 15(2)17--17, 17(4)32--32, 19(3)18--18
satisfiable, equi-, 13(2)14--14
Satisfiablity, 24(4)32--32
satisfied, 9(3)17--17, 13(1)1--1, 21(2)13--13, 21(4)30--30
satisfy, 1(1)112--130, 2(3)388--407, 8(3)15--15, 8(4)21--21, 9(2)12--12, 9(3)16--16, 9(3)19--19, 9(3)20--20, 10(1)4--4, 10(1)7--7, 11(4)29--29, 12(2)12--12, 13(1)2--2, 13(2)12--12, 14(2)12--12, 14(2)14--14, 14(4)32--32, 14(4)33--33, 15(3)24--24, 15(4)34--34, 16(3)25--25, 16(4)31--31, 16(4)33--33, 17(2)8--8, 17(3)17--17, 19(2)12--12, 20(1)1--1, 21(3)26--26, 21(4)27--27, 23(2)12--12, 24(1)5--5
satisfying, 9(2)9--9, 11(3)18--18, 14(2)9--9, 15(3)25--25, 18(1)6--6, 19(2)12--12, 19(2)13--13
Sato, 15(4)32--32
Sattler, Christian, 16(2)18--18
Sattler, Christian, see Kraus, Nicolai
Sattler, Uli, 22(1)1--1
Sattler, Uli, see Britz, Katarina
saturated, 11(4)27--27
saturation-based, 21(3)22--22
Saurin, Alexis, 11(4)28--28
Saurin:2010:TSC, 11(4)28--28
Savitch, 15(1)2--2
say, 12(1)2--2, 22(1)7--7
saying, 1(1)33--59, 16(3)27--27, 20(1)1--1
scalability, 10(1)4--4
scalable, 20(3)13--13, 20(3)16--16, 20(4)19--19
scalar, 19(4)25--25
scale, 14(4)29--29, 16(1)2--2, 20(3)15--15, 21(1)5--5
scale, large-, 19(4)24--24, 20(1)5--5
scale-free, 12(1)5--5
Scarcello, Francesco, 7(3)499--562
Scarcello, Francesco, see Leone, Nicola
scenario, 1(1)131--161, 10(1)5--5, 14(4)34--34, 18(2)8--8, 21(1)3--3, 22(2)13--13
scenario-where, 15(4)31--31
Schaefer, 11(4)24--24, 15(3)19--19, 18(3)21--21, 24(3)26--26
Schaerf, Marco, 8(1)z--99999999
Schaerf, Marco, see Liberatore, Paolo
Schalthöfer, Svenja, 19(2)7--7, see Pakusa, Wied
Schaub, 8(3)18--18
Schaub, Torsten, 14(2)14--14, 14(2)15--15
Schaub, Torsten, see Delgrande, James, see Gebser, Martin
Schauss, Manfred, Schmidt-, 12(4)26--26
scheduler, 9(1)5--5, 13(4)28--28
scheduling, 1(2)285--320, 5(3)470--507, 9(3)17--17, 20(3)16--16
Schellhorn, Gerhard, 15(4)31--31
Schellhorn:2014:SCP, 15(4)31--31
schema, 9(2)8--8, 13(2)15--15, 14(1)2--2, 17(3)21--21
schematic, 23(1)2--2
schematizing, 10(2)10--10
scheme, 10(4)24--24, 14(3)24--24, 15(4)28--28, 17(2)13--13, 18(3)25--25, 21(2)8--8, 22(1)3--3, 22(2)10--10, 23(4)27--27
schemes, 9(3)17--17, 14(2)11--11, 17(2)13--13, 18(3)25--25, 22(2)12--12
Schindlauer, Roman, 12(2)11--11
Schindlauer, Roman, see Eiter, Thomas
Schindler, Irena, 18(1)1--1
Schindler, Irena, see Lück, Martin
Schirrmacher, Nicole, 24(4)30--30
Schirrmacher:2023:FOL, 24(4)30--30
Schmidt, Johannes, 15(3)19--19, 24(3)26--26
Schmidt, Johannes, see Creignou, Nadia, see Mahmood, Yasir
Schmidt, Renate A., 8(4)19--19, 15(1)7--7
Schmidt-Schauss, Manfred, 12(4)26--26
Schmidt-Schauss, Manfred, see Gascón, Adrià
Schmidt:2007:ATP, 8(4)19--19
Schmidt:2014:UTD, 15(1)7--7
Schmitt, Alan, 16(2)16--16
Schmitt, Alan, see Genevès, Pierre
Schmitz, Sylvain, 16(3)20--20
Schmitz, Sylvain, see Lazi{\'c}, Ranko
Schneider, 15(2)13--13
Schneider, Thomas, 12(2)13--13
Schneider, Thomas, see Bauland, Michael
Schneider-Kamp, Peter, 11(1)2--2
Schneider-Kamp:2009:ATP, 11(1)2--2
Schnoebelen, Philippe, 9(1)5--5
Schnoebelen, Philippe, see Baier, Christel
Schnoor, 17(1)2--2
Schnoor, Henning, 11(4)24--24, 12(2)13--13
Schnoor, Henning, see Bauland, Michael, see Creignou, Nadia
Schnoor, Ilka, 11(4)24--24, 12(2)13--13
Schnoor, Ilka, see Bauland, Michael, see Creignou, Nadia
Schnorr, 13(3)24--24
Schockaert, Steven, 13(4)33--33
Schockaert:2012:FEL, 13(4)33--33
Schönfinkel-Ramsey, Bernays-, 21(3)19--19
Schöpp, Ulrich, 11(4)26--26, 23(4)25--25, see Hofmann, Martin, \see{Hu, Jason Z. S.
Schreye, Danny, De, 2(1)57--92
Schrijver, Lovász-, 20(1)1--1
Schröder, Lutz, 10(2)13--13, 19(1)4--4, 23(2)11--11, see Kupke, Clemens
Schroder:2009:PBR, 10(2)13--13
Schroder:2018:CFC, 19(1)4--4
Schubert, Aleksy, 17(4)30--30
Schubert:2016:HHP, 17(4)30--30
Schulz, Stephan, 10(1)4--4
Schulz, Stephan, see Armando, Alessandro
Schupp, 20(3)17--17
Schwartz, Daniel G., 16(4)32--32
Schwartz:2015:DRS, 16(4)32--32
Schweikardt, Nicole, 6(3)634--671, 19(2)14--14
Schweikardt, Nicole, see Neven, Frank
Schweikardt:2005:AFO, 6(3)634--671
Schweitzer, Pascal, 23(1)1--1
Schweitzer, Pascal, see Kiefer, Sandra
Schwentick, Thomas, 1(1)112--130, 5(3)403--435, 12(4)27--27, 13(3)19--19, 20(3)18--18
Schwentick, Thomas, see Boja{\'n}czyk, Miko{\l}aj, see Geck, Gaetano, \see{Gelade, Wouter, see Grohe, Martin, \see{Neven, Frank
Schwichtenberg, Helmut, 3(3)383--401
Schwichtenberg, Helmut, see Aehlig, Klaus
Schwind, Camilla, 10(3)21--21
Schwind, Camilla, see Giordano, Laura
Schwind, Camilla B., 8(4)22--22
Schwind, Camilla B., see Olivetti, Nicola
Sci, 19(1)1--1
Sciavicco, Guido, 18(3)22--22
Sciavicco, Guido, see Bresolin, Davide
science, 2(2)255--287, 9(3)15--15, 12(4)26--26, 15(4)30--30, 19(1)4--4, 21(4)31--31, 23(2)9--9
scientific, 14(4)29--29
SCIFF, 9(4)29--29
SCLP, 12(1)5--5
scope, 11(4)27--27, 12(2)17--17, 17(4)23--23, 17(4)30--30, 18(2)16--16
scope-based, 20(3)16--16
Scozzari, Francesca, 6(1)33--60
Scozzari, Francesca, see Giacobazzi, Roberto
scratch, 20(2)10--10
SE, 14(2)14--14, 21(4)33--33
seamless, 20(4)20--20
search, 1(2)285--320, 2(2)182--215, 2(3)340--387, 5(2)351--383, 6(3)539--577, 7(1)38--83, 8(4)23--23, 9(3)21--21, 10(1)4--4, 10(4)28--28, 11(2)13--13, 12(4)25--25, 13(1)2--2, 13(2)14--14, 13(4)32--32, 13(4)33--33, 14(3)17--17, 14(3)20--20, 14(4)34--34, 15(1)2--2, 15(1)10--10, 15(3)18--18, 16(1)8--8, 18(2)8--8, 18(2)11--11, 19(2)7--7, 20(2)7--7, 20(4)23--23, 21(1)1--1, 24(4)32--32
search, proof-, 2(2)182--215, 16(1)8--8, 17(4)30--30, 21(3)18--18, 21(3)22--22
search, Refutation-, 21(3)22--22
Sebastiani, Roberto, 12(1)7--7, 16(2)12--12, 19(3)19--19
Sebastiani, Roberto, see Cimatti, Alessandro
Sebastiani:2015:OMT, 16(2)12--12
second, 1(1)33--59, 1(1)131--161, 2(1)93--134, 8(3)15--15, 8(4)24--24, 9(2)14--14, 10(1)5--5, 12(1)5--5, 12(1)7--7, 12(2)12--12, 13(1)2--2, 13(2)13--13, 13(2)16--16, 13(2)17--17, 13(3)27--27, 13(4)30--30, 13(4)33--33, 14(2)12--12, 14(2)14--14, 14(3)17--17, 14(3)19--19, 14(4)29--29, 15(1)6--6, 15(2)16--16, 15(2)17--17, 15(3)24--24, 16(1)9--9, 16(3)19--19, 17(1)2--2, 17(1)5--5, 17(1)7--7, 19(1)6--6, 19(2)7--7, 19(2)14--14, 19(3)22--22, 19(3)23--23, 20(3)13--13, 21(1)4--4, 21(1)5--5, 21(1)6--6, 21(2)9--9
Second-Order, 14(4)25--25, 17(4)25--25, 18(3)20--20
second-order, 2(1)135--153, 2(2)216--254, 6(2)468--480, 10(1)7--7, 12(1)3--3, 13(4)31--31, 14(4)25--25, 15(1)2--2, 15(2)11--11, 17(2)12--12, 17(4)25--25, 18(2)9--9, 18(2)11--11, 18(4)33--33, 20(3)17--17, 21(2)11--11, 21(2)15--15, 22(2)12--12
secrecy, 9(4)28--28, 11(3)17--17, 16(1)3--3, 17(1)3--3, 21(1)1--1, 21(1)2--2
secrecy-preserving, 16(1)3--3
secret, 16(1)3--3
secure, 19(4)28--28
security, 2(4)542--580, 9(4)24--24, 11(2)9--9, 11(3)17--17, 14(1)4--4, 17(1)3--3, 17(4)23--23, 19(4)26--26, 21(1)1--1, 21(1)2--2, 22(1)3--3
security-critical, 19(4)28--28
see, 7(4)765--797, 8(1)z--99999999, 9(3)20--20, 11(4)29--29, 14(1)5--5, 14(2)12--12, 17(2)14--14, 19(4)24--24
seek, 9(3)16--16
seeking, 22(4)26--26
seem, 11(4)24--24, 11(4)25--25, 13(3)20--20, 16(4)28--28
seemingly, 16(3)27--27
seen, 2(2)155--181, 8(4)21--21, 12(1)1--1, 13(1)5--5, 13(2)10--10, 13(2)16--16, 14(1)5--5, 17(4)24--24, 22(1)1--1, 23(1)4--4
Seese, 8(4)21--21, 20(3)17--17
Segala, 16(1)2--2
Segerberg, 16(4)30--30
Segerlind, 19(4)29--29
Segerlind, Nathan, 7(2)199--218
Segerlind, Nathan, see Impagliazzo, Russell
segment, 18(3)18--18, 19(4)30--30, 22(2)14--14
Segoufin, Luc, 3(3)336--358, 11(1)4--4, 12(4)27--27, 14(4)25--25
Segoufin, Luc, see Benedikt, Michael, see Boja{\'n}czyk, Miko{\l}aj, see Grohe, Martin, \see{Kazana, Wojciech
Segura, Clara, 21(2)13--13
Segura, Clara, see Montenegro, Manuel
Seidl, Helmut, 9(4)28--28
Seidl, Martina, 22(1)2--2
Seidl, Martina, see Oetsch, Johannes
Seidl:2008:FOV, 9(4)28--28
Seiller, Thomas, 19(3)21--21
Seiller:2018:IGN, 19(3)21--21
Seipel, Dietmar, 7(1)1--37
Seipel, Dietmar, see Janhunen, Tomi
Selberg, 9(1)2--2
select, 14(2)14--14, 18(4)27--27, 19(2)7--7
selected, 2(3)289--339
selection, 2(1)57--92, 9(3)17--17, 15(1)10--10, 21(3)18--18
selectively, 16(1)3--3
self, 20(3)16--16
self-disabling, 20(3)16--16
self-dual, 12(4)23--23, 19(1)5--5, 20(4)22--22
self-loops, 16(1)3--3
self-predual, 20(1)3--3
self-preduality, 20(1)3--3
Self-Stabilization, 20(3)16--16
self-stabilization, 20(3)16--16
Selman, Erkal, 19(2)7--7, 23(1)1--1
Selman, Erkal, see Kiefer, Sandra, see Pakusa, Wied
semantical, 8(3)17--17, 12(2)17--17, 13(2)14--14, 19(4)25--25
semantically, 14(3)24--24, 15(2)13--13
semantics-the, 19(3)22--22
semi-algorithm, 20(3)16--16
semi-automated, 16(4)31--31
semi-decision, 19(2)13--13
semi-lattice, 14(4)30--30
semialgebraic, 20(1)1--1
semicomplete, 18(1)2--2
semidirect, 18(4)30--30
semijoin, 19(2)14--14
semilattices, join-, 20(1)3--3
semilinear, 14(2)13--13, 20(3)14--14
seminal, 11(3)20--20, 12(2)13--13, 15(4)26--26
semiring, 16(1)1--1, 20(1)3--3
semiring, C-, 12(1)5--5
semistable, 16(3)22--22
semistructured, 8(4)24--24, 12(4)27--27
sender, 14(2)9--9
sending, 12(1)5--5, 14(2)9--9
sends, 20(2)11--11
Senellart, Pierre, 21(1)6--6
Senellart, Pierre, see Benedikt, Michael
Sénizergues, 17(2)13--13
sense, 2(3)340--387, 10(3)22--22, 13(1)3--3, 13(1)4--4, 13(2)11--11, 13(2)12--12, 14(2)16--16, 14(4)29--29, 14(4)30--30, 14(4)32--32, 15(3)24--24, 15(4)27--27, 16(3)25--25, 17(2)10--10, 18(1)1--1, 18(2)17--17, 18(3)18--18, 19(2)7--7, 19(4)28--28, 20(4)22--22
sense, common-, 9(2)14--14
sensing, 2(4)433--457, 10(1)5--5
Sensitive, Field-, 15(4)33--33
sensitive, field-, 15(4)33--33
Sensitive, Relevance-, 24(2)18--18
sensitive, relevance-, 24(2)18--18
sensor, 14(4)33--33, 20(4)19--19
sent, 14(3)23--23, 15(4)32--32, 19(4)27--27, 23(2)10--10
sentence, 12(1)3--3, 13(1)5--5, 13(4)30--30, 15(1)9--9, 16(2)17--17, 17(2)10--10, 17(4)32--32, 18(3)24--24, 18(4)29--29, 18(4)33--33, 20(2)9--9, 23(2)12--12, 24(3)23--23
separate, 2(1)57--92, 8(4)21--21, 13(3)19--19, 15(2)17--17, 15(4)26--26, 18(2)14--14, 19(2)7--7, 20(2)7--7, 24(3)22--22
separating, 17(1)1--1, 17(2)12--12, 17(3)15--15, 19(4)29--29, 21(3)19--19, 22(2)14--14, 24(1)1--1
separation, 11(3)18--18, 11(4)28--28, 14(1)6--6, 14(3)19--19, 16(1)6--6, 16(2)15--15, 17(2)12--12, 17(3)15--15, 19(2)13--13, 19(4)29--29, 21(2)9--9, 21(3)19--19, 22(2)14--14, 24(1)1--1
separation, C-, 21(2)9--9
seq, 12(4)23--23
SeqS, 8(4)22--22
sequence, 6(4)727--748, 9(3)18--18, 10(1)5--5, 10(3)16--16, 12(1)8--8, 12(2)10--10, 13(1)9--9, 13(3)24--24, 15(3)21--21, 15(4)34--34, 18(3)18--18, 18(4)27--27, 20(1)4--4, 20(2)10--10, 20(4)20--20, 23(2)12--12, 23(3)14--14
sequencelike, 19(2)7--7
sequent, 2(2)182--215, 2(3)340--387, 3(2)226--278, 6(3)578--613, 8(4)22--22, 10(2)12--12, 12(3)22--22, 14(1)5--5, 14(4)27--27, 14(4)34--34, 15(3)21--21, 16(1)5--5, 16(1)8--8, 19(2)13--13, 20(2)7--7, 20(3)13--13, 20(4)22--22, 21(3)18--18, 22(3)19--19, 22(4)25--25
sequential, 1(1)77--111, 8(3)15--15, 8(3)16--16, 9(3)19--19, 10(3)19--19, 12(2)16--16, 12(3)21--21, 15(3)18--18, 16(4)30--30, 17(4)28--28
sequential-time, 1(1)77--111
sequentiality, 3(3)402--417
sequentialization, 14(1)5--5
sequentially, 18(1)3--3
Sequents, 2-, 22(3)19--19
sere, 15(2)13--13
Serebrenik, Alexander, 11(1)2--2
Serebrenik, Alexander, see Schneider-Kamp, Peter
Sergot, Marek, 2(4)581--622, 10(1)1--1
Sergot, Marek, see Artikis, Alexander
Sergot:2001:CTN, 2(4)581--622
serial, 19(4)31--31
series, 8(3)15--15, 8(3)16--16, 9(1)6--6, 12(4)23--23, 13(4)30--30, 15(2)15--15, 15(4)35--35, 17(3)15--15, 19(1)5--5, 19(3)21--21
series, power-, 17(3)15--15
series, time-, 9(1)7--7
serious, 9(1)2--2, 13(1)1--1, 15(2)16--16
Serre, Olivier, 15(3)24--24, 16(4)36--36, 18(3)25--25, 21(3)21--21, 22(1)7--7, 22(2)12--12, 22(3)16--16
Serre, Olivier, see Berthon, Raphaël, see Broadbent, Christopher H., see Carayol, Arnaud, \see{Hague, Matthew
Servais, Frederic, 19(2)14--14
Servais, Frederic, see Neven, Frank
serve, 14(4)27--27, 16(4)32--32, 23(3)18--18
server, 20(3)18--18
service, 9(4)25--25
service, quality-of-, 12(1)5--5
serving, 12(3)20--20
sessions, 11(3)17--17, 17(1)3--3, 17(4)23--23, 21(1)2--2, 22(1)3--3
Set, Answer-, 17(3)22--22, 21(4)33--33
set, Answer-, 22(1)2--2
set, answer-, 17(3)22--22, 21(4)33--33, 22(1)2--2
set, ideal-, 16(3)22--22
set, pre-, 14(3)24--24
set-an, 19(2)7--7
set-at-a-time, 13(4)32--32
Set-Inductions, 17(4)27--27
set-oriented, 13(4)32--32
set-theoretic, 17(4)28--28
set-theoretical, 15(4)35--35
set/stable, 12(4)25--25
setting, 1(2)247--284, 9(1)7--7, 9(3)20--20, 11(4)23--23, 12(1)8--8, 12(3)20--20, 12(3)21--21, 13(1)9--9, 13(2)16--16, 13(4)33--33, 14(1)5--5, 14(2)9--9, 14(2)15--15, 14(3)24--24, 15(1)6--6, 15(2)15--15, 15(3)24--24, 15(4)34--34, 16(1)1--1, 16(1)2--2, 16(1)3--3, 16(1)6--6, 16(1)7--7, 16(2)16--16, 16(3)22--22, 16(3)26--26, 16(3)27--27, 16(4)30--30, 16(4)33--33, 18(1)3--3, 18(2)15--15, 18(3)21--21, 18(4)27--27, 18(4)32--32, 19(2)7--7, 19(2)12--12, 19(3)23--23, 20(2)8--8, 20(2)12--12, 20(4)20--20, 20(4)21--21, 22(1)1--1, 22(1)5--5, 23(1)2--2
settle, 14(1)2--2, 17(2)10--10, 18(3)24--24
several, 1(1)131--161, 2(3)388--407, 8(4)23--23, 8(4)24--24, 9(1)4--4, 9(1)7--7, 9(2)14--14, 9(3)20--20, 10(1)4--4, 10(2)10--10, 10(2)11--11, 10(4)27--27, 10(4)29--29, 11(3)16--16, 11(4)22--22, 11(4)23--23, 12(1)7--7, 12(2)12--12, 12(3)20--20, 13(1)1--1, 13(1)7--7, 13(2)11--11, 13(2)12--12, 13(3)22--22, 13(4)34--34, 14(1)4--4, 14(1)7--7, 14(2)14--14, 14(3)24--24, 14(4)26--26, 14(4)32--32, 15(1)1--1, 15(4)28--28, 16(1)7--7, 16(2)12--12, 16(3)25--25, 16(3)27--27, 17(3)16--16, 18(1)1--1, 18(1)6--6, 18(2)9--9, 18(2)13--13, 18(4)27--27, 18(4)31--31, 19(2)9--9, 19(2)13--13, 19(3)17--17, 19(4)24--24, 19(4)26--26, 19(4)28--28, 20(1)3--3, 20(3)13--13, 20(3)15--15, 20(3)16--16, 21(1)2--2, 21(1)3--3, 22(4)26--26, 23(2)9--9, 23(3)18--18, 23(4)24--24, 24(3)27--27
Shakarian, Paulo, 12(2)14--14, 13(2)13--13, 14(2)10--10
Shakarian:2011:APT, 12(2)14--14
Shakarian:2012:APT, 13(2)13--13
Shakarian:2013:UGA, 14(2)10--10
shall, 8(3)15--15, 15(1)4--4
shallow, 10(2)13--13, 18(2)17--17
Shannon, 10(3)22--22
Shapirovsky, Ilya, 23(3)15--15
Shapirovsky:2022:SPS, 23(3)15--15
share, 15(4)34--34, 16(1)3--3, 17(1)5--5
shared, 9(2)8--8, 15(4)31--31, 18(1)3--3
Sharma, Arun, 5(2)332--350
Sharma, Arun, see Ignjatovic, Aleksandar
sharp, 13(2)16--16
sharpening, 17(2)12--12
shed, 9(1)7--7
Shehtman, 16(1)9--9
Shelah-like'', ``Keisler-, 9(2)8--8
shelf, off-the-, 8(3)18--18, 14(2)14--14
Shen, Samuel S. P., 4(4)417--430
Shen, Samuel S. P., see Shen, Yi-Dong
Shen, Yi-Dong, 4(4)417--430, 9(4)27--27, 17(3)22--22
Shen, Yi-Dong, see Wen, Lian
Shen:2003:DAC, 4(4)417--430
Shen:2008:RRL, 9(4)27--27
Sherali--Adams, 17(3)19--19
SHI, 9(4)25--25
shift-persistent, 13(3)24--24
shifting, 14(4)29--29
SHIQ, 9(4)25--25
SHIQO, 9(4)25--25
Shirmohammadi, Mahsa, 20(2)11--11
Shirmohammadi, Mahsa, see Quaas, Karin
Shkatov, Dmitry, 11(1)3--3
Shkatov, Dmitry, see Goranko, Valentin
Shoham, 20(1)4--4, 24(3)24--24
Shoham, Halpern-, 18(3)22--22
Shoham, Sharon, 9(1)1--1
Shoham:2007:GBF, 9(1)1--1
short, 2(3)340--387, 8(4)24--24, 12(1)4--4, 13(3)25--25, 15(2)17--17, 16(3)25--25, 16(4)35--35, 19(1)1--1, 24(1)3--3
shortcoming, 2(1)57--92, 19(2)12--12
shorter, 18(2)12--12, 21(2)8--8
should, 2(3)340--387, 10(1)1--1, 13(1)3--3, 15(3)24--24, 15(4)35--35, 16(1)3--3, 16(3)23--23, 17(3)18--18, 20(4)25--25
showed, 9(4)28--28, 12(2)13--13
showing, 9(3)22--22, 9(4)25--25, 9(4)28--28, 10(1)4--4, 12(1)4--4, 12(2)13--13, 13(2)16--16, 14(2)12--12, 14(3)20--20, 14(4)26--26, 14(4)27--27, 15(4)31--31, 16(4)28--28, 17(1)7--7, 17(3)18--18, 19(1)1--1, 19(1)3--3, 19(2)11--11, 19(2)15--15, 20(1)1--1, 20(3)13--13, 21(2)8--8, 23(4)24--24, 24(4)28--28
shown, 1(1)33--59, 1(1)162--170, 1(2)208--246, 9(1)3--3, 9(2)10--10, 10(3)15--15, 10(3)22--22, 12(1)8--8, 12(2)10--10, 12(4)27--27, 13(3)19--19, 13(3)22--22, 13(4)30--30, 14(2)14--14, 14(4)25--25, 15(1)1--1, 15(1)6--6, 15(4)26--26, 15(4)31--31, 16(1)9--9, 16(4)30--30, 17(2)14--14, 17(3)17--17, 17(4)23--23, 18(1)4--4, 18(2)9--9, 18(2)11--11, 18(2)17--17, 19(1)6--6, 19(3)16--16, 19(4)25--25, 19(4)28--28, 20(3)18--18, 23(4)22--22
shrink, 21(3)18--18
Shukla, Anil, 19(1)1--1
Shukla, Anil, see Beyersdorff, Olaf
Shy, 20(2)12--12
siblings, 17(2)14--14
side, 1(1)33--59, 10(2)11--11, 14(1)2--2, 15(4)27--27, 17(1)2--2, 18(2)17--17, 18(3)23--23, 19(4)27--27, 20(2)12--12
side, right-hand-, 9(3)22--22
side-effect, 16(4)35--35
sided, one-, 15(2)16--16, 16(1)6--6
sided, two-, 15(2)16--16
Sidiropoulos, Anastasios, 11(2)12--12
Sidiropoulos, Anastasios, see Cosmadakis, Stavros
Siebertz, Sebastian, 21(2)11--11, 21(4)29--29, 24(4)30--30
Siebertz, Sebastian, see Eickmeyer, Kord, see Gajarský, Jakub, see Schirrmacher, Nicole
Sietsma, Floor, 14(3)23--23
Sietsma:2013:CKE, 14(3)23--23
signal, 12(1)8--8, 14(2)9--9
signature, 13(4)31--31, 14(2)13--13, 17(4)23--23, 21(1)2--2
signed, 8(3)18--18
significant, 9(3)20--20, 12(1)6--6, 13(1)7--7, 16(2)11--11, 16(2)16--16, 18(4)28--28, 18(4)31--31, 19(4)27--27, 19(4)28--28, 20(3)16--16, 22(1)1--1, 24(3)21--21
significantly, 1(2)175--207, 13(3)21--21, 14(1)3--3, 17(3)22--22, 18(4)29--29, 20(2)10--10
signing, 11(3)17--17
signing, contract-, 11(3)17--17
silent, 18(3)25--25
Siles, Vincent, 14(4)26--26
Siles, Vincent, see Heras, Jónathan
Silva, Alexandra, 14(1)7--7, 15(1)3--3, 21(3)23--23
Silva, Alexandra, see Bonchi, Filippo, see Bonsangue, Marcello M., see Goncharov, Sergey
Simari, Gerardo, 12(2)14--14
Simari, Gerardo, see Shakarian, Paulo
Simari, Gerardo I., 13(2)13--13, 14(2)12--12, 23(1)4--4
Simari, Gerardo I., see Gallo, Fabio R., see Shakarian, Paulo
Simari:2013:PAQ, 14(2)12--12
similar, 2(3)289--339, 8(3)14--14, 10(3)17--17, 10(4)29--29, 11(4)24--24, 13(2)12--12, 13(4)30--30, 14(1)3--3, 14(1)4--4, 16(3)27--27, 16(4)28--28, 17(2)10--10, 17(4)25--25, 18(3)21--21, 18(4)33--33, 19(1)1--1
similarity, 10(4)29--29, 15(4)26--26, 17(4)25--25
similarly, 13(1)4--4, 13(3)20--20, 14(4)31--31, 18(3)21--21, 19(4)24--24, 20(1)3--3, 24(1)6--6
Simkus, Mantas, 18(4)27--27
{\v{S}}imkus, Mantas, 11(2)14--14, see Eiter, Thomas
Simkus, Mantas, see Ahmetaj, Shqiponja
Simmons, Robert J., 15(3)21--21
Simmons:2014:SF, 15(3)21--21
Simons, Patrik, 7(1)1--37
Simons, Patrik, see Janhunen, Tomi
Simonsen, Jakob Grue, 14(4)31--31, 16(2)10--10
Simonsen, Jakob Grue, see Ketema, Jeroen
Simonsen:2015:CRS, 16(2)10--10
simple, 1(1)3--32, 1(1)33--59, 1(1)60--76, 2(1)1--11, 2(2)255--287, 2(3)408--429, 8(3)18--18, 8(4)19--19, 8(4)21--21, 9(2)12--12, 9(3)17--17, 9(3)22--22, 10(1)4--4, 11(3)19--19, 11(3)20--20, 11(4)25--25, 11(4)26--26, 12(1)3--3, 12(1)6--6, 13(1)9--9, 13(2)12--12, 13(4)29--29, 15(1)3--3, 15(1)7--7, 15(2)17--17, 15(4)35--35, 16(1)3--3, 16(4)28--28, 16(4)33--33, 17(1)2--2, 17(1)3--3, 17(2)13--13, 17(3)19--19, 18(1)5--5, 18(2)14--14, 18(3)20--20, 18(4)27--27, 19(1)1--1, 19(1)5--5, 19(1)6--6, 19(4)30--30, 21(1)2--2, 21(1)4--4, 23(4)25--25, 24(4)29--29, 24(4)30--30
simpler, 1(1)171--174, 2(3)340--387, 10(2)11--11, 11(3)19--19, 13(1)6--6, 13(2)14--14, 15(1)5--5, 15(4)26--26, 19(2)10--10
simplest, 17(3)22--22, 21(1)2--2, 23(2)9--9
simplicial, 13(1)3--3
simplicity, 13(3)20--20, 19(1)4--4
simplification, 1(1)60--76, 13(2)14--14, 14(1)3--3
simplified, 8(4)19--19, 14(1)2--2, 17(1)3--3, 21(1)2--2, 23(4)25--25
simplify, 2(1)93--134, 2(2)182--215, 2(3)340--387, 9(2)14--14, 15(4)34--34, 17(3)18--18, 18(1)3--3
simply, 5(3)470--507, 16(2)13--13, 19(1)6--6, 20(2)7--7, 23(4)25--25
simulate, 7(2)199--218, 8(3)18--18, 9(4)26--26, 10(2)14--14, 13(2)16--16, 13(4)32--32, 24(1)8--8
simulated, 10(2)10--10, 12(4)26--26, 13(2)16--16, 14(3)23--23, 19(4)29--29
simulated, p-, 16(3)19--19
simulation, 1(1)77--111, 5(4)577--610, 6(1)175--201, 10(3)15--15, 11(4)23--23, 13(2)16--16, 13(2)18--18, 15(4)31--31, 16(1)6--6, 18(2)12--12, 19(1)1--1, 20(4)19--19
simulation,, 10(4)26--26
simulation-based, 4(2)181--206, 15(4)31--31
simultaneous, 10(3)20--20, 12(3)18--18, 13(2)16--16, 19(1)1--1
simultaneously, 10(3)20--20, 12(4)28--28, 15(2)16--16, 15(2)17--17, 18(1)3--3, 18(3)21--21, 20(1)1--1
since, 8(4)21--21, 9(3)21--21, 10(3)17--17, 10(4)27--27, 11(4)26--26, 12(1)3--3, 13(1)2--2, 13(2)15--15, 14(1)2--2, 14(1)3--3, 14(3)22--22, 15(1)5--5, 15(4)33--33, 16(1)7--7, 16(2)12--12, 17(1)3--3, 17(3)16--16, 17(3)19--19, 17(3)22--22, 17(4)31--31, 18(1)7--7, 18(2)17--17, 18(3)24--24, 19(2)7--7, 19(2)13--13, 19(3)21--21, 19(3)22--22, 20(2)12--12, 20(4)22--22
Singhal, Vigyan, 1(1)162--170
Singhal, Vigyan, see Aziz, Adnan
single, 9(3)17--17, 9(4)28--28, 12(2)14--14, 13(1)1--1, 13(1)6--6, 13(1)7--7, 13(3)27--27, 13(4)30--30, 14(1)6--6, 14(4)31--31, 15(4)34--34, 17(1)5--5, 17(2)14--14, 18(1)6--6, 19(1)4--4, 20(2)11--11, 20(2)12--12, 20(3)15--15, 21(2)10--10, 23(2)13--13
single-exit, 13(2)12--12
single-loop, 2(1)1--11
single-point, 19(2)10--10
Single-round, 20(3)18--18
singleton, 7(4)676--722, 8(2)z--99999999, 12(4)26--26, 15(1)7--7
singling, 9(1)7--7
singly, 20(3)14--14
singly-linked, 22(2)14--14
Sinz, 24(4)31--31
Sistla, 12(2)13--13
situation, 1(2)247--284, 2(4)433--457, 12(2)16--16, 18(2)16--16, 19(3)23--23
size, 1(1)131--161, 2(1)93--134, 4(3)296--314, 8(4)20--20, 8(4)21--21, 9(2)11--11, 9(3)21--21, 10(4)27--27, 10(4)29--29, 11(3)15--15, 11(3)18--18, 12(4)26--26, 13(1)4--4, 13(1)5--5, 13(2)12--12, 13(4)32--32, 14(3)22--22, 14(4)25--25, 14(4)31--31, 15(1)6--6, 15(1)9--9, 16(1)8--8, 16(1)9--9, 16(2)16--16, 17(1)7--7, 17(2)8--8, 17(2)10--10, 17(3)19--19, 17(4)26--26, 17(4)32--32, 18(3)21--21, 18(3)24--24, 18(4)33--33, 19(1)1--1, 19(2)7--7, 19(2)8--8, 19(2)9--9, 19(4)29--29, 20(1)1--1, 20(1)6--6, 20(2)11--11, 20(3)15--15, 20(4)19--19, 20(4)22--22, 24(2)10--10, 24(4)30--30
size, constant-, 8(4)20--20
size, logarithmic-, 11(4)26--26
size, non-, 10(4)29--29
size, polynomial-, 11(3)18--18
size, small-, 20(1)1--1
size, state-, 10(4)29--29
size, term-, 15(4)32--32
size-change, 10(4)27--27
size-degree, 12(1)4--4
size-increasing, non-, 3(3)383--401
size-space, 13(2)16--16
Size-width, 24(2)10--10
sized, exponential-, 17(4)32--32
Skarlatidis, Anastasios, 16(2)11--11
Skarlatidis:2015:PEC, 16(2)11--11
sketch, 9(3)23--23
skip, 13(3)26--26
Skolem, 4(3)402--415, 11(4)27--27, 16(1)4--4
Skrzypczak, Michal, 17(4)24--24
Skrzypczak, Michal, see Facchini, Alessandro
Sl, 15(4)34--34
Sl, CHP-, 15(4)34--34
Sl1g, 15(4)34--34
slave, 18(4)31--31
Slbg, 15(4)34--34
SLD, 2(1)57--92, 14(1)1--1
SLD-resolution, 2(1)57--92, 13(4)32--32, 14(3)21--21
SLD-tree, 17(3)18--18
SLG, 15(4)32--32
SLG-resolution, 2(1)57--92, 9(4)27--27
SLG-WAM, 15(4)32--32
slice-wise, 19(4)25--25
slices, 18(1)7--7, 19(4)25--25
slicing, 18(1)7--7
slight, 19(2)15--15, 21(1)6--6
slightly, 13(1)3--3, 14(2)16--16, 15(1)8--8
Sliva, Amy, 14(2)12--12, 15(3)18--18
Sliva, Amy, see Molinaro, Cristian, see Simari, Gerardo I.
Slng, 15(4)34--34
Slutzki, Giora, 16(1)3--3
Slutzki, Giora, see Tao, Jia
small, 1(1)3--32, 1(1)33--59, 1(1)112--130, 1(2)208--246, 8(4)19--19, 8(4)20--20, 10(3)20--20, 12(2)15--15, 13(1)9--9, 13(2)15--15, 14(2)8--8, 14(3)20--20, 15(1)6--6, 15(4)31--31, 16(1)4--4, 16(3)24--24, 16(4)28--28, 17(1)7--7, 17(2)14--14, 18(3)21--21, 19(2)7--7, 19(4)27--27, 20(1)1--1, 20(1)2--2, 20(3)15--15, 22(2)11--11
small-size, 20(1)1--1
small-step, 7(2)363--419, 8(3)15--15, 8(3)16--16
smaller, 2(3)408--429, 20(1)2--2
smallest, 14(4)31--31, 16(2)15--15, 16(3)24--24, 17(1)7--7, 17(2)12--12, 23(2)12--12
Smallness, 17(2)14--14
Smaus, Jan-Georg, 5(3)470--507
Smaus, Jan-Georg, see Bossi, Annalisa
Smith, Neil, Yorke-, 10(1)3--3
Smith, Siani, 23(3)14--14
Smith, Siani, see Larose, Benoît
smooth, 13(4)30--30
smoothly, 20(4)25--25
SMSO, 21(2)15--15
SMT, 12(1)7--7, 16(2)12--12, 19(3)19--19, 20(4)25--25, 24(4)32--32
SMT, Max-, 20(4)25--25
SMT-based, 20(4)25--25
SMT-solvers, 18(3)24--24
SMTQF-NIA, 20(4)25--25
SMTQF-NIA, Max-, 20(4)25--25
SNDOP, 14(2)10--10
SNDOPs, 14(2)10--10
SNDOPs, GREEDY-, 14(2)10--10
snooping-based, 19(4)27--27
so-called, 2(2)182--215, 10(3)15--15, 12(4)26--26, 13(4)31--31, 14(4)30--30, 16(4)31--31, 16(4)34--34, 17(4)24--24, 19(3)16--16, 19(3)21--21, 20(2)10--10, 20(2)12--12
soccer, robotic-, 10(1)5--5
social, 14(2)10--10, 20(4)20--20, 20(4)21--21, 23(1)4--4
SOcieties, 9(4)29--29
society, 9(4)29--29, 10(1)1--1, 14(2)10--10, 19(4)28--28
SOCS, 9(4)29--29
Sofronie-Stokkermans, Viorica, 8(2)z--99999999
Sofronie-Stokkermans:2007:UBD, 8(2)z--99999999
soft, 7(3)563--589, 10(4)25--25, 13(2)18--18
soft-constraint, 12(1)5--5
software, 1(1)60--76, 1(1)162--170, 1(1)171--174, 1(2)208--246, 1(2)285--320, 2(1)57--92, 2(2)155--181, 2(3)388--407, 7(3)590--612, 8(3)14--14, 9(1)4--4, 10(1)1--1, 10(3)20--20, 11(3)16--16, 13(3)27--27, 15(4)30--30, 16(4)32--32, 19(4)28--28, 20(4)20--20, 23(1)4--4
Software/Program, 1(1)60--76, 1(1)162--170, 1(1)171--174, 2(2)155--181, 2(3)388--407
Sojakova, Kristina, 14(4)32--32, 17(4)29--29
Sojakova, Kristina, see Rabe, Florian
Sojakova:2016:ETP, 17(4)29--29
Sokolov, 19(4)29--29
Sokolov, Dmitry, 22(4)26--26
Sokolov, Dmitry, see Buss, Sam
sole, 16(3)27--27
solid, 18(2)9--9
solution, 8(4)21--21, 9(4)27--27, 10(1)3--3, 10(1)5--5, 10(3)17--17, 10(3)19--19, 11(3)20--20, 12(1)5--5, 13(1)8--8, 14(3)20--20, 14(3)22--22, 15(3)18--18, 16(1)6--6, 16(1)8--8, 16(2)12--12, 16(4)34--34, 18(1)4--4, 18(3)23--23, 19(3)18--18, 20(4)19--19, 20(4)20--20, 20(4)25--25, 24(2)15--15, 24(4)30--30
solution, super-, 15(3)18--18
solutionash, 15(3)18--18
solutionash, super-, 15(3)18--18
Solutions, Super-, 15(3)18--18
solutions, Super-, 15(3)18--18
solutions, super-, 15(3)18--18
solvable, 12(2)13--13, 12(4)24--24, 13(3)23--23, 13(3)25--25, 23(1)7--7
solve, 10(1)3--3, 10(3)17--17, 10(3)22--22, 12(1)5--5, 12(4)25--25, 13(4)29--29, 14(1)6--6, 14(2)10--10, 14(2)12--12, 16(1)6--6, 16(2)16--16, 16(2)18--18, 16(4)29--29, 17(4)27--27, 18(3)23--23, 18(4)29--29, 20(4)25--25
solved, 9(1)3--3, 9(1)5--5, 9(2)12--12, 10(2)11--11, 11(3)15--15, 12(1)3--3, 13(1)6--6, 13(2)13--13, 14(4)25--25, 14(4)30--30, 17(4)24--24, 18(3)23--23, 19(2)13--13, 20(1)2--2, 20(4)25--25
solver, 5(2)177--205, 8(3)17--17, 8(3)18--18, 8(4)23--23, 9(1)7--7, 10(2)11--11, 10(3)17--17, 12(1)7--7, 13(1)6--6, 14(1)3--3, 14(2)14--14, 14(2)15--15, 14(3)17--17, 16(2)12--12, 16(3)24--24, 17(1)7--7, 19(2)10--10, 19(3)19--19, 20(4)25--25, 24(1)7--7, 24(4)31--31
solvers, SMT-, 18(3)24--24
solving, 5(2)264--281, 5(4)732--767, 6(2)361--388, 7(1)38--83, 7(4)723--748, 8(3)17--17, 8(4)23--23, 10(1)3--3, 11(3)20--20, 12(1)5--5, 13(1)8--8, 13(3)26--26, 13(4)33--33, 14(2)15--15, 14(3)18--18, 16(1)9--9, 17(1)7--7, 20(2)8--8, 20(4)19--19, 20(4)25--25, 24(1)7--7, 24(2)15--15
solving, constraint-, 9(3)15--15, 11(3)17--17, 19(2)10--10
something, 13(3)26--26
sometime, 13(3)21--21, 15(3)25--25, 16(3)27--27
somewhat, 13(2)16--16
Son, Tran Cao, 7(4)613--657, 15(2)12--12
Son:2006:DDK, 7(4)613--657
Son:2014:FNU, 15(2)12--12
Sood, Gaurav, 24(1)8--8
Sood, Gaurav, see Filmus, Yuval
soon, 15(4)30--30
sophisticated, 15(4)32--32
sophistication, 19(1)6--6
sort, 2(2)155--181, 9(2)14--14, 17(1)6--6
sorted, 17(4)23--23
sorted, many-, 16(2)14--14
sorted, order-, 16(2)14--14
sortedness, 17(1)6--6
sorting, 17(1)6--6
SOS, 10(2)9--9
sound, 1(2)175--207, 1(2)208--246, 1(2)247--284, 8(2)z--99999999, 9(2)8--8, 9(2)13--13, 9(3)21--21, 10(1)4--4, 10(1)5--5, 11(1)7--7, 11(3)16--16, 11(4)27--27, 12(4)29--29, 13(1)3--3, 13(2)13--13, 13(3)22--22, 13(4)32--32, 14(1)7--7, 14(2)16--16, 14(3)21--21, 14(4)27--27, 15(1)1--1, 15(1)4--4, 15(1)7--7, 15(1)10--10, 15(4)30--30, 15(4)31--31, 16(1)3--3, 16(2)16--16, 17(1)1--1, 17(1)4--4, 17(2)13--13, 18(1)3--3, 18(1)7--7, 19(2)13--13, 19(3)18--18, 19(3)22--22, 21(1)2--2, 22(1)3--3, 24(2)13--13, 24(3)20--20
soundly, 19(4)31--31, 20(4)22--22, 21(1)5--5
soundness, 8(4)19--19, 9(1)4--4, 9(4)29--29, 10(4)25--25, 14(1)1--1, 14(1)7--7, 14(4)27--27, 14(4)34--34, 15(3)21--21, 15(4)31--31, 16(4)30--30, 18(1)3--3, 18(2)15--15, 19(1)3--3, 19(3)19--19, 20(3)13--13, 21(1)2--2, 22(3)15--15, 23(3)20--20
soundness, parallel-, 20(3)18--18
soundness., 8(4)20--20
source, 11(3)16--16, 14(1)5--5, 14(2)9--9, 15(2)13--13, 17(2)9--9
source, multiple-, 19(4)30--30
Soutchanski, Mikhail, 18(2)16--16
Soutchanski, Mikhail, see Ponomaryov, Denis
space, 2(2)182--215, 2(3)408--429, 4(2)260--294, 8(4)21--21, 8(4)22--22, 8(4)23--23, 9(4)27--27, 10(4)27--27, 10(4)29--29, 11(4)26--26, 12(4)26--26, 12(4)28--28, 13(1)3--3, 13(2)12--12, 13(2)14--14, 13(2)16--16, 13(2)18--18, 14(2)13--13, 15(1)1--1, 15(1)4--4, 15(1)10--10, 15(3)22--22, 16(4)28--28, 17(3)21--21, 18(2)10--10, 18(2)12--12, 18(2)13--13, 18(4)29--29, 19(1)1--1, 19(3)19--19, 19(4)30--30, 20(1)3--3, 20(1)5--5, 20(3)16--16, 20(4)19--19, 20(4)23--23, 21(1)1--1, 21(3)18--18, 22(4)24--24, 23(4)25--25
space, continuous-, 20(4)19--19
space, polynomial-, 15(1)2--2
space, size-, 13(2)16--16
space, time-, 13(2)16--16
spanning, 20(1)4--4
sparse, 21(4)28--28
sparsity, 21(4)29--29
spatial, 9(2)13--13, 14(1)6--6, 14(2)13--13, 17(3)21--21, 22(3)19--19
spatio-temporal, 9(2)13--13
Spawns, 18(4)29--29
speaking, 14(1)2--2
special, 1(2)247--284, 2(2)155--181, 2(3)289--339, 4(3)295--295, 6(4)674--674, 9(1)5--5, 9(3)22--22, 9(4)27--27, 10(1)5--5, 10(4)23--23, 11(4)21--21, 11(4)28--28, 14(1)7--7, 15(1)8--8, 15(4)34--34, 16(1)1--1, 18(1)4--4, 19(2)8--8, 20(3)17--17, 21(1)6--6
Special-purpose, 1(1)60--76
specialized, 1(1)60--76
specially, 15(3)23--23, 16(4)31--31, 19(3)17--17
species, 20(4)19--19
specific, 2(1)12--56, 10(2)10--10, 12(1)2--2, 13(2)16--16, 13(3)19--19, 14(2)12--12, 15(4)30--30, 15(4)31--31, 15(4)34--34, 16(1)5--5, 16(3)23--23, 16(4)32--32, 17(3)21--21, 18(4)27--27, 19(2)9--9, 19(3)21--21, 21(1)7--7, 22(2)11--11
specific, foundation-, 19(4)24--24
specific, program-, 15(4)33--33
specifically, 8(4)20--20, 13(1)5--5, 16(3)23--23, 17(1)5--5, 20(3)16--16, 21(1)1--1, 22(4)21--21
specification, 1(1)60--76, 1(1)77--111, 1(1)171--174, 2(3)408--429, 3(2)279--333, 6(1)175--201, 9(1)6--6, 9(3)17--17, 9(3)20--20, 9(3)22--22, 10(1)1--1, 10(3)15--15, 10(3)20--20, 11(2)13--13, 11(3)20--20, 13(1)1--1, 13(2)12--12, 14(2)9--9, 15(4)27--27, 16(1)6--6, 17(3)16--16, 17(3)18--18, 17(4)23--23, 18(2)14--14, 19(2)10--10, 19(3)22--22, 19(4)28--28, 20(1)5--5, 20(2)7--7, 21(1)5--5, 21(2)12--12, 24(3)21--21, 24(3)24--24
specification?, 11(4)29--29
specified, 6(4)727--748, 9(3)23--23, 10(1)2--2, 11(3)18--18, 12(3)21--21, 12(4)24--24, 12(4)28--28, 15(3)25--25, 16(1)6--6, 16(4)33--33, 17(1)6--6, 19(4)28--28
specify, 1(2)208--246, 1(2)285--320, 9(3)17--17, 9(4)29--29, 13(4)33--33, 15(2)11--11, 15(4)27--27, 16(2)14--14, 21(2)13--13, 22(1)6--6, 22(4)23--23
specifying, 1(1)3--32, 1(1)60--76, 1(1)162--170, 1(1)171--174, 2(1)1--11, 2(3)388--407, 2(3)408--429, 10(1)1--1, 12(2)14--14, 12(4)24--24, 15(1)10--10, 17(1)1--1, 20(1)5--5
spectra, 16(2)17--17
spectrum, 13(4)31--31, 16(1)2--2, 16(2)17--17
speed, 8(4)23--23, 14(1)3--3
speed-up, 2(3)340--387
speedup, 8(3)14--14, 10(2)14--14
Spendier, Lara, 16(1)5--5
Spendier, Lara, see Ciabattoni, Agata
spends, 14(4)33--33
spent, 14(4)33--33, 16(1)7--7
spheres, 13(4)30--30
spheres, system-of-, 13(4)30--30
spins, 18(4)31--31
spirit, 10(4)29--29, 14(2)8--8, 16(2)12--12, 22(3)19--19
split, 16(3)23--23, 19(2)10--10, 23(3)14--14
split, cross-, 19(2)13--13
splittability, 19(2)13--13
splittable, 19(1)5--5
splitting, 7(4)765--797, 8(1)z--99999999, 19(1)5--5, 20(4)22--22, 20(4)25--25
Spoletini, Paola, 15(4)30--30
Spoletini, Paola, see Frigeri, Achille
spread, 14(2)10--10
spurred, 15(4)34--34
Spyratos, Nicolas, 5(3)508--527
Spyratos, Nicolas, see Loyer, Yann
square, 20(3)17--17
Squares, 20(1)1--1
Srivathsan, B., 21(3)17--17
Srivathsan, B., see Herbreteau, Frédéric
SROIQ, 14(1)2--2
SSet, 13(1)3--3
SSL, 22(4)24--24
SSReflect, 14(4)26--26
ST, 3(4)465--520
STA, 13(2)18--18
stability, 13(1)3--3, 13(3)23--23, 17(1)6--6
Stabilization, Self-, 20(3)16--16
stabilization, self-, 20(3)16--16
stabilizer, 19(4)28--28
stable, 7(1)1--37, 8(3)17--17, 9(1)7--7, 12(3)20--20, 13(2)17--17, 14(2)16--16, 16(3)22--22, 16(3)23--23, 17(1)6--6, 18(2)9--9
stack, 2(2)155--181, 10(4)27--27, 15(4)31--31
stack, multi-, 21(3)23--23
stack, top-of-, 20(3)14--14
stage, 13(2)11--11, 15(1)9--9, 16(1)3--3, 16(3)22--22
Stamate, Daniel, 5(3)508--527
Stamate, Daniel, see Loyer, Yann
standard, 1(2)175--207, 2(3)388--407, 8(3)14--14, 8(4)19--19, 8(4)20--20, 8(4)22--22, 9(1)7--7, 9(4)25--25, 10(3)22--22, 11(3)17--17, 11(4)25--25, 12(2)11--11, 13(1)8--8, 13(2)11--11, 13(3)25--25, 14(3)22--22, 15(2)13--13, 15(2)15--15, 15(3)21--21, 15(3)25--25, 15(4)31--31, 16(1)2--2, 16(2)12--12, 16(3)23--23, 16(4)33--33, 16(4)35--35, 17(1)3--3, 17(1)6--6, 17(4)31--31, 18(1)6--6, 18(3)24--24, 19(1)4--4, 19(3)17--17, 19(3)18--18, 19(4)31--31, 20(1)1--1, 20(1)4--4, 20(2)7--7, 20(2)10--10, 21(1)1--1, 21(1)2--2, 21(2)15--15, 21(3)24--24, 21(3)26--26, 23(4)26--26, 24(2)12--12
standing, long-, 16(1)4--4, 17(4)24--24
stands, 11(3)18--18
Stanford, 13(3)26--26
Stantic, Bela, 19(2)12--12
Stantic, Bela, see Binnewies, Sebastian
star, 13(4)34--34, 16(4)30--30, 17(4)25--25, 22(2)10--10
start, 12(1)1--1, 16(2)12--12, 21(1)3--3, 21(1)6--6
started, 11(4)25--25
starting, 2(1)57--92, 9(2)12--12, 10(2)12--12, 17(4)28--28, 18(3)24--24, 18(4)27--27, 18(4)28--28
state, abstract-, 1(1)77--111
State, Finite-, 19(2)14--14
state, finite-, 2(2)216--254, 9(1)4--4, 9(1)5--5, 12(1)2--2, 15(2)16--16, 16(4)34--34
state, infinite-, 9(1)4--4, 12(1)2--2, 15(4)26--26
state, knowledge-, 5(2)206--263
state, state-by-, 20(1)4--4
state-based, 20(1)4--4, 24(3)24--24
state-by-state, 20(1)4--4
state-of-the-art, 2(2)182--215, 12(1)7--7, 15(4)33--33, 16(2)12--12, 17(1)6--6, 19(2)12--12
state-size, 10(4)29--29
Statecharts, 3(1)1--41
stated, 8(4)19--19, 9(1)7--7, 14(4)33--33, 17(1)5--5, 19(4)24--24
statement, 2(1)135--153, 2(2)155--181, 2(3)388--407, 12(2)9--9, 12(2)14--14, 12(3)21--21, 13(2)13--13, 13(2)15--15, 13(3)25--25, 13(3)26--26, 16(3)23--23, 17(2)11--11, 18(1)7--7
static, 1(2)247--284, 9(1)3--3, 10(4)27--27, 10(4)28--28, 12(3)21--21, 14(1)4--4, 15(4)33--33, 16(4)28--28, 17(2)11--11, 18(4)27--27, 19(4)31--31
stating, 10(1)4--4, 14(4)33--33, 17(1)5--5, 21(2)15--15, 24(4)34--34
station, station-to-, 21(1)2--2
station-to-station, 21(1)2--2
stationary, 9(4)27--27
statistical, 1(2)175--207, 18(2)12--12, 20(1)6--6, 20(4)19--19
Statistics, 1(1)162--170
Statman, 10(2)14--14
stature, 9(3)18--18
status, 14(3)24--24
stay, 18(1)6--6, 19(3)20--20
stemming, 19(3)23--23
stems, 10(2)8--8, 19(3)21--21
step, 2(3)388--407, 3(1)1--41, 8(3)15--15, 8(3)16--16, 8(4)21--21, 9(1)6--6, 10(2)13--13, 12(1)5--5, 12(2)16--16, 13(2)13--13, 14(1)4--4, 14(3)20--20, 14(3)22--22, 15(4)35--35, 17(1)1--1, 18(2)13--13, 18(4)26--26, 19(3)22--22, 21(1)4--4, 24(4)31--31
step,, 8(3)15--15, 8(3)16--16
step, Big-, 23(3)20--20
step, big-, 23(3)20--20
step, lock-, 10(4)26--26
Step, One-, 16(2)10--10
step, one-, 9(1)6--6, 16(2)10--10
step, small-, 7(2)363--419, 8(3)15--15, 8(3)16--16
Stephan, Frank, 6(4)675--700, 13(3)24--24
Stephan, Frank, see Khoussainov, Bakhadyr, see Kjos-Hanssen, Bj{\o}rn
steps,, 8(3)15--15, 8(3)16--16
stepwise, 16(1)6--6
STGAs, 12(4)26--26
STGLAs, 5(3)436--469
STGs, 12(4)26--26
still, 1(1)33--59, 1(1)131--161, 2(1)135--153, 9(3)20--20, 9(4)26--26, 14(4)29--29, 14(4)34--34, 15(4)26--26, 15(4)30--30, 17(3)22--22, 18(2)10--10, 19(3)22--22, 20(4)19--19
stimulated, 12(2)11--11
stipulate, 21(1)3--3
STL, 16(3)25--25
stochastic, 1(1)162--170, 4(4)452--492, 13(2)12--12, 14(4)33--33, 15(2)16--16, 15(2)17--17, 20(4)19--19, 20(4)21--21
Stokkermans, Viorica, Sofronie-, 8(2)z--99999999
Stone, 20(1)2--2
Stone, Christopher A., 7(4)676--722
Stone, Matthew, 6(3)539--577
Stone:2005:DMG, 6(3)539--577
Stone:2006:EES, 7(4)676--722
stop, 9(4)27--27
storable, 14(4)29--29
store, 2(1)93--134, 10(3)16--16, 11(4)26--26, 14(4)29--29, 20(2)11--11
store-based, 14(4)29--29
stored, 12(2)16--16
storeless, 14(4)29--29
storing, 12(3)19--19, 16(1)8--8
Strachey, 14(4)29--29
straightforward, 8(3)18--18, 11(3)16--16, 17(2)13--13, 21(1)2--2
straightforwardly, 9(3)17--17, 10(4)28--28
strand, 23(4)23--23
Straßburger, Lutz, 16(3)19--19, see Novakovi{\'c}, Novak
strategic, 11(1)3--3, 15(4)34--34, 16(4)33--33, 19(3)17--17, 20(2)10--10, 22(3)17--17, 23(4)21--21, 24(3)21--21
strategically, 16(4)33--33
strategies, proof-, 23(4)23--23
strategy, 1(2)285--320, 5(2)351--383, 8(3)14--14, 9(1)6--6, 10(1)4--4, 10(2)10--10, 10(4)25--25, 11(3)17--17, 13(2)11--11, 13(3)22--22, 13(4)28--28, 13(4)33--33, 14(2)8--8, 14(2)9--9, 14(2)15--15, 15(2)12--12, 15(2)16--16, 15(2)17--17, 15(3)18--18, 15(3)23--23, 15(4)34--34, 16(1)8--8, 16(2)10--10, 16(3)25--25, 17(1)1--1, 19(2)8--8, 19(3)17--17, 19(3)23--23, 19(4)26--26, 20(2)10--10, 20(4)23--23, 21(3)21--21, 21(3)22--22, 22(1)5--5
stratification, 22(1)6--6
stratified, 15(4)32--32, 18(1)5--5
Straubing, 18(3)20--20
Straubing, Howard, 18(4)30--30
Straubing, Howard, see Krebs, Andreas
stream, 11(4)28--28, 17(3)15--15, 18(3)18--18, 21(1)5--5
Streaming, 19(2)14--14
Streett, 13(4)29--29
strength, 7(4)749--764, 8(4)20--20, 10(1)1--1, 10(2)8--8, 13(2)16--16, 15(1)2--2, 15(2)13--13, 19(2)7--7, 19(4)29--29, 24(3)27--27
strengthen, 8(3)17--17, 20(2)12--12
strengthening, 15(4)34--34, 18(1)6--6, 19(2)15--15
stress, 15(3)23--23
stretch, 18(2)13--13, 20(1)4--4
strict, 2(1)135--153, 4(4)493--529, 13(3)26--26, 14(3)19--19, 16(3)23--23, 18(4)30--30, 19(1)3--3, 19(2)14--14, 19(3)16--16, 19(3)18--18, 21(1)7--7, 23(1)3--3
strictly, 11(3)15--15, 12(3)21--21, 13(2)16--16, 13(4)30--30, 15(4)26--26, 15(4)32--32, 15(4)34--34, 16(2)18--18, 16(3)23--23, 16(4)33--33, 17(1)1--1, 17(4)30--30, 17(4)31--31, 18(2)10--10, 19(1)6--6, 19(2)14--14, 20(2)12--12, 20(3)14--14
strictness, 16(3)21--21
strike, 13(3)20--20
striking, 15(4)26--26, 20(3)17--17
strikingly, 21(1)2--2
string, 2(2)216--254, 5(3)403--435, 13(3)19--19, 15(1)8--8, 18(4)28--28, 22(2)11--11
string, string-to-, 2(2)216--254
string-to-string, 2(2)216--254
strives, 18(4)33--33
strong, 2(2)182--215, 8(3)17--17, 10(1)6--6, 10(3)19--19, 10(3)22--22, 10(4)25--25, 11(4)28--28, 13(1)2--2, 13(2)12--12, 13(2)16--16, 13(4)33--33, 15(1)5--5, 15(2)13--13, 15(2)14--14, 15(4)26--26, 16(3)21--21, 17(4)23--23, 17(4)26--26, 19(1)3--3, 19(4)29--29, 20(3)13--13, 21(2)16--16, 21(4)33--33, 23(3)20--20
stronger, 2(1)1--11, 2(1)57--92, 13(3)26--26, 19(2)14--14, 22(2)10--10
strongest, 11(3)20--20, 14(4)34--34
strongly, 2(4)526--541, 9(2)14--14, 13(4)33--33, 14(2)9--9, 14(4)27--27, 15(4)32--32, 15(4)34--34, 18(2)12--12, 18(4)29--29, 19(1)3--3, 19(2)7--7, 19(3)21--21, 20(2)12--12, 23(3)14--14
strong/weak, 19(4)30--30
structural, 13(1)8--8, 14(4)27--27, 15(3)21--21, 16(2)14--14, 17(2)10--10, 17(3)17--17, 20(3)13--13, 21(4)28--28, 23(4)23--23
structurally, 20(3)15--15
structure,, 14(4)25--25
structured, 1(1)60--76, 1(1)171--174, 8(3)17--17, 11(4)26--26, 17(4)30--30
Structured, Graph-, 18(4)27--27
structured, graph-, 18(4)27--27
structured, Well-, 13(3)26--26
structured, well-, 13(1)2--2, 13(3)26--26
Struth, Georg, 7(4)798--833, 16(4)30--30, 17(3)15--15, 17(4)28--28
Struth, Georg, see Desharnais, Jules, see Dongol, Brijesh, see Furusawa, Hitoshi
stuck, 23(3)20--20
Stuckey, P. J., 8(4)23--23
Stuckey, P. J., see Choi, C. W.
studied, 10(2)9--9, 10(2)10--10, 12(1)8--8, 13(2)15--15, 13(3)21--21, 15(1)8--8, 16(1)2--2, 16(3)24--24, 17(3)22--22, 18(1)4--4, 18(3)23--23, 19(4)30--30, 20(1)1--1, 22(1)6--6, 24(3)19--19
studied, well-, 13(2)12--12, 15(4)26--26
studying, 10(4)29--29, 11(4)26--26, 13(2)16--16, 14(1)7--7, 14(2)9--9, 14(3)24--24, 16(1)2--2, 16(1)4--4, 16(4)31--31, 16(4)33--33, 17(1)3--3, 18(2)16--16, 22(3)16--16
Sturm, Holger, 4(2)260--294
Sturm, Holger, see Kutz, Oliver
stuttering, 18(2)13--13
style, 10(2)12--12, 11(3)17--17, 15(3)21--21, 16(1)5--5, 18(1)4--4, 19(1)6--6
style, Bruijn-, 19(1)6--6
style, Ehrenfeucht-Fraïssé-, 18(4)29--29
style, Hoare-, 16(2)15--15, 17(2)12--12, 17(2)13--13
style, KLM-, 22(1)1--1
style, Kripke-, 14(4)27--27, 22(3)15--15
style, Plotkin-, 13(1)8--8
style, Tarski-, 19(3)17--17
Su, Che-Ping, 18(2)15--15
Su:2017:PJL, 18(2)15--15
sub, 15(1)5--5
sub-Boolean, 16(3)27--27
sub-proofs, 19(4)25--25
sub-symbolic, 19(3)22--22
subalgebras, 22(4)23--23
Subatomic, 19(1)5--5, 23(4)26--26
subclass, 9(1)5--5, 9(2)14--14, 9(4)26--26, 13(1)8--8, 14(2)9--9, 14(2)12--12, 15(1)8--8, 15(4)26--26, 17(2)13--13, 19(2)11--11
Subcube, 24(1)8--8
subexponential, 11(3)18--18, 20(1)1--1
subexponentially, 14(4)30--30
subfield, 17(3)21--21
subformula, 10(2)13--13, 13(1)1--1, 14(4)27--27, 20(3)13--13, 21(3)22--22, 24(2)13--13
subgoal, 9(3)17--17, 15(4)32--32
subgraph, 8(4)20--20, 15(1)6--6, 17(4)25--25, 20(2)9--9
subinterval, 2(3)289--339
subject, 1(1)33--59, 12(4)24--24, 14(2)12--12, 18(2)16--16, 21(4)33--33
subjected, 18(2)8--8
subjective, 1(2)175--207, 20(2)10--10, 20(4)21--21
sublanguage, 14(4)28--28
sublinear, 19(3)21--21, 20(1)1--1
sublogics, 13(4)31--31, 15(1)7--7, 15(4)34--34
submodels, 24(2)12--12
subproblems, 20(4)21--21
Subrahmanian, V. S., 1(2)208--246, 7(1)151--198, 8(4)24--24, 11(2)10--10, 13(2)13--13, 14(2)10--10, 14(2)12--12, 15(3)18--18
Subrahmanian, V. S., see Dix, Jürgen, see Hung, Edward, \see{Molinaro, Cristian, see Shakarian, Paulo, see Simari, Gerardo I., see Udrea, Octavian
Subrahmanian, Venkatramana V. S., 12(2)14--14
Subrahmanian, Venkatramana V. S., see Shakarian, Paulo
Subramani, K., 5(2)316--320
Subramani:2004:OLT, 5(2)316--320
subsequence, 18(2)10--10
subsequent, 17(2)9--9, 19(1)6--6
subset, 9(1)4--4, 9(3)22--22, 13(4)29--29, 14(4)30--30, 15(3)18--18, 16(1)3--3, 17(2)10--10, 17(2)14--14, 17(3)21--21, 17(4)28--28, 18(3)21--21, 18(4)28--28, 22(2)13--13, 22(4)24--24
subset-construction, 13(4)29--29, 15(2)16--16
\subseteq, 15(1)4--4, 22(4)22--22
subspace, 15(3)22--22
substantial, 17(2)12--12, 20(3)13--13
substantially, 11(3)16--16, 13(2)12--12, 17(1)5--5, 17(2)12--12, 18(2)13--13
substitutability, 10(3)17--17
substitution, 1(1)3--32, 9(1)6--6, 9(3)23--23, 9(4)25--25, 10(2)14--14, 11(1)6--6, 13(1)3--3, 13(4)32--32, 16(3)19--19, 16(3)23--23, 18(3)20--20, 19(1)6--6, 19(2)13--13, 22(1)4--4
Substructural, 4(3)355--378
substructure, 16(3)25--25, 17(2)10--10
subsume, 1(1)33--59, 1(1)60--76, 11(4)26--26, 15(1)5--5, 15(1)7--7, 18(3)19--19, 20(3)14--14
subsumed, 1(1)33--59
subsuming, 15(4)34--34
subsumption, 2(2)182--215, 14(2)16--16
subsystems, 10(4)25--25, 13(2)16--16, 19(4)29--29
subterm, 17(4)23--23
subtle, 8(3)18--18, 13(1)3--3, 15(4)31--31
subtraction, 10(1)2--2
subtree, 15(4)33--33, 17(4)32--32, 18(3)23--23
subword, 18(2)10--10
succeed, 9(3)20--20
success, 18(1)4--4, 20(4)25--25
successful, 17(1)3--3, 17(4)23--23, 20(4)21--21
successfully, 11(3)17--17, 12(1)1--1, 15(4)31--31, 16(2)11--11, 18(2)15--15, 19(3)22--22, 19(4)27--27
successive, 9(1)6--6, 20(4)22--22
successor, 12(4)27--27, 12(4)28--28, 15(2)16--16, 17(4)31--31, 21(2)9--9
succinct, 13(3)25--25, 16(4)29--29, 20(1)4--4
succinctly, 13(2)12--12, 15(3)18--18, 16(3)21--21
succinctness, 2(3)408--429, 13(1)4--4, 13(3)25--25, 18(4)33--33
Suciu, Dan, 4(3)315--354
Suciu, Dan, see Alon, Noga
suffer, 11(3)16--16, 20(4)19--19
suffice, 2(1)1--11, 14(2)16--16
sufficient, 2(1)57--92, 9(1)1--1, 10(1)4--4, 10(2)10--10, 10(3)20--20, 13(1)3--3, 14(2)8--8, 15(1)5--5, 15(2)16--16, 16(2)14--14, 16(2)17--17, 17(2)14--14, 20(2)11--11, 20(3)13--13, 20(3)16--16, 21(1)1--1
sufficiently, 8(4)20--20, 9(4)26--26, 20(2)9--9
suffix, 18(2)10--10
suggest, 9(1)1--1, 9(3)20--20, 12(1)5--5, 13(1)6--6, 15(3)18--18, 17(3)22--22
suggested, 13(1)3--3, 16(1)7--7
suggesting, 10(4)29--29, 17(3)16--16
suitable, 2(1)93--134, 2(3)408--429, 9(2)8--8, 9(3)21--21, 10(1)5--5, 10(3)18--18, 12(1)1--1, 13(1)3--3, 14(1)2--2, 14(1)6--6, 15(2)17--17, 15(3)25--25, 15(4)32--32, 15(4)35--35, 16(3)25--25, 17(1)4--4, 18(4)27--27, 19(3)22--22
suitably, 16(3)25--25, 16(4)32--32
suite, 9(4)24--24, 13(2)13--13, 14(2)14--14
suited, 10(1)3--3, 21(1)5--5, 22(2)14--14
sum, 10(2)9--9, 11(4)23--23, 15(4)27--27, 16(1)6--6, 16(1)9--9, 16(3)23--23, 20(1)1--1, 23(3)15--15, 24(1)8--8
sum, non-zero-, 13(3)22--22
summands, 23(3)15--15
summands, frames-, 23(3)15--15
sup-inf, 12(4)28--28
sup-interpretation, 10(4)27--27
sup-interpretations, 10(4)27--27
Super, 5(1)129--176
super-, 15(3)18--18
super-intuitionistic, 16(4)35--35
super-operator, 10(3)19--19
super-operators, 10(3)19--19
super-polynomial, 23(3)16--16
super-solution, 15(3)18--18
super-solutionash, 15(3)18--18
Super-Solutions, 15(3)18--18
super-solutions, 15(3)18--18
superoperator, 19(4)28--28
superpolynomial, 15(1)9--9, 19(4)29--29
superposition, 10(1)4--4, 11(4)27--27, 24(1)7--7
superposition-based, 11(4)27--27
superquasipolynomial, 19(4)29--29
superset, 9(4)26--26
supplied, user-, 24(1)1--1
supply, 19(4)24--24
support, 1(1)3--32, 1(2)208--246, 8(4)24--24, 11(4)24--24, 13(2)13--13, 14(1)3--3, 15(1)7--7, 15(3)19--19, 16(1)8--8, 19(2)12--12, 19(3)22--22, 20(4)19--19, 23(1)5--5, 23(4)23--23
supported, 15(4)31--31
supporting, 8(3)14--14, 14(1)5--5, 21(4)31--31
supremum, 9(3)18--18
sure, 1(2)208--246
sure, almost-, 15(2)16--16
surely, almost-, 15(2)16--16
surface, 19(2)8--8
Surinx, Dimitri, 24(4)33--33
Surinx, Dimitri, see Aamer, Heba
surjective, 13(1)5--5, 20(1)2--2
surprising, 14(1)5--5, 17(3)16--16, 20(1)6--6
surprisingly, 14(4)30--30, 16(2)12--12, 17(1)3--3, 18(3)18--18, 18(4)31--31, 19(4)24--24
surround, 17(2)10--10
surveillance, 16(2)11--11
suspend, 9(3)17--17
Suspending, 9(3)17--17
suspension, 9(3)17--17
suspension, non-, 9(3)17--17
Suzuki, Nobu-Yuki, 4(2)260--294
Suzuki, Nobu-Yuki, see Kutz, Oliver
sva, 15(2)13--13
swapping, name-, 13(2)10--10
swaps, 20(4)22--22
Swift, 15(4)32--32
Swift, Terrance, 14(2)16--16, 15(4)32--32
Swift, Terrance, see Alferes, José Júlio, see Riguzzi, Fabrizio
Switchability, 24(1)5--5
switches, 18(3)19--19
switching, 10(3)16--16, 16(1)9--9
symbol, 2(1)93--134, 11(2)14--14, 13(2)15--15, 13(4)32--32, 14(3)19--19, 15(4)32--32, 16(3)27--27, 16(4)32--32, 18(4)28--28, 21(2)10--10
symbolic, 1(1)60--76, 5(3)436--469, 6(1)1--32, 9(1)4--4, 14(3)17--17, 15(2)14--14, 15(2)16--16, 16(2)11--11, 16(2)16--16, 18(3)24--24, 21(1)2--2
symbolic, sub-, 19(3)22--22
symbolically, 13(4)29--29
symmetric, 14(3)18--18, 20(3)16--16, 23(1)6--6
symmetry, 19(2)7--7
synchronization, 19(4)31--31, 20(2)11--11
synchronize, 20(2)11--11
synchronized, 19(4)31--31
synchronizing, 20(2)11--11
synchronous, 20(3)16--16, 21(4)32--32
synchronously, 1(2)247--284
syntactially, 17(3)16--16
syntactic, 2(3)289--339, 8(4)20--20, 9(4)26--26, 11(3)20--20, 13(1)1--1, 13(3)21--21, 13(4)28--28, 14(1)2--2, 14(1)5--5, 14(4)29--29, 14(4)32--32, 15(1)5--5, 15(4)34--34, 16(4)28--28, 16(4)29--29, 17(1)4--4, 17(2)12--12, 17(2)13--13, 17(3)17--17, 18(1)7--7, 18(2)11--11, 19(2)15--15, 20(1)5--5, 20(3)13--13, 23(4)23--23, 24(4)33--33
syntactical, 3(3)383--401, 10(2)12--12, 10(4)28--28, 16(3)26--26, 18(3)20--20
syntactically, 8(3)17--17, 10(2)12--12, 11(3)16--16, 14(3)24--24, 14(4)28--28, 21(1)2--2
syntax, 1(1)3--32, 1(1)60--76, 2(3)388--407, 3(1)80--136, 9(4)26--26, 12(2)14--14, 12(2)16--16, 18(1)5--5, 18(2)15--15, 18(4)33--33, 21(1)3--3, 21(2)16--16
syntax-based, 16(4)31--31
Syntax-Preserving, 19(2)12--12
syntax-preserving, 19(2)12--12
synthesis, 1(1)60--76, 9(1)4--4, 14(2)9--9, 15(4)27--27, 16(3)25--25, 17(1)4--4, 18(4)31--31, 19(2)10--10, 20(4)25--25
synthesize, 9(2)9--9, 19(2)10--10
synthesizer, 19(2)10--10
synthesizing, 19(2)10--10
synthetic, 10(1)4--4, 15(4)28--28, 17(4)29--29, 20(2)12--12
Syst, 19(1)1--1
system-of-spheres, 13(4)30--30
systematic, 8(4)23--23, 10(3)17--17, 14(4)30--30, 17(3)17--17, 18(1)7--7
systematically, 12(2)13--13, 15(1)9--9, 18(3)23--23, 19(4)24--24
systems, 2-, 19(2)11--11
Szeider, Stefan, 12(2)12--12, 16(3)24--24, 17(1)7--7, 17(2)10--10, 18(3)21--21, 20(3)15--15
Szeider, Stefan, see Bova, Simone, see De Haan, Ronald, see Fichte, Johannes K., see Heule, Marijn J. H., \see{Lodha, Neha
Szeider:2011:MSO, 12(2)12--12
Sznajder, Nathalie, 14(2)9--9
Sznajder, Nathalie, see Gastin, Paul
Szymanski, 18(3)23--23