Index file section E for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
E
-
E, 10(3)22--22, 14(2)12--12, 20(3)17--17
-
E.1, 2(2)155--181
-
e.g, 8(3)18--18, 9(2)13--13, 11(4)26--26, 12(1)5--5, 14(1)7--7,
14(2)10--10, 16(2)12--12, 16(3)25--25, 17(1)5--5, 19(1)4--4,
19(4)24--24, 20(1)3--3, 21(3)23--23
-
each, 1(2)247--284, 2(2)216--254, 8(3)15--15, 8(3)16--16, 8(4)21--21,
9(1)3--3, 9(2)9--9, 10(1)4--4, 10(2)10--10, 10(4)29--29, 11(4)23--23,
12(1)5--5, 12(2)10--10, 12(2)12--12, 12(2)17--17, 12(3)19--19,
12(4)24--24, 12(4)27--27, 12(4)28--28, 13(1)5--5, 13(1)7--7,
13(2)11--11, 14(1)4--4, 14(1)5--5, 14(2)8--8, 14(2)9--9, 14(2)14--14,
14(3)22--22, 15(1)8--8, 15(1)9--9, 15(2)15--15, 15(4)34--34,
16(1)1--1, 16(1)3--3, 16(3)21--21, 16(4)31--31, 16(4)32--32,
17(1)1--1, 17(1)5--5, 17(3)15--15, 18(1)3--3, 18(1)7--7, 18(2)10--10,
18(2)12--12, 18(4)29--29, 18(4)31--31, 19(2)7--7, 19(2)9--9,
19(2)10--10, 19(2)14--14, 19(3)21--21, 19(4)26--26, 20(1)3--3,
20(1)4--4, 20(3)17--17, 20(4)20--20, 20(4)25--25, 21(3)18--18,
22(2)9--9, 23(1)4--4
-
Eager, 24(3)22--22
-
eagerly, 15(3)21--21
-
earlier, 9(3)19--19, 13(1)3--3, 13(1)8--8, 15(1)3--3, 15(4)28--28,
19(2)15--15, 23(2)11--11
-
early, 9(1)6--6, 9(3)20--20, 13(4)30--30, 18(2)12--12, 21(1)6--6
-
easier, 1(1)33--59, 2(3)408--429, 8(4)19--19, 10(3)17--17, 16(4)31--31
-
easiest, 17(3)16--16
-
easily, 2(1)1--11, 2(2)155--181, 8(4)19--19, 10(2)10--10, 10(3)20--20,
13(1)1--1, 14(4)27--27, 15(1)8--8, 15(4)35--35, 19(1)5--5,
19(4)24--24, 20(2)12--12
-
East, Deborah, 7(1)38--83
-
East:2006:PCB, 7(1)38--83
-
easy, 1(1)33--59, 17(1)5--5, 17(2)14--14
-
easy, easy-hard-, 17(3)22--22
-
easy-hard-easy, 17(3)22--22
-
Eaton, 11(3)18--18
-
Eberhard, Sebastian, 18(4)26--26
-
Eberhard:2017:ACF, 18(4)26--26
-
Ebnenasir, Ali, 20(3)16--16
-
Ebnenasir, Ali, see Klinkhamer, Alex
-
Ebner, Gabriel, 18(4)26--26
-
Ebner, Gabriel, see Eberhard, Sebastian
-
Echenim, Mnacho, 14(2)11--11, 21(3)19--19
-
Echenim:2013:ISN, 14(2)11--11
-
Echenim:2020:BSR, 21(3)19--19
-
edge, 12(2)12--12, 13(1)9--9, 14(2)10--10, 14(3)19--19, 15(4)33--33,
17(4)25--25, 20(3)15--15, 20(3)17--17
-
Edinburgh, 14(4)32--32
-
editorial, 2(4)431--431, 3(3)335--335, 6(4)673--673, 10(4)23--23
-
EDP, 14(4)33--33
-
Eeralla, Ajay Kumar, 21(1)2--2
-
Eeralla, Ajay Kumar, see Bana, Gergei
-
EF, 15(4)27--27
-
effect, 4(1)1--32, 10(1)5--5, 10(4)29--29, 12(1)2--2, 13(2)15--15,
13(3)21--21, 14(1)2--2, 15(4)31--31, 16(4)35--35, 18(2)16--16,
22(2)14--14
-
Effect, Local-, 18(2)16--16
-
effect, local-, 18(2)16--16
-
effect, side-, 16(4)35--35
-
Effectful, 21(3)23--23
-
effective, 6(3)614--633, 9(1)7--7, 9(2)10--10, 9(3)20--20, 10(1)3--3,
10(2)10--10, 12(1)7--7, 12(3)18--18, 13(3)24--24, 16(1)9--9,
16(2)16--16, 16(4)34--34, 17(2)8--8, 18(1)5--5, 18(2)14--14,
18(3)25--25, 18(4)30--30, 19(1)1--1, 20(1)5--5, 20(2)12--12,
20(3)14--14, 23(4)24--24
-
effectively, 9(2)12--12, 12(1)1--1, 15(2)12--12, 16(2)12--12,
16(4)32--32, 17(4)23--23, 17(4)24--24, 18(4)27--27, 20(2)10--10,
21(1)2--2
-
effectiveness, 19(3)19--19
-
efficiency, 2(1)93--134, 8(4)23--23, 12(1)7--7, 14(1)3--3, 15(4)28--28,
19(4)28--28, 20(2)12--12
-
efficient, 2(1)57--92, 2(1)93--134, 2(2)255--287, 2(3)289--339,
7(4)723--748, 8(4)24--24, 10(1)3--3, 10(3)15--15, 12(1)7--7,
14(1)4--4, 14(2)12--12, 15(3)18--18, 15(4)28--28, 15(4)31--31,
15(4)35--35, 16(2)12--12, 16(3)24--24, 17(1)7--7, 18(2)8--8,
18(2)13--13, 19(1)6--6, 19(2)13--13, 20(3)13--13, 20(3)15--15,
20(4)19--19, 23(2)8--8, 24(3)25--25
-
efficiently, 12(4)26--26, 14(2)12--12, 16(2)16--16
-
effort, 1(2)208--246, 9(3)20--20, 15(4)27--27, 16(1)7--7, 18(4)31--31
-
EG, 15(4)27--27
-
Egly, Uwe, 2(3)340--387, 15(3)19--19
-
Egly, Uwe, see Creignou, Nadia
-
Egly:2001:PCR, 2(3)340--387
-
Eguchi, Naohi, 10(4)24--24
-
Eguchi, Naohi, see Arai, Toshiyasu
-
Ehrenfeucht-Fra\"\iss\'e, 14(2)8--8, 16(4)28--28
-
Ehrenfeucht-Fraïssé-style, 18(4)29--29
-
Eickmeyer, Kord, 18(4)33--33, 21(2)11--11
-
Eickmeyer:2017:SOI, 18(4)33--33
-
Eickmeyer:2020:MCO, 21(2)11--11
-
eigenweights, 19(4)25--25
-
Eilenberg, 20(1)3--3
-
Eisner, Cindy, 15(2)13--13
-
Eisner:2014:SLW, 15(2)13--13
-
Eiter, 1(2)208--246
-
Eiter, Thomas, 5(2)206--263, 6(2)232--272, 6(2)389--440, 7(3)499--562,
8(3)17--17, 11(2)14--14, 12(2)11--11, 12(3)20--20, 24(2)15--15
-
Eiter, Thomas, see Cadoli, Marco,
see De Bruijn, Jos, \see{Leone, Nicola,
see Wang, Yisong
-
Eiter:2004:LPA, 5(2)206--263
-
Eiter:2005:RAE, 6(2)389--440
-
Eiter:2007:SCC, 8(3)17--17
-
Eiter:2010:FDN, 11(2)14--14
-
Eiter:2011:WFS, 12(2)11--11
-
either, 12(1)1--1, 12(2)13--13, 12(3)20--20, 13(1)5--5, 13(2)16--16,
13(4)31--31, 14(1)3--3, 14(3)18--18, 15(2)16--16, 15(3)19--19,
15(3)24--24, 15(3)25--25, 15(4)32--32, 16(1)7--7, 16(1)8--8,
16(2)13--13, 16(3)22--22, 16(3)27--27, 16(4)31--31, 17(1)2--2,
17(2)9--9, 17(2)14--14, 18(1)2--2, 18(1)4--4, 18(3)21--21,
18(4)27--27, 19(3)16--16, 19(3)18--18, 19(3)23--23, 20(1)1--1,
20(2)8--8
-
Elberfeld, Michael, 17(4)25--25, 18(4)33--33
-
Elberfeld, Michael, see Eickmeyer, Kord
-
Elberfeld:2016:WFO, 17(4)25--25
-
electronic, 10(1)1--1, 17(4)23--23
-
elegant, 9(3)23--23, 10(1)4--4, 13(1)8--8
-
element, 2(2)155--181, 8(4)21--21, 10(3)16--16, 11(4)25--25, 12(2)10--10,
12(3)19--19, 13(3)24--24, 13(3)27--27, 14(2)8--8, 16(3)21--21,
16(3)26--26, 17(2)10--10, 17(4)28--28, 18(4)29--29, 19(1)6--6,
19(2)7--7, 20(4)20--20, 21(1)2--2, 21(2)13--13, 21(3)25--25,
23(3)15--15
-
element, two-, 20(2)8--8
-
elementary, 6(2)468--480, 7(2)219--260, 9(1)2--2, 10(1)2--2, 10(3)19--19,
10(4)25--25, 12(3)19--19, 13(3)21--21, 13(4)30--30, 14(1)6--6,
15(1)3--3, 15(4)34--34, 16(1)9--9, 16(2)15--15, 17(1)2--2,
18(2)10--10, 18(4)33--33
-
elementary, non-, 16(3)20--20
-
elephant, 14(4)29--29
-
Elgot, 2(2)216--254
-
eliminate, 9(1)1--1, 11(3)18--18, 17(3)18--18, 19(1)3--3
-
eliminated, 17(1)7--7, 17(2)14--14, 21(1)6--6
-
Eliminating, 4(3)402--415
-
elimination, 8(2)z--99999999, 8(4)21--21, 9(2)11--11, 10(1)7--7,
15(3)21--21, 19(1)3--3, 19(1)5--5, 20(4)22--22, 21(1)4--4,
23(3)17--17, 23(4)23--23, 24(1)7--7, 24(2)13--13
-
elimination, cut-, 12(3)22--22, 12(4)23--23, 14(1)5--5,
19(1)3--3, 19(2)13--13
-
elimination, quantifier-, 2(2)155--181, 9(2)11--11
-
Eliyahu-Zohary, Rachel, Ben-, 4(2)149--180
-
Éloïse, players-, 21(3)21--21
-
ELPs, 12(2)17--17
-
else, 21(1)1--1
-
elusive, 17(3)16--16
-
EM, 13(2)11--11
-
email, 14(3)23--23
-
embed, 12(3)20--20, 19(3)22--22
-
embedded, 1(2)175--207, 10(3)15--15, 12(2)15--15, 20(4)22--22
-
embedding, 12(3)20--20, 14(1)1--1, 14(1)6--6, 17(2)10--10, 19(2)11--11,
20(4)22--22
-
embodying, 14(1)5--5
-
Emden, 2(3)289--339
-
emerged, 12(2)11--11, 16(1)7--7
-
emerges, 19(1)1--1
-
emerging, 20(1)4--4
-
emphasized, 14(2)11--11
-
empirical, 13(1)6--6, 13(2)14--14
-
employ, 11(4)27--27, 14(4)33--33, 15(2)12--12, 15(3)25--25, 17(3)18--18,
20(4)19--19
-
employed, 10(1)1--1, 11(3)17--17, 15(1)5--5, 15(3)22--22, 15(4)28--28,
20(4)22--22
-
emptiness, 9(2)10--10, 10(3)15--15, 11(4)23--23, 13(4)34--34,
15(3)24--24
-
emptiness, non-, 15(1)8--8, 20(3)14--14
-
empty, 13(3)26--26, 14(2)16--16
-
emptyness, 9(2)10--10
-
enable, 12(4)29--29, 13(3)19--19, 14(4)32--32, 15(2)12--12, 18(1)4--4,
18(2)8--8, 18(3)24--24, 19(1)4--4, 19(3)17--17, 20(2)12--12,
20(4)20--20, 20(4)22--22, 24(3)21--21
-
enabled, 18(1)3--3
-
enabling, 9(4)26--26, 19(2)13--13
-
encode, 2(1)93--134, 10(4)26--26, 13(2)16--16, 14(4)34--34, 16(3)27--27,
18(2)14--14, 19(4)26--26, 24(2)15--15
-
encoded, 11(4)26--26, 14(4)32--32, 15(2)12--12, 16(2)12--12, 16(4)29--29,
24(4)31--31
-
encoding, 2(1)93--134, 12(1)2--2, 12(1)4--4, 14(2)14--14, 16(3)24--24,
17(2)13--13, 17(4)32--32, 20(3)15--15
-
encompass, 10(4)29--29, 13(2)12--12, 15(4)34--34, 16(1)5--5, 17(2)10--10,
21(1)1--1
-
encouraging, 8(4)19--19
-
encryption, 9(4)24--24, 22(1)3--3
-
Encyclopedia, 13(3)26--26
-
end, 9(1)1--1, 9(1)6--6, 10(4)28--28, 11(3)18--18, 12(2)16--16,
14(2)15--15, 15(2)11--11, 15(4)35--35, 16(1)6--6, 18(2)14--14,
20(1)4--4
-
ending, 9(2)12--12
-
endomorphisms, hyper-, 13(1)5--5
-
energy, 14(4)33--33, 15(4)27--27
-
Engelfriet, Joost, 2(2)216--254
-
Engelfriet:2001:MDS, 2(2)216--254
-
engine, 10(1)4--4, 12(1)5--5, 19(2)10--10
-
engineering, 1(1)60--76, 1(1)162--170, 1(1)171--174, 1(2)208--246,
2(2)155--181, 2(3)388--407, 15(4)30--30, 16(4)31--31, 20(1)5--5
-
enhanced, 9(1)1--1, 18(1)4--4
-
enhancement, 18(1)4--4
-
Enhancing, 20(2)12--12
-
enjoy, 9(2)8--8, 10(2)13--13, 15(3)24--24, 18(1)2--2, 24(2)13--13
-
enjoying, 15(3)24--24, 15(4)26--26, 21(3)22--22
-
enlarge, 18(4)28--28, 20(4)25--25
-
enlarged, 12(3)22--22, 20(4)25--25
-
enlightening, 15(4)34--34
-
enough, 8(4)20--20, 9(3)17--17, 9(4)24--24, 10(4)26--26, 13(1)3--3,
13(1)6--6, 14(2)15--15, 14(4)26--26, 16(1)4--4, 18(3)21--21,
23(2)8--8, 24(3)19--19
-
Enqvist, Sebastian, 23(4)21--21
-
Enqvist:2022:TLC, 23(4)21--21
-
enrich, 15(4)30--30, 24(4)28--28
-
enriched, 15(2)15--15
-
enriched, logic-, 11(2)11--11
-
ensconcement, 19(2)12--12
-
ensure, 10(2)10--10, 12(4)28--28, 15(2)16--16, 15(4)35--35, 19(1)5--5,
19(2)12--12, 19(3)19--19, 20(4)21--21
-
ensured, 12(1)7--7
-
ensuring, 20(2)12--12, 20(4)22--22, 23(2)8--8
-
entailed, 16(1)3--3, 18(3)21--21
-
entailment, 8(3)18--18, 13(2)13--13, 24(1)1--1
-
entails, 15(3)18--18, 15(3)19--19
-
entered, 18(2)12--12
-
entire, 15(4)27--27, 15(4)32--32, 18(3)18--18
-
entirely, 10(3)20--20
-
entirety, 19(2)12--12
-
entity, 13(2)10--10, 14(2)12--12, 14(4)29--29, 20(1)4--4
-
entity-relationship, 9(3)22--22
-
entrenchment, 13(4)30--30
-
enumerability, 13(3)24--24, 19(3)18--18
-
enumerable, 13(3)26--26
-
enumerating, 14(4)25--25
-
enumeration, 8(4)21--21, 14(4)25--25, 19(2)10--10
-
envelope, 13(3)23--23, 16(1)3--3
-
environment, 1(2)208--246, 8(3)14--14, 8(3)15--15, 8(3)16--16, 9(1)6--6,
12(3)21--21, 13(1)3--3, 14(2)9--9, 14(2)12--12, 15(4)30--30,
15(4)34--34, 16(3)25--25, 21(3)24--24
-
environment-and, 21(3)21--21
-
environments, 1(1)77--111, 8(3)15--15, 8(3)16--16, 9(4)29--29,
15(4)35--35
-
epidemiology, 14(2)10--10
-
epistemic, 10(1)5--5, 13(4)28--28, 13(4)30--30, 14(3)23--23, 14(4)34--34,
16(4)35--35, 18(2)15--15, 19(4)26--26, 20(4)24--24, 21(2)16--16,
21(4)32--32, 23(2)10--10
-
Epistemic, Temporal-, 21(4)32--32
-
\epsilon, 19(3)18--18
-
epsilon-transitions, 9(2)10--10
-
equal, 2(1)93--134, 9(3)18--18, 10(2)8--8, 11(4)25--25, 14(3)21--21,
15(4)32--32, 17(1)7--7, 18(2)13--13, 22(2)11--11
-
equality, 2(1)93--134, 9(3)15--15, 10(3)16--16, 12(2)10--10, 12(3)19--19,
12(4)27--27, 13(1)2--2, 13(1)5--5, 13(2)10--10, 13(2)15--15,
13(3)20--20, 14(4)32--32, 15(1)5--5, 15(1)7--7, 15(1)8--8, 17(1)3--3,
19(1)3--3, 19(2)8--8, 19(3)18--18, 21(3)25--25, 24(1)7--7,
24(3)22--22
-
equality-free, 13(1)5--5
-
equation, 1(1)162--170, 9(2)11--11, 10(1)6--6, 10(3)19--19, 13(1)8--8,
14(3)22--22, 16(2)13--13, 16(4)29--29, 17(2)13--13, 18(1)4--4,
18(2)10--10, 18(2)14--14, 18(3)19--19, 18(3)23--23, 20(4)19--19,
22(4)23--23
-
equational, 1(1)60--76, 10(1)6--6, 14(1)4--4, 17(2)13--13, 17(4)23--23,
19(1)6--6, 21(1)1--1, 23(4)22--22
-
equationally, 12(3)21--21
-
equi-expressive, 18(3)25--25
-
equi-satisfiable, 13(2)14--14
-
equilibria, 13(4)33--33, 16(4)33--33, 19(4)26--26, 22(2)8--8
-
equilibrium, 13(4)33--33, 22(2)8--8
-
equipped, 9(1)3--3, 9(4)29--29, 10(3)21--21, 13(1)3--3, 15(2)15--15,
15(3)25--25, 16(3)23--23, 20(1)5--5, 21(2)14--14, 24(2)12--12
-
equivalence, 2(2)216--254, 6(1)61--101, 6(2)328--360, 6(4)701--726,
7(4)658--675, 7(4)676--722, 8(3)15--15, 8(3)16--16, 8(3)17--17,
9(4)26--26, 11(4)23--23, 13(3)24--24, 13(3)26--26, 13(4)33--33,
14(1)1--1, 14(1)4--4, 14(1)5--5, 14(1)7--7, 14(4)28--28, 15(2)16--16,
15(4)32--32, 15(4)35--35, 17(1)3--3, 17(2)13--13, 17(4)23--23,
17(4)29--29, 18(1)4--4, 18(2)9--9, 18(2)13--13, 18(2)14--14,
19(1)6--6, 19(2)8--8, 19(4)28--28, 19(4)30--30, 20(1)1--1,
20(3)17--17, 21(1)1--1, 21(1)2--2, 21(4)33--33, 22(1)2--2, 23(1)5--5
-
equivalence, alpha-, 19(1)6--6
-
equivalence, p-, 16(3)19--19
-
equivalence-based, 17(1)3--3
-
equivalence/preorder, 16(1)2--2
-
equivalent, 2(4)526--541, 8(3)15--15, 8(3)16--16, 8(3)17--17, 9(1)7--7,
9(3)18--18, 9(3)19--19, 10(2)10--10, 11(3)20--20, 11(4)22--22,
13(2)11--11, 13(2)12--12, 13(3)26--26, 13(4)33--33, 14(4)29--29,
15(1)3--3, 15(1)5--5, 15(1)7--7, 15(1)9--9, 15(2)14--14, 15(2)15--15,
15(3)20--20, 15(4)35--35, 16(1)4--4, 16(1)9--9, 16(3)23--23,
17(1)3--3, 17(3)16--16, 17(4)29--29, 18(1)7--7, 18(3)25--25,
19(3)17--17, 19(3)18--18, 19(4)29--29, 20(1)4--4, 21(1)4--4,
21(2)15--15, 22(1)4--4
-
equivalent, p-, 16(3)19--19
-
equivalently, 10(3)19--19, 12(4)23--23
-
equivalently, admissibility-, 20(1)2--2
-
equivariance, 20(4)22--22
-
erasure, 17(1)5--5
-
Erd{\H{o}}s, 9(1)2--2, 17(4)26--26
-
erotetic, 18(2)8--8
-
erratum, 7(4)765--797, 8(1)z--99999999, 9(3)20--20, 11(4)29--29,
16(4)36--36
-
erroneous, 10(1)3--3
-
erroneously, 10(3)16--16
-
error, 9(3)17--17, 9(3)19--19, 9(3)20--20, 14(4)33--33, 16(1)4--4,
17(3)16--16, 18(2)11--11, 19(4)28--28
-
error-free, 10(3)16--16
-
es2, 17(4)26--26
-
escape, 9(3)20--20, 19(3)20--20
-
especially, 12(4)26--26, 13(2)15--15, 18(2)13--13, 23(3)19--19
-
essence, 1(2)285--320, 14(1)5--5
-
essential, 15(2)11--11, 17(1)4--4, 17(2)11--11, 17(2)14--14, 17(4)23--23,
18(2)13--13, 19(4)24--24, 20(4)22--22, 21(4)31--31
-
essentially, 8(4)21--21, 9(3)22--22, 13(2)16--16, 16(3)25--25,
17(3)19--19, 18(1)2--2, 18(3)25--25, 18(4)33--33, 19(1)3--3,
19(1)5--5, 19(2)8--8, 22(1)6--6
-
ESSs, 18(2)8--8
-
establish, 1(2)247--284, 9(2)11--11, 9(2)12--12, 9(4)27--27, 11(4)24--24,
13(1)2--2, 13(2)12--12, 13(3)27--27, 14(3)19--19, 14(3)20--20,
14(4)28--28, 15(2)16--16, 15(3)21--21, 16(2)14--14, 16(2)15--15,
16(2)17--17, 16(3)27--27, 17(1)5--5, 18(2)10--10, 18(3)21--21,
18(3)23--23, 18(4)28--28, 18(4)31--31, 19(2)7--7, 19(2)15--15,
20(2)11--11, 20(3)17--17, 20(4)22--22, 21(1)6--6, 23(2)11--11
-
established, 9(1)2--2, 10(2)10--10, 10(3)19--19, 11(3)16--16,
11(4)25--25, 11(4)27--27, 13(3)22--22, 14(1)7--7, 15(3)21--21,
17(3)16--16, 17(4)26--26, 18(2)9--9, 20(1)3--3
-
established, well-, 19(2)12--12, 24(3)26--26
-
establishing, 2(1)135--153, 9(3)18--18, 9(4)26--26, 10(2)13--13,
11(3)15--15, 12(1)3--3, 13(2)16--16, 16(4)28--28, 17(2)10--10
-
establishment, 20(1)5--5
-
estimate, 19(4)31--31
-
eta, 16(2)13--13
-
\eta, 14(4)32--32
-
Etalle, Sandro, 5(3)470--507
-
Etalle, Sandro, see Bossi, Annalisa
-
etc, 14(1)7--7
-
Eternity, 6(1)175--201
-
Etessami, 17(2)14--14
-
Etessami, Kousha, 2(3)388--407, 13(2)12--12
-
Etessami, Kousha, see Alur, Rajeev
-
Etessami:2012:MCR, 13(2)12--12
-
EU, 15(4)27--27
-
Euclidean, 14(2)13--13, 14(3)18--18
-
Euclideanness, 8(4)19--19
-
EUF, 2(1)93--134
-
evaluate, 10(1)1--1, 13(2)13--13, 13(2)18--18, 14(3)24--24, 15(4)28--28,
16(4)34--34, 19(2)12--12, 19(2)14--14, 20(3)18--18, 21(1)5--5
-
evaluated, 8(4)21--21, 15(4)30--30, 16(2)12--12, 16(3)24--24, 18(1)5--5,
18(2)8--8, 20(2)12--12, 23(2)13--13
-
evaluating, 13(1)5--5, 20(2)12--12
-
evaluation, 2(1)57--92, 8(4)21--21, 12(1)3--3, 12(3)21--21, 13(2)14--14,
13(2)18--18, 13(4)32--32, 14(2)12--12, 14(2)16--16, 14(4)29--29,
15(4)28--28, 15(4)32--32, 16(1)8--8, 18(2)8--8, 18(2)10--10,
18(4)28--28, 18(4)29--29, 19(2)14--14, 19(3)17--17, 19(3)19--19,
19(4)31--31, 20(2)12--12, 20(4)21--21
-
Evaluation-Driven, 16(1)8--8
-
evaluation-driven, 16(1)8--8
-
even, 2(1)1--11, 8(4)20--20, 9(1)5--5, 9(3)19--19, 9(3)20--20, 9(3)22--22,
10(1)1--1, 10(2)14--14, 10(3)20--20, 10(4)29--29, 11(4)27--27,
12(1)3--3, 12(2)13--13, 12(2)14--14, 13(2)12--12, 13(3)19--19,
13(3)21--21, 13(3)25--25, 13(3)26--26, 13(4)33--33, 13(4)34--34,
14(3)19--19, 15(1)2--2, 15(4)33--33, 16(1)6--6, 16(3)21--21,
16(3)24--24, 16(3)27--27, 17(1)3--3, 17(2)12--12, 18(1)3--3,
18(2)10--10, 18(2)13--13, 19(1)1--1, 19(2)7--7, 19(2)13--13,
19(3)22--22, 19(4)24--24, 20(2)12--12, 20(3)16--16, 20(4)21--21,
21(1)4--4, 21(1)5--5, 24(4)29--29
-
event, 9(1)7--7, 10(1)1--1, 12(2)14--14, 15(4)30--30, 16(2)11--11,
20(2)10--10, 20(3)17--17, 21(1)5--5, 21(3)24--24, 21(4)34--34
-
eventualities, 14(4)28--28
-
Eventuality, 14(4)33--33
-
eventually, 13(1)1--1, 16(3)27--27, 20(4)21--21, 21(4)30--30
-
ever-increasing, 23(3)19--19
-
every, 2(1)93--134, 8(3)16--16, 9(3)19--19, 9(3)22--22, 10(1)5--5,
10(4)28--28, 12(3)19--19, 13(1)1--1, 13(2)15--15, 14(3)19--19,
14(3)21--21, 14(3)24--24, 14(4)27--27, 14(4)30--30, 14(4)31--31,
15(2)13--13, 15(2)16--16, 15(3)21--21, 15(3)24--24, 15(4)31--31,
15(4)33--33, 16(1)6--6, 16(4)32--32, 16(4)33--33, 17(2)14--14,
18(3)23--23, 18(4)27--27, 18(4)33--33, 20(3)17--17, 20(4)22--22,
21(1)4--4, 22(2)11--11, 22(3)20--20
-
everyday, 17(3)18--18
-
evidences, 13(1)6--6
-
evolution, 13(3)21--21, 15(3)25--25, 16(1)4--4
-
evolves, 1(2)247--284, 18(4)27--27, 20(1)4--4
-
evolving, 6(2)389--440
-
EX, 15(4)27--27
-
exact, 13(2)12--12, 13(4)34--34, 14(2)10--10, 14(2)12--12, 15(4)26--26,
16(3)24--24, 17(1)7--7, 18(1)7--7, 18(4)30--30, 21(1)4--4
-
exactly, 2(2)216--254, 9(2)13--13, 10(1)7--7, 13(1)9--9, 13(2)13--13,
13(3)19--19, 15(2)13--13, 18(3)18--18, 19(2)7--7, 20(1)1--1,
20(3)17--17, 24(3)23--23
-
exactness, 8(4)20--20
-
examine, 1(1)77--111, 2(1)12--56, 14(2)14--14, 17(2)14--14
-
examined, 9(1)1--1, 14(2)14--14
-
example, 1(1)3--32, 2(1)12--56, 8(4)20--20, 9(1)7--7, 9(3)19--19,
9(3)22--22, 9(4)25--25, 9(4)26--26, 10(2)10--10, 11(4)26--26,
12(1)2--2, 13(1)1--1, 13(1)2--2, 13(3)19--19, 13(3)22--22,
13(4)33--33, 14(1)2--2, 14(1)5--5, 14(1)7--7, 14(2)10--10,
14(2)13--13, 14(4)26--26, 14(4)27--27, 14(4)28--28, 15(4)27--27,
15(4)33--33, 15(4)35--35, 16(2)11--11, 16(3)21--21, 16(3)27--27,
16(4)32--32, 16(4)33--33, 16(4)34--34, 17(1)3--3, 17(2)9--9,
17(2)11--11, 17(3)15--15, 17(3)21--21, 17(4)23--23, 18(1)4--4,
18(2)16--16, 18(3)22--22, 18(3)23--23, 19(4)26--26, 20(1)1--1,
20(1)6--6, 20(4)19--19, 20(4)21--21, 20(4)22--22, 21(1)1--1,
21(1)2--2, 21(1)3--3
-
exceeding, 14(2)12--12
-
except, 2(1)93--134, 8(3)15--15, 15(4)31--31, 17(1)2--2
-
exception, 18(3)21--21
-
exceptional, 9(1)7--7
-
exchange, 14(3)23--23, 20(4)20--20, 21(1)2--2
-
exclude, 11(4)26--26
-
excluded, 9(4)27--27
-
exclusion, 1(1)3--32
-
executable, 1(1)77--111, 10(1)1--1, 19(3)22--22
-
execute, 18(1)3--3
-
executed, 10(1)1--1, 10(4)29--29, 18(1)3--3
-
executing, 10(1)1--1, 14(3)22--22, 17(2)11--11, 18(2)16--16, 19(4)31--31
-
execution, 2(1)57--92, 2(4)495--525, 8(4)23--23, 10(4)29--29,
13(2)12--12, 13(2)15--15, 13(4)28--28, 14(4)33--33, 15(4)35--35,
16(4)34--34, 17(2)11--11, 18(1)3--3, 18(2)16--16, 19(3)22--22,
19(4)25--25, 19(4)31--31, 20(3)16--16, 21(1)1--1
-
exemplified, 14(2)15--15
-
exemplify, 15(4)31--31
-
exercise, 11(4)25--25
-
exercised, 16(1)3--3
-
exhaustive, 10(4)28--28
-
exhibit, 2(3)388--407, 10(2)14--14, 12(3)22--22, 15(2)16--16,
15(3)24--24, 17(1)2--2, 17(3)22--22, 19(1)1--1, 19(3)21--21
-
exist, 1(1)131--161, 2(1)135--153, 9(1)1--1, 10(3)20--20, 10(4)28--28,
13(2)15--15, 13(3)19--19, 13(3)24--24, 14(3)19--19, 14(3)20--20,
15(3)19--19, 15(3)24--24, 16(1)1--1, 16(3)23--23, 18(4)33--33,
19(1)6--6, 20(1)1--1, 20(2)11--11, 20(4)20--20, 21(1)4--4, 21(2)9--9,
21(2)10--10, 24(3)27--27, 24(4)34--34
-
existence, 1(1)131--161, 13(2)17--17, 13(3)24--24, 14(2)8--8,
15(2)16--16, 15(3)18--18, 15(3)19--19, 16(3)23--23, 16(4)33--33,
17(1)1--1, 17(3)22--22, 18(3)20--20, 19(3)17--17, 19(3)23--23,
20(1)1--1, 20(2)9--9, 20(3)16--16
-
existential, 2(3)408--429, 13(3)19--19, 13(3)25--25, 13(4)31--31,
14(1)2--2, 15(1)9--9, 15(2)15--15, 15(3)24--24, 17(2)10--10,
18(3)24--24, 18(4)29--29, 20(2)12--12, 23(2)12--12
-
existentially, 10(3)17--17, 11(4)27--27
-
existing, 8(4)19--19, 9(3)17--17, 9(4)27--27, 10(1)3--3, 10(4)29--29,
11(4)26--26, 12(2)16--16, 13(1)1--1, 13(1)4--4, 13(3)21--21,
13(4)33--33, 14(1)4--4, 14(2)10--10, 14(2)15--15, 14(3)17--17,
15(1)5--5, 15(1)8--8, 15(3)21--21, 15(4)30--30, 15(4)33--33,
16(1)6--6, 16(4)31--31, 16(4)35--35, 17(3)20--20, 17(4)23--23,
18(1)7--7, 18(2)13--13, 18(2)14--14, 18(4)29--29, 19(1)5--5,
19(2)10--10, 19(2)12--12, 24(2)17--17
-
\exists, 19(3)18--18, 20(4)25--25, 21(3)19--19, 24(4)29--29
-
exit, single-, 13(2)12--12
-
expanded, 15(4)32--32, 16(4)32--32
-
expanding, 8(4)24--24, 16(3)27--27, 20(4)20--20, 21(2)14--14
-
expansion, 13(2)17--17, 14(1)5--5, 14(2)8--8, 14(2)14--14, 14(4)27--27,
15(3)21--21, 16(2)13--13, 17(1)7--7, 19(3)23--23, 19(4)25--25,
21(2)8--8, 21(4)29--29
-
expansion-based, 19(1)1--1
-
expect, 11(4)26--26
-
expectation, 2(3)340--387, 9(4)29--29
-
expected, 14(3)18--18, 15(4)33--33, 17(1)7--7, 21(1)1--1
-
expensive, 1(1)131--161, 16(1)6--6
-
experience, 19(4)28--28, 22(3)17--17
-
experienced, 2(1)93--134
-
experiment, 8(4)19--19, 10(1)4--4, 14(1)3--3, 16(2)11--11, 21(3)24--24
-
experimental, 2(1)93--134, 2(2)182--215, 8(3)14--14, 14(2)10--10,
14(2)12--12, 17(3)22--22, 19(3)19--19, 19(4)31--31, 20(1)6--6,
20(2)12--12, 20(3)16--16, 20(4)23--23
-
experimentally, 16(2)12--12, 16(4)34--34, 20(1)6--6, 21(1)5--5
-
experts, 16(2)11--11
-
explain, 16(1)7--7, 17(1)6--6, 19(3)22--22, 20(4)25--25
-
explained, 12(3)22--22
-
explanations, 13(4)33--33
-
explicit, 9(1)6--6, 9(3)23--23, 10(2)10--10, 12(2)17--17, 13(4)28--28,
14(4)31--31, 15(2)11--11, 15(2)16--16, 15(4)34--34, 16(4)28--28,
16(4)34--34, 16(4)35--35, 18(2)9--9, 18(2)14--14, 18(2)15--15,
19(2)12--12, 19(4)25--25, 20(1)1--1, 21(1)3--3, 24(4)34--34
-
explicitly, 9(3)23--23, 10(3)19--19, 11(3)18--18, 11(4)27--27,
13(3)21--21, 15(3)20--20, 15(4)34--34, 16(4)32--32, 18(2)15--15,
19(4)26--26
-
exploit, 2(1)93--134, 8(3)14--14, 9(1)1--1, 9(3)21--21, 12(1)2--2,
13(4)32--32, 14(1)2--2, 14(3)24--24, 15(1)6--6, 17(1)7--7, 20(1)2--2,
20(2)12--12
-
exploitation, 9(1)7--7
-
exploited, 10(4)25--25, 12(1)2--2
-
exploiting, 2(1)93--134, 13(3)25--25, 19(4)31--31
-
exploration, 15(2)12--12, 20(3)16--16
-
exploration, bounded-, 1(1)77--111
-
explore, 1(2)285--320, 14(1)5--5, 16(4)30--30, 19(1)6--6, 19(3)20--20,
19(4)30--30, 20(1)6--6, 20(2)7--7, 20(4)22--22, 24(3)26--26
-
explored, 16(4)31--31
-
exploring, 23(4)23--23
-
explosion, 11(3)16--16, 12(1)3--3, 17(1)7--7, 18(3)24--24, 20(4)19--19
-
exponential, 8(4)20--20, 10(2)14--14, 11(3)18--18, 12(4)23--23,
12(4)26--26, 13(1)2--2, 13(1)4--4, 13(2)12--12, 14(2)12--12,
14(4)31--31, 15(1)6--6, 15(2)16--16, 16(1)9--9, 16(3)20--20,
16(3)23--23, 17(1)7--7, 17(2)8--8, 17(2)13--13, 17(4)30--30,
19(2)8--8, 19(3)19--19, 19(4)29--29, 20(3)14--14, 20(4)19--19,
24(1)1--1, 24(2)13--13
-
exponential, double-, 2(3)408--429
-
exponential-sized, 17(4)32--32
-
exponential-time, 10(4)24--24, 15(1)2--2, 19(1)2--2
-
exponentially, 13(3)25--25, 14(2)15--15, 16(1)6--6, 16(4)29--29,
20(1)4--4, 21(2)8--8, 24(1)8--8
-
exponentiation, 9(4)24--24
-
exponents, 9(4)24--24
-
exporting, 12(2)17--17
-
Exp+Res, 19(1)1--1
-
express, 1(1)33--59, 2(1)93--134, 8(4)24--24, 9(1)6--6, 9(3)19--19,
9(4)26--26, 12(3)18--18, 13(3)25--25, 13(3)26--26, 14(2)10--10,
14(4)29--29, 15(3)25--25, 15(4)30--30, 15(4)34--34, 16(2)17--17,
16(4)33--33, 17(2)14--14, 17(4)31--31, 18(1)1--1, 18(4)31--31,
19(2)7--7, 19(4)26--26, 20(1)4--4, 20(2)8--8, 20(4)21--21,
22(2)14--14, 22(3)17--17, 24(4)30--30
-
expressed, 1(1)3--32, 14(1)4--4, 14(2)10--10, 14(4)31--31, 15(4)30--30,
16(1)5--5, 17(3)17--17, 17(4)32--32, 18(4)31--31, 19(2)12--12,
19(2)13--13, 19(3)23--23, 21(1)1--1, 24(2)16--16
-
expressibility, 16(4)31--31, 19(2)7--7
-
expressible, 1(1)112--130, 10(4)29--29, 12(1)3--3, 12(2)12--12,
13(4)34--34, 19(3)23--23, 20(2)9--9, 23(3)17--17
-
expressing, 1(1)162--170, 14(4)32--32, 15(3)20--20, 16(3)26--26,
16(4)33--33, 18(4)27--27, 21(1)2--2
-
expression, 1(1)60--76, 9(1)3--3, 9(3)22--22, 13(1)4--4, 13(4)34--34,
14(1)7--7, 14(4)29--29, 19(2)10--10, 20(1)6--6, 24(3)22--22
-
expressive, 1(1)33--59, 2(1)135--153, 2(3)408--429, 9(3)16--16,
9(3)22--22, 9(4)26--26, 10(1)3--3, 10(2)8--8, 10(4)26--26,
11(4)23--23, 13(1)6--6, 13(3)20--20, 13(3)25--25, 13(4)31--31,
13(4)34--34, 14(4)28--28, 15(1)1--1, 15(1)7--7, 15(1)9--9,
15(3)25--25, 15(4)26--26, 15(4)34--34, 16(1)9--9, 16(3)25--25,
17(1)1--1, 17(1)5--5, 17(2)12--12, 17(4)25--25, 17(4)31--31,
18(2)10--10, 18(4)27--27, 18(4)33--33, 19(1)4--4, 19(1)6--6,
19(2)11--11, 19(2)13--13, 19(3)16--16, 19(3)23--23, 20(2)10--10,
20(3)14--14, 20(4)22--22, 21(1)5--5, 23(1)6--6, 23(4)21--21
-
expressive, equi-, 18(3)25--25
-
expressively, 12(3)21--21, 15(1)7--7, 15(2)15--15, 17(2)14--14
-
expressiveness, 10(3)16--16, 11(2)8--8, 11(4)23--23, 14(4)28--28,
15(2)11--11, 15(4)35--35, 17(1)1--1, 17(4)32--32, 18(2)9--9,
18(2)10--10, 20(1)4--4, 20(2)12--12, 20(4)19--19, 21(2)12--12,
22(2)8--8
-
expressivity, 1(1)33--59, 12(1)5--5, 13(3)20--20, 14(1)2--2, 19(1)4--4,
19(3)23--23, 24(2)12--12
-
ExpSpace-complete, 12(2)10--10
-
EXPSPACE-Completeness, 22(4)24--24
-
EXPTIME, 10(4)24--24, 13(4)34--34, 16(3)26--26, 21(1)6--6
-
ExpTime, 13(3)25--25, 14(1)2--2, 23(2)11--11
-
exptime, 17(4)30--30
-
EXPTIME, 2-, 14(2)8--8
-
ExpTime, 2-, 19(2)8--8
-
EXPTIME-complete, 9(4)26--26, 13(2)12--12, 13(4)34--34, 15(2)16--16,
21(1)7--7
-
ExpTime-complete, 13(3)21--21, 14(2)13--13, 17(1)2--2
-
EXPTIME-completeness, 2-, 9(4)26--26
-
extend, 2(2)216--254, 2(3)388--407, 8(3)17--17, 9(1)1--1, 9(1)6--6,
9(2)14--14, 9(3)15--15, 9(4)26--26, 9(4)27--27, 10(1)3--3,
10(4)26--26, 12(1)1--1, 12(1)7--7, 12(2)17--17, 12(4)25--25,
13(1)8--8, 13(2)17--17, 13(2)18--18, 13(4)30--30, 14(2)14--14,
14(2)16--16, 15(1)1--1, 15(1)5--5, 15(1)6--6, 15(4)26--26,
16(2)12--12, 16(2)13--13, 17(1)4--4, 17(2)14--14, 17(3)19--19,
17(4)26--26, 18(2)10--10, 18(2)14--14, 19(1)5--5, 19(1)6--6,
19(2)13--13, 20(3)18--18, 20(4)21--21, 21(1)3--3, 21(1)5--5,
21(4)31--31, 22(3)19--19, 23(1)6--6, 24(2)12--12
-
extended, 2(2)155--181, 2(3)289--339, 2(4)458--494, 9(3)22--22,
9(4)24--24, 9(4)25--25, 10(2)14--14, 10(3)16--16, 11(4)22--22,
12(4)27--27, 13(3)25--25, 13(4)30--30, 14(1)7--7, 14(2)16--16,
14(3)22--22, 15(1)7--7, 15(2)11--11, 15(4)32--32, 16(1)2--2,
16(3)19--19, 18(1)7--7, 18(2)11--11, 18(3)20--20, 20(2)11--11,
20(4)19--19, 21(1)3--3, 22(3)20--20, 23(4)22--22, 24(4)31--31
-
extending, 1(1)3--32, 1(1)131--161, 8(3)15--15, 8(3)16--16, 8(4)20--20,
10(1)7--7, 10(4)26--26, 11(3)17--17, 13(2)18--18, 14(4)32--32,
15(1)8--8, 15(4)27--27, 16(1)5--5, 16(2)11--11, 18(2)10--10,
18(2)15--15, 19(1)4--4, 20(4)25--25, 21(2)13--13, 22(2)11--11,
24(4)29--29
-
extensibility, 9(3)16--16
-
extensible, 3(4)562--603, 14(2)15--15
-
extension, 1(1)33--59, 1(1)162--170, 1(2)175--207, 2(3)388--407,
9(2)10--10, 9(2)12--12, 9(3)19--19, 9(3)20--20, 9(4)26--26,
10(1)5--5, 10(1)7--7, 10(2)14--14, 10(3)21--21, 11(3)18--18,
11(4)22--22, 11(4)28--28, 12(2)9--9, 12(2)16--16, 12(3)22--22,
12(4)29--29, 13(2)10--10, 13(2)18--18, 13(3)20--20, 13(3)22--22,
14(1)1--1, 14(2)11--11, 14(3)17--17, 14(4)26--26, 15(1)4--4,
15(2)14--14, 15(4)27--27, 16(2)13--13, 16(2)14--14, 16(3)19--19,
16(3)20--20, 16(3)22--22, 16(3)27--27, 16(4)29--29, 17(2)8--8,
17(2)14--14, 18(2)10--10, 18(3)25--25, 18(4)28--28, 18(4)31--31,
19(1)1--1, 19(2)8--8, 19(2)13--13, 19(2)14--14, 19(3)22--22,
19(3)23--23, 19(4)25--25, 19(4)26--26, 19(4)29--29, 20(3)13--13,
21(1)2--2, 21(2)12--12, 21(3)20--20, 21(4)31--31, 22(1)1--1,
22(1)5--5, 23(1)6--6, 23(3)16--16, 23(4)21--21, 24(1)4--4,
24(3)19--19, 24(3)21--21, 24(3)24--24
-
extensional, 7(4)676--722, 13(4)32--32, 14(3)21--21, 20(2)12--12,
24(4)28--28
-
extensive, 1(1)33--59, 14(2)10--10, 14(2)12--12, 18(2)8--8, 19(3)19--19
-
extensively, 14(2)12--12, 15(4)28--28, 15(4)30--30, 17(3)22--22,
19(4)30--30, 24(3)21--21
-
extent, 2(3)340--387, 9(2)13--13, 12(1)8--8, 12(3)21--21, 14(2)15--15,
15(4)26--26
-
exteriors, 13(3)23--23
-
external, 10(1)1--1, 14(1)3--3, 14(2)9--9, 14(2)16--16, 15(2)16--16,
15(4)30--30
-
extra, 13(4)30--30
-
extracted, 18(2)8--8
-
extracting, 15(1)1--1, 16(2)11--11
-
extraction, 13(2)11--11, 18(2)8--8
-
extracts, 1(1)3--32, 12(4)23--23
-
extralogical, 16(4)32--32
-
extremal, 21(1)4--4
-
extremely, 2(1)1--11, 2(3)340--387