Index file section E for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
E
-
\%e, 3(z)169--169
-
e-, 6(z)35--35
-
e-commerce, 5(z)132--132, 7(z)129--129
-
e-graph, 5(z)23--23
-
E-Graphs, 7(z)14--14
-
e-graphs, 5(z)23--23
-
e-matching, 6(z)35--35
-
e.g, 2(z)67--67, 2(z)104--104, 2(z)106--106, 2(z)116--116, 2(z)147--147,
3(z)29--29, 3(z)110--110, 3(z)139--139, 3(z)141--141, 3(z)158--158,
3(z)160--160, 3(z)184--184, 4(z)20--20, 4(z)40--40, 4(z)50--50,
4(z)60--60, 4(z)71--71, 4(z)136--136, 4(z)160--160, 4(z)204--204,
4(z)210--210, 5(z)17--17, 5(z)21--21, 5(z)29--29, 5(z)38--38,
5(z)138--138, 5(z)163--163, 6(z)20--20, 6(z)45--45, 6(z)59--59,
6(z)60--60, 6(z)73--73, 6(z)78--78, 7(z)30--30, 7(z)185--185,
7(z)234--234, 7(z)259--259, 8(z)52--52, 8(z)78--78
-
each, 2(z)66--66, 2(z)100--100, 2(z)108--108, 2(z)142--142, 2(z)151--151,
3(z)15--15, 3(z)29--29, 3(z)160--160, 4(z)46--46, 4(z)62--62,
4(z)85--85, 4(z)94--94, 4(z)184--184, 4(z)210--210, 5(z)34--34,
5(z)44--44, 5(z)48--48, 5(z)73--73, 6(z)5--5, 6(z)17--17, 6(z)23--23,
6(z)50--50, 6(z)127--127, 7(z)35--35, 7(z)54--54, 7(z)140--140,
7(z)179--179, 7(z)227--227, 8(z)58--58
-
Eades III, Harley, 3(z)110--110, 5(z)50--50
-
Eades III, Harley, see Choudhury, Pritam,
see Orchard, Dominic
-
eagerly-memoized, 5(z)88--88
-
Earanky, Kapil, 2(z)164--164
-
Earanky, Kapil, see Kaki, Gowtham
-
Earlier, 4(z)137--137
-
early, 2(z)99--99, 3(z)159--159, 3(z)162--162, 4(z)45--45, 4(z)69--69,
4(z)70--70, 4(z)72--72, 4(z)74--74, 4(z)75--75, 4(z)82--82,
6(z)168--168, 7(z)269--269, 8(z)97--97
-
ease, 3(z)9--9, 3(z)125--125, 5(z)107--107, 6(z)186--186, 8(z)86--86
-
easier, 3(z)149--149, 6(z)67--67, 8(z)60--60
-
easily, 2(z)76--76, 2(z)86--86, 2(z)162--162, 4(z)91--91, 4(z)202--202,
6(z)24--24, 6(z)48--48, 8(z)119--119, 8(z)129--129
-
easy, 4(z)49--49, 4(z)83--83, 4(z)124--124, 4(z)132--132, 4(z)136--136,
4(z)186--186, 5(z)119--119, 5(z)126--126, 5(z)148--148,
5(z)160--160, 6(z)148--148, 7(z)172--172, 8(z)19--19
-
easy-to-understand, 5(z)33--33
-
EasyBC, 8(z)29--29
-
eBGP, 5(z)90--90
-
Ebner, Gabriel, 1(z)34--34
-
Ebner:2017:MFF, 1(z)34--34
-
ECMAScript, 2(z)162--162
-
economic, 4(z)42--42, 7(z)179--179
-
ecosystem, 2(z)66--66, 2(z)116--116, 3(z)189--189, 5(z)160--160
-
edge, 4(z)182--182, 4(z)213--213, 6(z)180--180, 7(z)117--117
-
edge, cutting-, 6(z)77--77
-
edge, leading-, 3(z)6--6
-
edge-labeled, 6(z)180--180
-
Edinburgh, 4(z)86--86
-
edit, 1(z)78--78, 3(z)143--143, 4(z)215--215, 4(z)219--219, 6(z)139--139,
7(z)134--134
-
edited, 3(z)14--14, 4(z)215--215
-
editing, 4(z)159--159, 4(z)219--219, 6(z)139--139
-
editor, 2(z)103--103, 4(z)74--74, 4(z)81--81, 6(z)85--85, 6(z)140--140
-
Editorial, 1(z)1--1
-
education, 1(z)4--4, 4(z)73--73, 6(z)133--133
-
educational, 3(z)115--115, 4(z)138--138
-
Effect, Answer-, 7(z)71--71
-
Effect, Type-and-, 7(z)71--71
-
effect, Type-and-, 7(z)71--71
-
effect, type-and-, 4(z)175--175, 5(z)75--75, 6(z)2--2
-
Effect-driven, 1(z)15--15
-
effectful, 3(z)90--90, 4(z)111--111, 4(z)121--121, 5(z)26--26,
5(z)35--35, 6(z)19--19, 6(z)31--31, 6(z)44--44, 6(z)101--101,
6(z)147--147, 7(z)9--9, 8(z)10--10, 8(z)87--87, 8(z)88--88
-
effective, 1(z)57--57, 2(z)17--17, 2(z)46--46, 2(z)92--92, 2(z)130--130,
2(z)161--161, 3(z)162--162, 3(z)167--167, 3(z)173--173,
3(z)174--174, 4(z)7--7, 4(z)60--60, 4(z)84--84, 4(z)164--164,
4(z)193--193, 4(z)196--196, 4(z)209--209, 4(z)213--213, 5(z)54--54,
5(z)144--144, 5(z)152--152, 5(z)166--166, 6(z)71--71, 6(z)114--114,
6(z)159--159, 7(z)20--20, 7(z)50--50, 7(z)75--75, 7(z)128--128,
7(z)251--251, 7(z)286--286, 8(z)77--77
-
effectively, 2(z)48--48, 3(z)113--113, 4(z)17--17, 4(z)60--60,
5(z)132--132, 6(z)79--79, 6(z)159--159
-
effectiveness, 3(z)147--147, 4(z)84--84, 4(z)193--193, 7(z)94--94,
8(z)112--112
-
effects, side-, 3(z)104--104, 4(z)207--207
-
Effekt, 4(z)126--126
-
efficiency, 3(z)166--166, 3(z)170--170, 4(z)29--29, 4(z)47--47,
4(z)73--73, 4(z)100--100, 4(z)202--202, 5(z)51--51, 5(z)88--88,
6(z)12--12, 7(z)198--198, 7(z)279--279, 8(z)108--108
-
efficient, 1(z)18--18, 1(z)67--67, 1(z)99--99, 2(z)34--34, 2(z)108--108,
2(z)126--126, 2(z)135--135, 3(z)21--21, 3(z)97--97, 3(z)98--98,
3(z)113--113, 3(z)128--128, 3(z)130--130, 4(z)41--41, 4(z)104--104,
4(z)129--129, 4(z)146--146, 4(z)157--157, 4(z)166--166,
4(z)194--194, 4(z)213--213, 4(z)218--218, 4(z)220--220, 5(z)6--6,
5(z)41--41, 5(z)53--53, 5(z)71--71, 5(z)74--74, 5(z)83--83,
5(z)91--91, 5(z)102--102, 5(z)109--109, 5(z)112--112, 5(z)118--118,
5(z)121--121, 5(z)127--127, 5(z)149--149, 6(z)48--48, 6(z)62--62,
6(z)74--74, 6(z)94--94, 6(z)115--115, 6(z)129--129, 6(z)159--159,
6(z)184--184, 7(z)26--26, 7(z)54--54, 7(z)103--103, 7(z)116--116,
7(z)117--117, 7(z)125--125, 7(z)133--133, 7(z)170--170,
7(z)184--184, 7(z)202--202, 7(z)225--225, 7(z)228--228,
7(z)240--240, 7(z)251--251, 7(z)255--255, 7(z)286--286,
7(z)292--292, 8(z)36--36, 8(z)52--52, 8(z)86--86, 8(z)92--92,
8(z)105--105
-
efficient, entropy-, 4(z)36--36
-
efficient, space-, 5(z)18--18, 5(z)61--61, 6(z)148--148
-
efficiently, 2(z)4--4, 2(z)117--117, 4(z)92--92, 4(z)164--164,
5(z)23--23, 5(z)49--49, 6(z)88--88, 7(z)111--111, 7(z)117--117,
7(z)177--177, 8(z)52--52
-
efficiently., 4(z)71--71
-
effort, 2(z)47--47, 2(z)69--69, 2(z)72--72, 2(z)108--108, 3(z)78--78,
3(z)160--160, 3(z)162--162, 4(z)7--7, 4(z)73--73, 4(z)83--83,
4(z)143--143, 4(z)167--167, 5(z)157--157, 6(z)41--41, 6(z)145--145,
6(z)186--186, 6(z)192--192, 7(z)88--88
-
EFTSanitizer, 6(z)190--190
-
egg, 5(z)23--23
-
egglog, 7(z)125--125
-
Ehrhard, Thomas, 2(z)59--59
-
Ehrhard:2018:MCS, 2(z)59--59
-
Eich, Brendan, 4(z)77--77
-
Eich, Brendan, see Wirfs-Brock, Allen
-
Eichholz, Matthias, 6(z)40--40
-
Eichholz:2022:DTD, 6(z)40--40
-
Eilers, Marco, 4(z)152--152, 5(z)146--146, 7(z)175--175
-
Eilers, Marco, see Bräm, Christian,
see Sprenger, Christoph
-
Eilers:2023:CPI, 7(z)175--175
-
Eisenbach, Susan, 3(z)102--102, 6(z)154--154
-
Eisenbach, Susan, see Kiss, Csongor,
see Mackay, Julian
-
Eisenberg, Richard A., 1(z)31--31, 1(z)42--42, 3(z)101--101, 4(z)40--40,
4(z)53--53, 4(z)104--104, 5(z)50--50, 5(z)64--64, 6(z)48--48,
6(z)95--95
-
Eisenberg, Richard A., see Choudhury, Pritam,
see Downen, Paul, \see{Jones, Mark P.,
see Krawiec, Faustyna,
see Morris, J. Garrett,
see Spiwack, Arnaud,
see Weirich, Stephanie,
see Xie, Ningning
-
Eisenberg:2021:ECR, 5(z)64--64
-
Eisinger, Jochen, 2(z)151--151
-
Eisinger, Jochen, see Degenbaev, Ulan
-
EISPACK, 4(z)81--81
-
either, 2(z)112--112, 2(z)163--163, 3(z)9--9, 3(z)95--95, 4(z)56--56,
4(z)143--143, 4(z)205--205, 5(z)72--72, 5(z)92--92, 5(z)129--129,
6(z)24--24, 6(z)67--67, 6(z)150--150, 6(z)159--159, 7(z)236--236,
7(z)257--257, 8(z)50--50
-
El Hajj, Izzat, 1(z)45--45
-
elaborates, 2(z)75--75
-
Elaborating, 2(z)75--75
-
Elaboration, 4(z)101--101, 7(z)62--62
-
Elaboration-based, 3(z)91--91
-
elaborator, 6(z)98--98
-
Elad, Neta, 8(z)33--33
-
Elad:2024:INF, 8(z)33--33
-
elastic, 5(z)133--133
-
election, 5(z)157--157
-
elegance, 3(z)6--6
-
elegant, 4(z)108--108, 4(z)168--168, 5(z)41--41, 7(z)105--105
-
elegantly, 5(z)40--40, 6(z)121--121
-
element, 2(z)101--101, 2(z)147--147, 4(z)131--131, 4(z)168--168,
5(z)78--78, 5(z)118--118, 6(z)7--7, 6(z)57--57, 6(z)134--134,
6(z)137--137, 7(z)63--63, 7(z)68--68, 8(z)23--23
-
element-wise, 5(z)128--128
-
elementary, 6(z)3--3
-
ELF, 4(z)197--197
-
ElHajj:2017:SOS, 1(z)45--45
-
elicited, 3(z)120--120
-
elicits, 5(z)83--83
-
Eliding, Sanitizer-, 7(z)143--143
-
eliminate, 2(z)120--120, 4(z)7--7, 4(z)131--131, 5(z)49--49, 6(z)4--4,
6(z)116--116, 7(z)127--127
-
eliminated, 2(z)97--97
-
eliminating, 2(z)136--136, 4(z)168--168, 5(z)49--49, 5(z)103--103
-
elimination, 1(z)74--74, 4(z)58--58, 4(z)67--67, 6(z)13--13,
6(z)106--106, 8(z)145--145
-
Eline, Aaron, 6(z)78--78, 8(z)118--118
-
Eline, Aaron, see Cutler, Joseph W.,
see Machiry, Aravind
-
Elipmoc, 6(z)77--77
-
elision, 4(z)131--131
-
Elliott, Conal, 1(z)7--7, 1(z)27--27, 2(z)70--70, 5(z)78--78,
7(z)219--219
-
Elliott:2017:CC, 1(z)27--27
-
Elliott:2017:GFP, 1(z)7--7
-
Elliott:2018:SEA, 2(z)70--70
-
Elliott:2021:SAD, 5(z)78--78
-
Elliott:2023:TC, 7(z)219--219
-
Ellis, Kevin, 7(z)41--41
-
Ellis, Kevin, see Bowers, Matthew
-
Ellis, Stephen, 6(z)168--168
-
Ellis, Tom, 6(z)48--48
-
Ellis, Tom, see Krawiec, Faustyna
-
Ellis:2022:GGG, 6(z)168--168
-
Elsman, Martin, 2(z)97--97, 7(z)115--115, 7(z)142--142, 8(z)79--79
-
Elsman:2018:SIH, 2(z)97--97
-
Elsman:2023:GCS, 7(z)115--115
-
Elsman:2023:PRI, 7(z)142--142
-
Elsman:2024:EEE, 8(z)79--79
-
Emacs, 4(z)74--74
-
embarrassing, 4(z)89--89
-
embed, 3(z)131--131, 8(z)118--118
-
embedded, 1(z)17--17, 4(z)4--4, 4(z)212--212, 5(z)27--27, 5(z)85--85,
6(z)79--79, 6(z)191--191, 7(z)29--29, 7(z)105--105, 7(z)275--275
-
embedding, 2(z)151--151, 4(z)137--137, 4(z)233--233, 5(z)94--94,
6(z)101--101, 6(z)131--131, 7(z)171--171, 7(z)182--182,
7(z)189--189
-
embedding-projection, 2(z)73--73
-
embodiments, 4(z)38--38
-
embrace, 4(z)188--188
-
embracing, 6(z)109--109
-
emerged, 2(z)134--134, 4(z)67--67, 4(z)203--203, 5(z)14--14, 8(z)89--89
-
emergence, 6(z)155--155
-
emerging, 2(z)128--128, 2(z)137--137, 3(z)135--135, 4(z)11--11,
4(z)153--153, 4(z)233--233, 5(z)63--63, 6(z)134--134, 7(z)118--118,
7(z)207--207, 7(z)244--244
-
emits, 4(z)36--36
-
Emmi, Michael, 2(z)25--25
-
Emmi:2018:SCT, 2(z)25--25
-
Empire, 4(z)73--73
-
empirical, 2(z)126--126, 3(z)158--158, 4(z)132--132, 4(z)226--226,
5(z)167--167, 6(z)86--86
-
empirically, 2(z)113--113, 3(z)158--158, 4(z)136--136, 4(z)181--181
-
employ, 2(z)66--66, 2(z)109--109, 3(z)160--160, 4(z)34--34, 4(z)38--38,
5(z)3--3, 5(z)31--31, 6(z)28--28, 6(z)111--111, 7(z)235--235
-
employed, 3(z)161--161, 7(z)292--292, 8(z)56--56
-
empower, 8(z)88--88
-
Empowering, 2(z)112--112
-
Emre, Mehmet, 5(z)121--121, 7(z)94--94
-
Emre:2021:TCS, 5(z)121--121
-
Emre:2023:ALT, 7(z)94--94
-
Emrich, Frank, 6(z)111--111
-
Emrich:2022:CBT, 6(z)111--111
-
enable, 2(z)153--153, 2(z)163--163, 3(z)8--8, 3(z)29--29, 3(z)99--99,
3(z)125--125, 3(z)147--147, 3(z)186--186, 4(z)19--19, 4(z)39--39,
4(z)41--41, 4(z)100--100, 4(z)144--144, 4(z)163--163, 4(z)186--186,
4(z)207--207, 5(z)19--19, 5(z)21--21, 5(z)80--80, 5(z)145--145,
5(z)150--150, 6(z)30--30, 6(z)40--40, 6(z)76--76, 6(z)110--110,
6(z)118--118, 7(z)94--94, 7(z)95--95, 7(z)136--136, 7(z)163--163,
7(z)166--166, 7(z)243--243, 7(z)255--255, 7(z)260--260,
7(z)277--277, 8(z)32--32, 8(z)41--41, 8(z)144--144
-
enabled, 4(z)87--87, 5(z)69--69, 7(z)91--91
-
Enabled, ML-, 7(z)299--299
-
enabling, 2(z)108--108, 3(z)94--94, 3(z)160--160, 3(z)165--165,
4(z)130--130, 4(z)146--146, 5(z)95--95, 5(z)111--111, 6(z)116--116,
6(z)149--149, 7(z)81--81, 7(z)120--120, 7(z)255--255, 8(z)110--110
-
encapsulate, 6(z)1--1, 6(z)67--67
-
encapsulated, 6(z)82--82
-
encapsulated, well-, 4(z)136--136
-
encapsulation, 2(z)64--64, 3(z)19--19
-
encode, 4(z)11--11, 4(z)146--146, 5(z)21--21, 5(z)48--48, 5(z)90--90,
5(z)145--145, 6(z)36--36, 7(z)51--51, 7(z)200--200
-
encoded, 3(z)100--100, 3(z)146--146, 7(z)150--150, 8(z)127--127
-
encoder, 3(z)82--82, 4(z)146--146
-
encoding, 4(z)24--24, 4(z)45--45, 7(z)68--68, 7(z)94--94, 7(z)279--279,
8(z)24--24
-
encompasses, 3(z)189--189, 4(z)134--134, 4(z)157--157, 6(z)13--13,
7(z)20--20
-
encounter, 6(z)169--169
-
encountered, 6(z)102--102
-
encourage, 3(z)78--78, 4(z)93--93
-
encrypted, 7(z)114--114
-
encryption, 7(z)114--114, 7(z)274--274
-
end, 3(z)151--151, 4(z)73--73, 7(z)68--68, 8(z)24--24, 8(z)146--146
-
End, End-to-, 7(z)228--228
-
end, End-to-, 6(z)84--84
-
end, end-to-, 3(z)78--78, 3(z)186--186, 8(z)72--72
-
End, to-, 8(z)146--146
-
end-, 4(z)32--32
-
End-to-End, 7(z)228--228
-
end-to-end, 3(z)78--78, 3(z)186--186, 6(z)84--84, 8(z)72--72
-
end-users, 6(z)133--133
-
end., 4(z)73--73
-
endeavors, 5(z)123--123
-
endeavour, 6(z)53--53
-
endowed, 3(z)158--158, 5(z)32--32, 6(z)120--120
-
endpoint, 3(z)29--29, 6(z)23--23, 6(z)107--107, 7(z)79--79
-
Endres, Madeline, 6(z)167--167
-
Endres, Madeline, see Sakkas, Georgios
-
Enea, Constantin, 2(z)25--25, 3(z)165--165, 4(z)128--128, 4(z)210--210,
5(z)132--132, 7(z)129--129, 8(z)140--140
-
Enea, Constantin, see Biswas, Ranadeep,
see Bouajjani, Ahmed, \see{Dragoi, Cezara,
see Emmi, Michael,
see Feldman, Yotam M. Y.
-
Enea:2024:SBP, 8(z)140--140
-
energy, 3(z)183--183, 3(z)186--186, 6(z)38--38, 6(z)75--75
-
energy-harvesting, 3(z)183--183, 7(z)136--136
-
enforce, 2(z)164--164, 3(z)19--19, 3(z)142--142, 4(z)50--50,
4(z)136--136, 5(z)47--47, 5(z)81--81, 6(z)116--116, 7(z)105--105,
7(z)220--220, 8(z)115--115, 8(z)131--131
-
enforced, 6(z)127--127
-
enforced, bounds-, 6(z)78--78
-
Enforcement, 8(z)144--144
-
enforcing, 3(z)19--19, 3(z)172--172, 5(z)139--139, 6(z)70--70,
6(z)150--150, 7(z)15--15, 7(z)227--227, 7(z)235--235, 7(z)241--241,
8(z)100--100
-
engine, 2(z)149--149, 4(z)16--16, 4(z)22--22, 4(z)164--164, 5(z)134--134,
6(z)4--4, 6(z)148--148, 7(z)132--132, 8(z)98--98
-
engineer, 4(z)73--73, 4(z)78--78, 6(z)38--38, 6(z)116--116
-
engineered, 2(z)78--78, 3(z)177--177
-
engineering, 3(z)178--178, 3(z)182--182, 4(z)225--225, 6(z)169--169,
7(z)16--16, 7(z)109--109, 7(z)184--184, 7(z)239--239, 7(z)246--246
-
engineering, reverse-, 5(z)122--122
-
enhance, 3(z)111--111, 3(z)170--170, 6(z)112--112
-
enhanced, 4(z)81--81, 6(z)18--18, 8(z)71--71
-
enhancement, 4(z)81--81, 4(z)116--116, 5(z)103--103, 6(z)3--3,
6(z)18--18
-
Enhancing, 2(z)145--145, 8(z)111--111
-
enjoy, 4(z)191--191
-
enjoying, 4(z)119--119
-
enormous, 3(z)189--189
-
enough, 4(z)41--41, 5(z)90--90, 7(z)253--253
-
enriched, 5(z)87--87, 6(z)156--156, 7(z)63--63, 8(z)1--1, 8(z)13--13
-
enriching, 2(z)69--69, 2(z)132--132, 8(z)115--115
-
enrolling, 2(z)158--158
-
enrollments, 4(z)138--138
-
ensure, 2(z)100--100, 2(z)159--159, 3(z)29--29, 3(z)109--109,
3(z)147--147, 3(z)151--151, 3(z)158--158, 4(z)71--71, 4(z)138--138,
4(z)163--163, 4(z)184--184, 4(z)204--204, 4(z)213--213, 5(z)43--43,
5(z)82--82, 6(z)4--4, 6(z)5--5, 7(z)4--4, 7(z)89--89, 7(z)175--175,
7(z)235--235, 7(z)253--253, 8(z)54--54, 8(z)100--100
-
ensured, 4(z)210--210
-
ensuring, 2(z)141--141, 3(z)30--30, 3(z)99--99, 3(z)147--147,
3(z)166--166, 4(z)136--136, 4(z)142--142, 4(z)151--151, 5(z)2--2,
5(z)107--107, 6(z)86--86, 7(z)26--26, 7(z)89--89, 7(z)265--265
-
entailment, 5(z)89--89
-
entangled, 6(z)91--91
-
entanglement, 6(z)30--30, 6(z)115--115
-
entering, 6(z)141--141
-
enthusiasm, 3(z)120--120
-
enthusiastic, 7(z)218--218
-
enticing, 2(z)133--133
-
entire, 7(z)263--263, 8(z)32--32
-
entirely, 3(z)177--177, 4(z)3--3, 4(z)38--38, 4(z)217--217, 7(z)115--115
-
entirety, 2(z)116--116
-
entities, 6(z)1--1, 7(z)147--147
-
entropy-efficient, 4(z)36--36
-
entry, 6(z)182--182
-
enumerate, 5(z)54--54, 6(z)105--105
-
enumeration, 5(z)54--54, 6(z)105--105, 8(z)71--71
-
enumerative, 4(z)227--227, 5(z)54--54
-
environment, 2(z)107--107, 3(z)23--23, 3(z)183--183, 4(z)79--79,
4(z)81--81, 4(z)84--84, 4(z)133--133, 4(z)160--160, 4(z)200--200,
4(z)232--232, 5(z)96--96, 5(z)145--145, 5(z)153--153, 7(z)140--140,
7(z)299--299
-
environment-, 5(z)51--51
-
environments, 2(z)90--90, 2(z)108--108, 2(z)148--148, 3(z)14--14,
3(z)83--83, 3(z)133--133, 4(z)51--51, 4(z)84--84, 4(z)160--160,
4(z)163--163, 4(z)200--200, 4(z)209--209, 6(z)133--133,
6(z)139--139, 7(z)126--126, 7(z)136--136, 7(z)228--228, 8(z)79--79,
8(z)121--121
-
envisions, 7(z)241--241
-
envy-free, 7(z)179--179
-
Epi-Recursors, 8(z)15--15
-
epoch, 2(z)137--137
-
Epoch, Iterative-, 8(z)145--145
-
EPR, 1(z)108--108
-
Epstein, Edward, 7(z)159--159
-
Epstein, Edward, see Tardieu, Olivier
-
EqSat, 7(z)125--125
-
equal, 3(z)3--3
-
equality, 2(z)92--92, 3(z)2--2, 3(z)87--87, 4(z)40--40, 5(z)23--23,
5(z)106--106, 5(z)119--119, 6(z)32--32, 6(z)96--96, 7(z)74--74,
7(z)125--125, 7(z)210--210, 7(z)258--258, 8(z)58--58
-
equality-or, 3(z)3--3
-
equation, 2(z)100--100, 3(z)26--26, 3(z)86--86, 4(z)14--14, 4(z)81--81,
6(z)123--123, 7(z)211--211, 7(z)246--246, 7(z)296--296, 8(z)56--56,
8(z)103--103
-
equational, 3(z)80--80, 4(z)108--108, 5(z)57--57, 6(z)29--29, 7(z)30--30,
7(z)40--40, 7(z)208--208
-
equi-, 5(z)21--21
-
equidistribution, 5(z)148--148
-
equipped, 2(z)110--110, 3(z)150--150, 4(z)44--44, 4(z)67--67, 4(z)96--96,
7(z)25--25, 7(z)267--267
-
Equipping, 7(z)194--194
-
equips, 6(z)32--32
-
equivalence, 2(z)56--56, 2(z)64--64, 2(z)80--80, 2(z)87--87, 2(z)90--90,
2(z)92--92, 2(z)157--157, 3(z)141--141, 3(z)150--150, 4(z)28--28,
4(z)59--59, 4(z)154--154, 4(z)171--171, 4(z)178--178, 5(z)119--119,
5(z)164--164, 6(z)16--16, 6(z)19--19, 6(z)49--49, 6(z)177--177,
7(z)68--68, 7(z)144--144, 8(z)31--31, 8(z)64--64, 8(z)132--132
-
equivalent, 3(z)125--125, 3(z)126--126, 3(z)169--169, 4(z)11--11,
5(z)160--160, 6(z)19--19, 8(z)114--114
-
equivalently, 4(z)150--150, 6(z)65--65
-
era, 4(z)148--148
-
erasure, 4(z)8--8, 4(z)91--91, 4(z)149--149, 7(z)220--220
-
Erbsen, Andres, 6(z)24--24, 7(z)158--158, 7(z)192--192
-
Erbsen, Andres, see Bourgeat, Thomas,
see Ikebuchi, Mirai, \see{Kuepper, Joel
-
Erdweg, Sebastian, 2(z)67--67, 2(z)72--72, 2(z)139--139, 3(z)167--167,
3(z)176--176, 4(z)127--127, 5(z)63--63, 7(z)221--221, 7(z)248--248
-
Erdweg, Sebastian, see Bracevac, Oliver,
see Keidel, Sven, \see{Krauter, Nicolas,
see Pacak, André,
see Salvaneschi, Guido,
see Szabó, Tamás
-
Eremondi, Joseph, 3(z)88--88, 6(z)96--96
-
Eremondi:2019:ANG, 3(z)88--88
-
Eremondi:2022:PEG, 6(z)96--96
-
ergonomic, 5(z)155--155, 7(z)169--169, 8(z)118--118
-
Eriksson, Oskar, 7(z)220--220
-
Eriksson, Oskar, see Abel, Andreas
-
Erlang, 7(z)191--191
-
Ernst, Michael D., 1(z)25--25, 3(z)151--151, 7(z)282--282
-
Ernst, Michael D., see Panchekha, Pavel,
see Shadab, Narges,
see Weitz, Konstantin
-
error, 1(z)60--60, 1(z)105--105, 2(z)47--47, 2(z)139--139, 2(z)148--148,
2(z)158--158, 2(z)161--161, 2(z)163--163, 3(z)7--7, 3(z)9--9,
3(z)30--30, 3(z)158--158, 3(z)160--160, 3(z)188--188, 3(z)189--189,
4(z)17--17, 4(z)42--42, 4(z)60--60, 4(z)130--130, 4(z)136--136,
4(z)204--204, 5(z)22--22, 5(z)36--36, 6(z)159--159, 6(z)167--167,
6(z)183--183, 6(z)190--190, 7(z)140--140, 7(z)237--237,
7(z)253--253, 8(z)32--32, 8(z)68--68, 8(z)124--124
-
error, type-, 1(z)106--106
-
error-prone, 3(z)170--170, 4(z)17--17, 4(z)219--219
-
error-resilient, 7(z)222--222
-
error-tolerant, 3(z)186--186
-
errors., 3(z)158--158
-
Erwig, Martin, 2(z)15--15
-
Erwig, Martin, see Campora, John Peter
-
escape, 3(z)158--158
-
escaped, 4(z)196--196
-
Escot, Lucas, 6(z)113--113
-
Escot:2022:PGP, 6(z)113--113
-
Eskandani, Nafise, 4(z)188--188
-
Eskandani, Nafise, see Köhler, Mirko
-
especially, 3(z)28--28, 4(z)44--44, 4(z)65--65, 4(z)136--136,
4(z)159--159, 4(z)160--160, 4(z)209--209, 5(z)145--145,
5(z)148--148, 6(z)31--31, 6(z)69--69, 6(z)97--97, 6(z)190--190,
7(z)36--36, 7(z)86--86, 7(z)288--288
-
Espitau, Thomas, 2(z)57--57
-
Espitau, Thomas, see Barthe, Gilles
-
essence, 2(z)70--70, 4(z)124--124, 6(z)8--8, 6(z)116--116, 6(z)157--157,
6(z)172--172, 7(z)230--230, 8(z)20--20, 8(z)24--24
-
essential, 2(z)109--109, 2(z)115--115, 2(z)141--141, 3(z)128--128,
4(z)136--136, 5(z)72--72, 5(z)142--142, 5(z)149--149, 6(z)140--140,
7(z)88--88, 7(z)199--199, 7(z)229--229, 8(z)33--33
-
essentially, 4(z)31--31, 5(z)89--89
-
Essertel, Grégory M., 3(z)79--79, 3(z)96--96, 3(z)157--157,
see Cong, Youyou, \see{Wang, Fei
-
Essertel:2019:PRS, 3(z)157--157
-
establish, 3(z)92--92, 4(z)27--27, 4(z)38--38, 5(z)114--114,
6(z)116--116, 7(z)77--77, 8(z)61--61
-
established, 2(z)85--85, 4(z)172--172, 6(z)61--61, 6(z)128--128
-
established, well-, 5(z)9--9
-
establishing, 3(z)92--92, 4(z)152--152, 7(z)23--23
-
Esteves-Veríssimo, Paulo, 3(z)138--138,
see Vukotic, Ivana
-
estimate, 6(z)125--125
-
estimation, 4(z)130--130
-
Eta, 7(z)18--18
-
Ethereum, 2(z)116--116, 3(z)189--189, 4(z)190--190, 4(z)209--209,
5(z)146--146, 5(z)163--163, 6(z)77--77, 6(z)145--145, 7(z)253--253
-
Ethereum., 7(z)253--253
-
Etna, 7(z)218--218
-
Etoys, 4(z)85--85
-
Eugster, Patrick, 2(z)67--67, 4(z)198--198, 5(z)124--124, 7(z)117--117
-
Eugster, Patrick, see Bracevac, Oliver,
see Mangipudi, Shamiek, \see{Sang, Bo,
see Viering, Malte
-
eval, 4(z)207--207, 5(z)125--125, 7(z)152--152
-
Eval-Print, Read-, 4(z)159--159
-
eval-synth, read-, 4(z)159--159
-
evaluate, 2(z)109--109, 2(z)162--162, 3(z)29--29, 3(z)160--160,
3(z)177--177, 3(z)186--186, 3(z)189--189, 4(z)159--159, 5(z)68--68,
5(z)101--101, 5(z)110--110, 6(z)4--4, 7(z)194--194, 8(z)67--67,
8(z)122--122
-
evaluated, 3(z)120--120, 3(z)125--125, 5(z)45--45, 5(z)101--101,
7(z)210--210
-
evaluating, 1(z)59--59, 5(z)51--51, 8(z)29--29, 8(z)112--112
-
evaluation, 1(z)33--33, 2(z)14--14, 2(z)94--94, 2(z)109--109,
2(z)119--119, 2(z)127--127, 2(z)149--149, 2(z)162--162, 3(z)92--92,
3(z)114--114, 3(z)147--147, 3(z)153--153, 3(z)170--170,
3(z)177--177, 4(z)22--22, 4(z)60--60, 4(z)102--102, 4(z)109--109,
5(z)25--25, 5(z)45--45, 5(z)80--80, 6(z)47--47, 6(z)116--116,
6(z)148--148, 6(z)159--159, 7(z)94--94, 7(z)152--152, 7(z)218--218,
7(z)233--233, 8(z)32--32
-
evaluator, 2(z)119--119, 6(z)47--47
-
even, 2(z)165--165, 3(z)7--7, 3(z)85--85, 3(z)126--126, 3(z)153--153,
3(z)170--170, 4(z)10--10, 4(z)43--43, 4(z)99--99, 4(z)185--185,
5(z)98--98, 5(z)102--102, 5(z)162--162, 6(z)54--54, 6(z)58--58,
6(z)138--138, 6(z)148--148, 6(z)154--154, 7(z)101--101,
7(z)231--231, 7(z)245--245, 7(z)253--253, 8(z)125--125
-
event, 2(z)67--67, 2(z)129--129, 2(z)160--160, 2(z)162--162,
3(z)109--109, 3(z)156--156, 4(z)51--51, 5(z)58--58, 7(z)139--139
-
event-driven, 2(z)162--162, 4(z)139--139, 4(z)209--209, 5(z)124--124,
5(z)156--156, 6(z)149--149, 7(z)289--289
-
eventual, 1(z)109--109
-
eventually, 4(z)72--72, 4(z)77--77, 4(z)94--94, 7(z)227--227
-
ever, 7(z)172--172
-
ever-increasing, 3(z)125--125
-
every, 2(z)79--79, 2(z)90--90, 2(z)109--109, 2(z)143--143, 4(z)175--175,
4(z)184--184, 5(z)149--149, 6(z)32--32, 7(z)212--212, 7(z)253--253,
7(z)285--285, 8(z)20--20
-
everyday, 5(z)148--148
-
everywhere, 3(z)107--107, 3(z)163--163
-
evidence, 3(z)153--153, 3(z)169--169, 4(z)91--91, 5(z)71--71
-
evidently, 4(z)99--99
-
EVM, 4(z)190--190, 6(z)149--149
-
evolution, 3(z)170--170, 4(z)69--69, 4(z)71--71, 4(z)74--74, 4(z)77--77,
4(z)82--82, 4(z)85--85, 8(z)81--81
-
evolutionary, 3(z)178--178
-
evolve, 4(z)74--74, 4(z)187--187, 5(z)161--161, 6(z)175--175
-
evolved, 4(z)73--73, 4(z)74--74, 4(z)86--86, 7(z)68--68
-
evolving, 3(z)154--154, 4(z)76--76, 4(z)184--184, 4(z)199--199
-
Evrard, Hugues, 1(z)93--93, 5(z)131--131
-
Evrard, Hugues, see Donaldson, Alastair F.,
see Sorensen, Tyler
-
exact, 3(z)99--99, 4(z)140--140, 5(z)15--15, 6(z)10--10, 7(z)98--98,
8(z)75--75, 8(z)127--127
-
exactly, 4(z)204--204, 6(z)95--95, 7(z)185--185, 8(z)84--84
-
examine, 4(z)65--65
-
example, 2(z)2--2, 2(z)80--80, 2(z)156--156, 3(z)94--94, 3(z)139--139,
3(z)140--140, 3(z)142--142, 4(z)2--2, 4(z)49--49, 4(z)72--72,
4(z)73--73, 4(z)101--101, 4(z)109--109, 4(z)162--162, 4(z)179--179,
4(z)192--192, 4(z)201--201, 4(z)211--211, 4(z)224--224, 5(z)19--19,
5(z)100--100, 5(z)105--105, 5(z)134--134, 5(z)148--148,
5(z)153--153, 5(z)158--158, 6(z)27--27, 6(z)46--46, 6(z)123--123,
6(z)135--135, 6(z)179--179, 6(z)187--187, 7(z)33--33, 7(z)70--70,
7(z)85--85, 7(z)90--90, 7(z)187--187, 7(z)254--254, 7(z)260--260,
8(z)21--21
-
example, counter-, 3(z)133--133
-
example-based, 4(z)56--56, 7(z)174--174
-
Examples, Programming-by-, 7(z)33--33, 7(z)173--173
-
exceedingly, 2(z)109--109
-
Excel, 6(z)164--164
-
ExceLint, 2(z)148--148
-
except, 8(z)21--21
-
exception, 2(z)162--162, 3(z)5--5, 3(z)6--6, 3(z)103--103, 3(z)108--108,
3(z)153--153
-
exceptional, 3(z)28--28, 3(z)108--108
-
exciting, 4(z)124--124
-
Exclusion, 7(z)204--204
-
exclusively, 3(z)147--147, 5(z)107--107, 7(z)223--223
-
executable, 2(z)79--79, 3(z)126--126, 3(z)137--137, 3(z)181--181,
4(z)43--43, 4(z)152--152, 4(z)217--217, 4(z)221--221, 4(z)225--225,
5(z)67--67, 5(z)84--84, 6(z)122--122, 7(z)85--85, 8(z)146--146
-
execute, 2(z)107--107, 2(z)128--128, 3(z)99--99, 3(z)144--144,
3(z)177--177, 4(z)164--164, 4(z)198--198, 5(z)31--31, 5(z)120--120,
5(z)146--146, 6(z)17--17, 6(z)54--54, 7(z)9--9, 7(z)75--75,
7(z)183--183, 7(z)253--253, 8(z)79--79
-
executed, 4(z)17--17, 5(z)140--140, 6(z)148--148, 7(z)263--263,
8(z)139--139
-
executing, 3(z)177--177, 4(z)102--102, 4(z)147--147, 6(z)54--54,
6(z)145--145, 7(z)13--13
-
execution, 1(z)51--51, 1(z)96--96, 2(z)40--40, 2(z)107--107,
2(z)108--108, 2(z)109--109, 2(z)116--116, 2(z)117--117,
2(z)145--145, 2(z)163--163, 3(z)83--83, 3(z)117--117, 3(z)133--133,
3(z)177--177, 3(z)179--179, 3(z)183--183, 3(z)189--189, 4(z)37--37,
4(z)45--45, 4(z)91--91, 4(z)102--102, 4(z)110--110, 4(z)141--141,
4(z)147--147, 4(z)164--164, 4(z)190--190, 4(z)209--209,
4(z)217--217, 5(z)24--24, 5(z)49--49, 5(z)129--129, 5(z)131--131,
5(z)133--133, 5(z)164--164, 5(z)166--166, 6(z)21--21, 6(z)35--35,
6(z)46--46, 6(z)97--97, 6(z)148--148, 6(z)149--149, 6(z)175--175,
6(z)181--181, 6(z)190--190, 7(z)15--15, 7(z)75--75, 7(z)126--126,
7(z)154--154, 8(z)20--20, 8(z)21--21, 8(z)85--85
-
execution, Multi-, 6(z)152--152
-
execution, multi-, 6(z)152--152
-
execution-based, 6(z)97--97
-
exemplified, 2(z)93--93, 3(z)181--181
-
exempted, 4(z)136--136
-
exercise, 2(z)101--101, 5(z)84--84, 5(z)166--166
-
exhaustive, 1(z)94--94, 5(z)166--166
-
exhaustive, Bounded-, 5(z)166--166
-
exhaustive, non-, 5(z)55--55
-
exhibit, 3(z)142--142, 3(z)147--147, 3(z)171--171, 4(z)56--56,
5(z)127--127, 5(z)147--147, 7(z)243--243
-
exhibiting, 5(z)127--127, 6(z)33--33
-
exist, 3(z)120--120, 3(z)179--179, 4(z)88--88, 5(z)21--21, 6(z)18--18,
7(z)1--1, 7(z)276--276, 8(z)8--8, 8(z)63--63
-
exist, co-, 3(z)128--128
-
existence, 3(z)121--121, 3(z)169--169, 8(z)1--1
-
existential, 3(z)9--9, 5(z)10--10, 5(z)64--64
-
existential, dual-, 5(z)64--64
-
existing, 2(z)83--83, 2(z)92--92, 2(z)113--113, 2(z)136--136,
2(z)138--138, 2(z)147--147, 2(z)166--166, 3(z)12--12, 3(z)15--15,
3(z)142--142, 3(z)145--145, 3(z)152--152, 3(z)154--154,
3(z)169--169, 3(z)175--175, 3(z)177--177, 3(z)179--179,
3(z)189--189, 4(z)49--49, 4(z)55--55, 4(z)56--56, 4(z)60--60,
4(z)67--67, 4(z)72--72, 4(z)98--98, 4(z)106--106, 4(z)117--117,
4(z)126--126, 4(z)143--143, 4(z)152--152, 4(z)188--188,
4(z)199--199, 4(z)207--207, 4(z)221--221, 4(z)231--231, 5(z)27--27,
5(z)100--100, 5(z)129--129, 5(z)139--139, 5(z)167--167, 6(z)22--22,
6(z)49--49, 6(z)71--71, 6(z)87--87, 6(z)91--91, 6(z)143--143,
6(z)150--150, 6(z)159--159, 6(z)181--181, 7(z)94--94, 7(z)132--132,
7(z)134--134, 7(z)194--194, 7(z)228--228, 7(z)272--272, 8(z)77--77,
8(z)115--115, 8(z)124--124
-
exp, 8(z)32--32
-
expanded, 3(z)142--142
-
expanding, 4(z)47--47
-
expansion, 4(z)1--1, 7(z)18--18
-
expect, 3(z)78--78, 4(z)60--60
-
expectation, pre-, 5(z)52--52
-
Expectation-Based, 8(z)122--122
-
expectation-based, 5(z)39--39, 8(z)122--122
-
expectations, 4(z)110--110, 4(z)207--207
-
expected, 2(z)57--57, 3(z)99--99, 3(z)128--128, 4(z)25--25, 4(z)37--37,
4(z)110--110, 4(z)151--151, 5(z)7--7, 5(z)16--16, 5(z)87--87,
5(z)138--138, 5(z)150--150, 7(z)5--5, 7(z)67--67, 7(z)140--140,
7(z)149--149
-
expedient, 4(z)80--80
-
expend, 7(z)263--263
-
expensive, 7(z)253--253
-
experience, 1(z)3--3, 1(z)9--9, 2(z)82--82, 2(z)89--89, 2(z)103--103,
3(z)78--78, 3(z)100--100, 3(z)115--115, 3(z)116--116, 4(z)73--73,
5(z)101--101, 6(z)102--102, 6(z)108--108, 6(z)122--122,
6(z)140--140, 7(z)60--60, 7(z)192--192, 7(z)197--197, 7(z)199--199,
7(z)215--215, 7(z)218--218
-
experienced, 8(z)32--32
-
experiment, 2(z)108--108, 2(z)116--116, 3(z)158--158, 3(z)182--182,
5(z)94--94, 6(z)133--133, 8(z)95--95
-
experimental, 4(z)139--139, 7(z)253--253
-
expert, 3(z)98--98, 3(z)172--172, 4(z)43--43, 5(z)107--107, 6(z)187--187,
7(z)53--53, 7(z)200--200, 7(z)275--275, 8(z)32--32
-
expertise, 4(z)73--73, 6(z)159--159
-
explain, 1(z)14--14, 2(z)71--71, 2(z)86--86
-
Explainable, 7(z)298--298
-
explaining, 7(z)250--250
-
Explanation, 7(z)250--250
-
explicit, 3(z)79--79, 5(z)47--47, 6(z)67--67, 7(z)195--195, 7(z)246--246,
8(z)79--79
-
explicitly, 3(z)131--131, 3(z)170--170, 4(z)79--79, 5(z)121--121,
7(z)104--104, 7(z)142--142, 8(z)7--7, 8(z)27--27, 8(z)85--85
-
explodes, 2(z)149--149
-
exploit, 2(z)84--84, 2(z)110--110, 2(z)116--116, 3(z)160--160,
3(z)173--173, 4(z)95--95, 5(z)31--31, 6(z)39--39, 7(z)86--86,
7(z)94--94, 8(z)140--140
-
exploitations, 3(z)189--189
-
exploited, 3(z)178--178, 3(z)189--189
-
exploiting, 1(z)67--67, 1(z)83--83, 4(z)153--153, 6(z)186--186,
7(z)49--49, 7(z)292--292
-
exploration, 4(z)29--29, 6(z)79--79, 7(z)133--133, 7(z)243--243,
7(z)258--258, 8(z)124--124
-
exploration., 3(z)186--186
-
exploratory, 7(z)193--193
-
explore, 4(z)79--79, 4(z)227--227, 4(z)230--230, 5(z)24--24, 6(z)7--7,
6(z)105--105, 8(z)76--76
-
explored, 4(z)16--16, 4(z)224--224, 5(z)72--72, 5(z)106--106
-
exploring, 2(z)117--117, 2(z)135--135, 3(z)124--124, 3(z)173--173,
4(z)13--13, 6(z)49--49, 6(z)153--153
-
explosion, 3(z)124--124, 3(z)148--148, 3(z)150--150, 4(z)167--167
-
exponent, 3(z)169--169, 6(z)3--3
-
exponential, 2(z)146--146, 3(z)125--125, 5(z)62--62, 6(z)36--36
-
exponentially, 4(z)133--133, 8(z)123--123
-
expose, 3(z)189--189, 4(z)160--160
-
exposed, 3(z)180--180
-
exposing, 3(z)147--147, 4(z)147--147, 7(z)143--143
-
express, 2(z)67--67, 2(z)111--111, 2(z)115--115, 3(z)98--98,
3(z)119--119, 4(z)15--15, 4(z)41--41, 4(z)47--47, 4(z)72--72,
4(z)104--104, 4(z)170--170, 4(z)186--186, 7(z)85--85, 7(z)277--277,
8(z)32--32, 8(z)80--80
-
expressed, 5(z)37--37, 6(z)20--20, 6(z)191--191, 7(z)151--151
-
expressible, 7(z)10--10
-
expressing, 3(z)5--5, 4(z)14--14, 4(z)92--92, 4(z)97--97, 6(z)4--4,
7(z)68--68, 7(z)276--276
-
expression, 1(z)85--85, 3(z)125--125, 3(z)139--139, 3(z)147--147,
3(z)158--158, 4(z)30--30, 4(z)72--72, 4(z)74--74, 4(z)80--80,
4(z)108--108, 4(z)111--111, 4(z)131--131, 4(z)159--159,
4(z)218--218, 5(z)1--1, 5(z)23--23, 5(z)49--49, 5(z)60--60,
5(z)80--80, 5(z)110--110, 5(z)119--119, 5(z)152--152, 5(z)163--163,
6(z)45--45, 7(z)18--18, 7(z)70--70, 7(z)80--80, 7(z)92--92,
7(z)122--122, 7(z)160--160, 7(z)173--173, 7(z)287--287, 8(z)68--68,
8(z)92--92, 8(z)129--129
-
expression, regular-, 4(z)122--122
-
expressions, S-, 5(z)126--126
-
expressive, 1(z)13--13, 2(z)66--66, 2(z)113--113, 3(z)87--87,
3(z)172--172, 4(z)4--4, 4(z)38--38, 4(z)53--53, 4(z)66--66,
4(z)140--140, 4(z)142--142, 4(z)154--154, 4(z)201--201, 5(z)10--10,
5(z)21--21, 5(z)39--39, 5(z)110--110, 5(z)143--143, 6(z)2--2,
7(z)10--10, 7(z)178--178, 7(z)240--240, 7(z)261--261, 8(z)9--9,
8(z)86--86, 8(z)118--118
-
expressiveness, 3(z)6--6, 5(z)21--21, 7(z)261--261, 8(z)15--15,
8(z)86--86
-
expressiveness., 4(z)73--73
-
ext4, 5(z)43--43
-
Extant, 5(z)5--5
-
extend, 2(z)66--66, 2(z)108--108, 2(z)162--162, 3(z)133--133,
3(z)152--152, 4(z)35--35, 4(z)39--39, 4(z)53--53, 4(z)96--96,
4(z)111--111, 4(z)114--114, 4(z)124--124, 4(z)154--154, 5(z)21--21,
5(z)26--26, 5(z)55--55, 6(z)13--13, 6(z)48--48, 6(z)78--78,
6(z)149--149, 7(z)94--94, 7(z)267--267, 8(z)7--7, 8(z)142--142
-
extended, 2(z)81--81, 2(z)112--112, 3(z)108--108, 4(z)25--25, 4(z)81--81,
6(z)82--82, 6(z)176--176, 7(z)152--152, 8(z)92--92, 8(z)129--129
-
extending, 2(z)131--131, 4(z)229--229, 5(z)57--57, 6(z)22--22,
6(z)118--118, 7(z)3--3, 8(z)19--19
-
extensibility, 7(z)242--242
-
extensible, 1(z)98--98, 2(z)66--66, 2(z)77--77, 3(z)12--12, 4(z)121--121,
5(z)23--23, 7(z)18--18, 7(z)172--172, 7(z)201--201, 8(z)110--110,
8(z)119--119
-
extensible, macro-, 4(z)229--229
-
extension, 1(z)98--98, 2(z)66--66, 2(z)91--91, 2(z)100--100, 3(z)99--99,
3(z)102--102, 3(z)133--133, 3(z)184--184, 4(z)3--3, 4(z)24--24,
4(z)72--72, 4(z)74--74, 4(z)81--81, 4(z)197--197, 4(z)216--216,
5(z)112--112, 5(z)145--145, 6(z)13--13, 6(z)32--32, 7(z)44--44,
8(z)43--43
-
extensional, 4(z)28--28
-
extensionality, 3(z)87--87, 4(z)28--28
-
extensive, 3(z)79--79, 4(z)143--143, 5(z)154--154, 6(z)53--53,
7(z)253--253
-
extensively, 3(z)95--95, 4(z)136--136, 4(z)161--161, 4(z)207--207,
6(z)12--12, 7(z)246--246, 7(z)253--253
-
extent, 6(z)114--114
-
external, 3(z)189--189, 5(z)12--12, 6(z)76--76, 7(z)122--122
-
extract, 3(z)160--160, 4(z)15--15, 4(z)97--97, 7(z)245--245
-
extracted, 5(z)19--19
-
extracting, 4(z)14--14, 4(z)15--15, 5(z)134--134, 5(z)135--135,
7(z)14--14
-
extraction, 4(z)15--15, 4(z)97--97, 7(z)173--173, 7(z)287--287
-
extremely, 3(z)17--17, 3(z)123--123, 4(z)145--145, 4(z)146--146,
5(z)13--13, 5(z)136--136, 5(z)161--161, 6(z)70--70, 6(z)73--73,
6(z)77--77
-
Ezudheen, P., 2(z)131--131
-
Ezudheen:2018:HIL, 2(z)131--131