Index file section E for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
E
-
E-pattern, 186(1)231--248
-
{E}-pattern, 186(1)231--248
-
E-unification, 139(1)207--242, 166(1)291--300
-
{E}-unification, 139(1)207--242, 166(1)291--300
-
E0L, 164(1)123--140
-
each, 215(1)305--323
-
Eades, Peter, 169(1)23--37
-
Eades:1996:LER, 169(1)23--37
-
eager, 167(1)95--130, 175(1)93--125
-
ear, 168(1)121--154
-
early, 146(1)341--349
-
ears, Hammock-on-, 168(1)121--154
-
ears, hammock-on-, 168(1)121--154
-
easy, 225(1)65--79
-
EATCS, 158(1)379--z, 164(1)311--z, 171(1)303--z, 182(1)259--z,
182(1)263--z
-
Ebinger, Werner, 154(1)67--84
-
Ebinger:1996:LDI, 154(1)67--84
-
Echanges, 174(1)171--191
-
eco-grammar, 209(1)213--224
-
écritures, 215(1)31--49
-
écritures, -, 215(1)31--49
-
Edalat, Abbas, 151(1)163--193, 193(1)53--73, 210(1)73--98,
219(1)169--184
-
Edalat:1995:DTI, 151(1)163--193
-
Edalat:1998:CMM, 193(1)53--73
-
Edalat:1999:CBS, 219(1)169--184
-
Edalat:1999:DTA, 210(1)73--98
-
edge, 145(1)27--43, 161(1)289--300, 164(1)59--72, 172(1)175--193,
174(1)137--156, 203(1)91--121, 203(2)225--251, 209(1)331--345,
211(1)375--395
-
edge, 3-, 154(1)3--22
-
edge, m-, 168(1)121--154
-
edge-colored, 161(1)289--300
-
edge-coloring, 175(2)337--347
-
edge-colour, 161(1)289--300
-
edge-colouring, 181(1)91--106
-
edge-weighted, 191(1)229--243
-
edges;, all-bidirectional-, 145(1)27--43
-
edit, 143(1)137--148, 180(1)203--215, 181(1)159--179
-
editing, 187(1)221--230
-
editor, 186(1)43--81
-
Editorial, 142(2)139--z, 150(2)195--z, 152(2)321--z, 190(1)1--2,
196(1)1--1, 199(1)1--3
-
Editorial(s), 228(1)1--3, 229(1)1--2
-
Edmonds, Jeff, 172(1)1--41
-
Edmonds:1997:FSR, 172(1)1--41
-
education, 194(1)242--z--1
-
EFDOL, 147(1)87--116
-
effect, 168(1)21--38, 185(2)277--318, 194(1)240--z--1
-
effective, 154(2)307--327, 174(1)231--246, 219(1)19--48, 219(1)225--265,
219(1)467--486
-
effectively, 194(1)87--122
-
Effectiveness, 219(1)439--450
-
efficiency, 176(1)39--65, 196(1)31--44
-
efficient, 140(2)291--300, 145(1)357--369, 147(1)19--30, 147(1)249--265,
162(2)297--322, 168(1)121--154, 173(1)113--149, 180(1)169--180,
181(2)247--266, 187(1)231--248, 196(1)71--107, 196(1)131--151,
196(1)131--151--1, 196(1)259--288, 201(1)233--248, 203(1)123--141,
203(2)175--203, 226(1)105--116, 226(1)173--184
-
efficiently, 221(1)157--177
-
Egly, Uwe, 198(1)201--209
-
Egly:1998:AOP, 198(1)201--209
-
Ehrenfeucht, Andrzej, 155(2)425--438, 205(1)61--83
-
{Ehrenfeucht--Fraïssé}, 174(1)97--121
-
Ehrenfeucht-Fraisse, 174(1)97--121
-
Ehrenfeucht:1996:NBG, 155(2)425--438
-
Ehrenfeucht:1998:RRE, 205(1)61--83
-
Ehrig, H., 194(1)242--243
-
Ehrig, Hartmut, 173(2)485--511
-
Ehrig, Hartmut, see Orejas, Fernando
-
Ehrig:1998:IC, 194(1)242--243
-
Eiben, A. E., 229(1)3--9
-
Eiben:1999:TEA, 229(1)3--9
-
eigenvalue, 156(1)99--117, 180(1)287--308
-
Eiter, Thomas, 160(1)321--363, 189(1)129--177, 206(1)181--218
-
Eiter, Thomas, see Bonatti, Piero A.
-
Eiter:1997:ALP, 189(1)129--177
-
Eiter:1998:EPC, 206(1)181--218
-
Ekin, Oya, 175(2)257--270
-
Ekin:1997:HFS, 175(2)257--270
-
El Hamidi, A., 187(1)249--262
-
El, Marian Boykan, Pour-, 219(1)319--329
-
Elbl, Birgit, 146(1)185--197
-
Elbl, Birgit, see Berghammer, Rudolf
-
election, 144(1)101--124, 177(2)459--486, 196(1)3--29
-
election, leader-, 177(2)459--486
-
ELECTRE, 146(1)109--143
-
electronic, 152(2)321--z, 226(1)173--184
-
elegans, 217(1)157--172
-
elegant, 151(1)195--205
-
element, 137(1)109--127, 146(1)331--339, 162(2)351--369, 165(2)483--490,
170(1)349--381, 171(1)77--109, 185(1)129--157, 187(1)231--248,
187(1)z--z, 192(2)167--199, 193(1)53--73, 193(1)75--96,
193(1)181--195, 194(1)242--z--1
-
element, finite-, 187(1)231--248
-
elementary, 137(1)53--84, 145(1)1--26, 152(2)171--217, 157(2)185--214,
172(1)135--174, 178(1)77--102, 186(1)107--134, 197(1)248--z,
201(1)171--187
-
ElHamidi:1997:UMA, 187(1)249--262
-
ELIAS, 187(1)117--122
-
Elihai, Y., 157(1)53--77
-
Elihai:1996:FHO, 157(1)53--77
-
Eliminating, 196(1)365--393
-
elimination, 156(1)301--313, 160(1)365--380, 167(1)95--130,
173(1)283--308, 196(1)71--107, 215(1)289--304
-
elimination, cut-, 197(1)246--z--2, 197(1)248--z,
227(1)333--396
-
elimination;, cut-, 197(1)246--z--2
-
elimination, projection-, 187(1)49--79
-
ELL, 197(1)248--z
-
ellipsoid, 138(1)201--210
-
Eloranta, Jaana, 179(1)397--419
-
Eloranta:1997:ETB, 179(1)397--419
-
else, 160(1)1--85
-
elusive, 223(1)193--197
-
embeddability, 175(2)337--347
-
embeddable, 175(2)337--347
-
embedded, 138(1)35--65, 138(1)211--239, 150(1)161--191, 222(1)113--131
-
embedding, 145(1)345--355, 149(2)333--360, 154(1)41--56, 164(1)223--252,
175(2)337--347, 181(2)247--266, 181(2)337--345, 193(1)1--51,
197(1)247--z--1, 228(1)253--282
-
embedding-projection, 146(1)311--320
-
emergent, 192(2)315--351
-
Emiris, Ioannis Z., 210(1)173--197
-
Emiris, Ioannis Z., see Bronnimann, Herve
-
EML, 173(2)445--484
-
Emms, Martin, 212(1)157--181
-
Emms:1999:ETC, 212(1)157--181
-
EMPA, 202(1)1--54, 254(1)691--694
-
empirical, 192(2)315--351
-
emptiness, 143(2)269--284, 166(1)1--47, 170(1)1--46
-
empty, 163(1)309--315, 177(2)287--328, 177(2)351--380, 191(1)157--171
-
Empty-All-But-One, 191(1)157--171
-
empty-carrier, 152(1)91--138
-
emulations, 155(2)349--363
-
enabling, 138(2)391--423
-
Encapsulated, 194(1)243--z
-
encasement, 147(1)211--248
-
eNCE, 186(1)157--169, 223(1)143--178
-
encircle, 215(1)305--323
-
encoding, 148(2)227--260, 155(1)39--83, 155(2)425--438, 168(2)267--301,
168(2)337--366, 172(1)281--291, 172(1)309--321, 173(1)183--208,
175(2)293--308, 176(1)283--328, 179(1)301--317, 192(2)201--231,
197(1)245--z, 197(1)246--z, 197(1)247--z--2, 222(1)55--75
-
encryption, 200(1)313--334
-
end, 174(1)275--279
-
ended, 187(1)203--219
-
endgame, 164(1)253--276
-
endofunctions, 151(1)277--294
-
endofunctor, 146(1)311--320, 176(1)329--335
-
endomorphism, 165(2)325--354, 178(1)205--224
-
endoscopy, 207(1)203--216
-
enforcable, 161(1)263--287
-
enforcing, 138(1)141--168
-
Engelfriet, J., 154(2)247--282
-
Engelfriet, Joost, 153(1)65--94, 211(1)311--337
-
Engelfriet:1996:CCU, 154(2)247--282
-
Engelfriet:1996:MSP, 153(1)65--94
-
Engelfriet:1999:MSC, 211(1)311--337
-
Engels, G., 194(1)243--z
-
Engels:1998:EHG, 194(1)243--z
-
engendrés, 180(1)81--113
-
engine, 169(1)23--37, 176(1)111--158
-
engineering, 138(1)211--239, 140(1)139--177, 140(2)249--263,
141(1)151--162, 142(2)141--177, 143(1)51--72, 151(1)37--78,
163(1)161--176, 167(1)95--130, 169(1)23--37, 170(1)245--276,
171(1)111--146, 171(1)147--177, 171(1)221--246, 171(1)247--280,
172(1)91--120, 173(1)253--281, 173(1)283--308, 173(2)485--511,
177(1)183--216, 185(1)15--45, 185(1)63--79, 185(1)129--157,
187(1)231--248, 187(1)263--284, 189(1)129--177, 192(2)315--351,
194(1)242--z--1, 194(1)243--244, 194(1)z--z
-
engineers, 194(1)242--z--1
-
Enhanced, 210(2)341--374
-
Enjalbert, P., 148(2)181--z
-
Enjalbert:1995:P, 148(2)181--z
-
Enlargements, 198(1)177--200
-
enriched-categorical, 170(1)349--381, 193(1)1--51
-
ensemble, 191(1)215--218
-
Ensuring, 194(1)243--z--2
-
entailment, 173(1)235--252, 177(1)155--182
-
entailment-based, 192(2)259--286
-
entropy, 156(1)315--325, 174(1)203--216, 191(1)157--171,
411(31)2999--3000
-
entry, 165(2)483--490
-
enumerable, 147(1)149--163, 161(1)235--261, 168(2)321--336,
197(1)79--94, 205(1)61--83, 205(1)195--205
-
enumeration, 180(1)169--180, 215(1)51--68
-
Enumerative, 221(1)41--60
-
environment, 138(1)3--34, 138(1)169--199, 138(1)211--239, 139(1)69--113,
161(1)235--261, 167(1)131--170, 182(1)171--182, 183(2)253--279,
187(1)221--230, 187(1)231--248, 192(2)287--314, 194(1)246--z--1,
198(1)177--200
-
environmental, 217(1)131--156
-
environments, 162(2)297--322, 172(1)43--65, 190(1)61--85,
192(2)201--231, 192(2)287--314, 194(1)242--z--1, 196(1)31--44,
198(1)49--98
-
epsilon-approximation, 137(1)145--157
-
epsilon-ball, 193(1)1--51
-
equal, 153(1)271--300
-
equal, beta-, 155(1)265--266
-
equality, 139(1)187--205, 139(1)275--314, 148(2)281--301, 152(1)91--138,
165(1)3--55, 167(1)3--45, 172(1)67--89, 173(1)183--208,
179(1)273--299, 201(1)85--97, 219(1)49--64
-
equation, 138(1)67--100, 143(1)51--72, 144(1)59--65, 144(1)161--197,
145(1)71--93, 147(1)267--298, 151(1)257--276, 153(1)49--64,
154(1)3--22, 155(1)221--264, 155(1)267--276, 157(1)3--33,
157(1)79--90, 157(1)115--127, 157(1)z--z, 162(2)225--243,
168(1)105--119, 170(1)349--381, 173(1)183--208, 176(1)205--234,
176(1)347--353, 177(1)217--283, 177(2)407--423, 179(1)217--250,
180(1)287--308, 186(1)83--105, 187(1)3--6, 187(1)7--25,
187(1)27--48, 187(1)49--79, 187(1)81--86, 187(1)87--104,
187(1)179--202, 187(1)263--284, 187(1)z--z, 191(1)145--156,
192(1)3--29, 193(1)113--127, 196(1)395--415, 197(1)247--z,
216(1)395--397, 224(1)215--235, 225(1)149--161
-
equational, 137(2)237--251, 139(1)207--242, 139(1)275--314,
142(1)27--57, 142(2)229--255, 146(1)25--68, 146(1)199--242,
151(2)437--486, 152(1)1--66, 152(1)91--138, 152(2)269--283,
155(1)1--38, 160(1)145--184, 160(1)185--216, 163(1)1--54,
165(1)133--169, 167(1)95--130, 170(1)407--444, 175(1)29--74,
177(2)351--380, 179(1)1--60, 179(1)273--299, 192(1)3--29,
195(1)61--89, 198(1)1--47, 209(1)163--178, 211(1)339--374
-
equational, Horn-, 143(1)51--72
-
equationsC1120, 187(1)263--284
-
equicontinuous, 163(1)291--302
-
equilateral, 164(1)165--183
-
equipment, 196(1)153--180
-
equivalence, shift-, 180(1)217--228
-
equivalence, subsumption-, 149(2)201--229
-
equivalence, time-, 174(1)269--274
-
equivalent, 138(1)201--210, 139(1)115--130, 140(2)333--339,
145(1)111--145, 179(1)319--331
-
equivalent;, barbed-, 195(2)205--226
-
equivalent;, SAT-, 145(1)111--145
-
erasing, 154(2)183--201, 186(1)231--248
-
ERCW, 196(1)153--180
-
Erdogmus, Hakan, 159(2)271--317
-
Erdogmus:1996:OSN, 159(2)271--317
-
Erd{\H{o}}s, P{\'e}ter L., 221(1)77--118
-
Erdos:1999:FLS, 221(1)77--118
-
EREW, 158(1)1--33, 163(1)211--238, 164(1)107--122, 175(2)393--406,
178(1)225--236
-
EREW-PRAM, 148(1)171--180
-
Ergodic, 205(1)135--144, 207(2)343--361
-
Eriksson, Gerd, 191(1)193--203
-
Eriksson, Henrik, 191(1)193--203
-
Eriksson, Henrik, see Eriksson, Gerd
-
Eriksson, Kimmo, 191(1)193--203
-
Eriksson, Kimmo, see Eriksson, Gerd
-
Eriksson:1998:MFT, 191(1)193--203
-
Erlebach, Thomas, 221(1)119--137
-
Erlebach:1999:OWR, 221(1)119--137
-
erratum, 134(1)51--61, 155(2)447--457, 174(1)203--216, 182(1)257--257,
234(1)323--323, 411(31)2999--3000
-
erroneous, 185(1)3--13
-
error, 134(1)51--61, 148(1)141--156, 148(2)325--349, 149(1)129--149,
156(1)1--38, 157(2)277--282, 161(1)235--261, 162(1)151--170,
176(1)89--110, 182(1)217--232, 188(1)79--99, 196(1)131--151,
203(1)163--173
-
error, bounded-, 178(1)155--169
-
error-correcting, 148(2)325--349
-
error-probability, 188(1)117--128
-
Ershov, Yu. L., 175(1)3--13, 224(1)59--72
-
Ershov:1997:BCH, 175(1)3--13
-
Ershov:1999:S, 224(1)59--72
-
Esbelin, Henri-Alex, 193(1)129--148
-
Esbelin:1998:RRP, 193(1)129--148
-
Escardó, Martín Hötzel, 162(1)79--115
-
Escardó, Martín, Hötzel, 210(1)121--157
-
Escardo:1996:PER, 162(1)79--115
-
Ésik, Z., 137(2)237--251, 177(1)217--283, 195(1)61--89
-
Ésik, Zoltán, 155(1)1--38, 163(1)55--98, 179(1)1--60,
see Bloom, Stephen L.
-
Esik:1995:EPK, 137(2)237--251
-
Esik:1997:CPI, 177(1)217--283
-
Esik:1998:EPI, 195(1)61--89
-
ESM, 194(1)244--z
-
Esparza, Javier, 147(1)117--136, 153(1)95--128, 198(1)211--224
-
Esparza, Javier, see Cheng, Allan
-
Esparza:1996:TME, 153(1)95--128
-
Esparza:1998:RLS, 198(1)211--224
-
ESPRIT, 194(1)242--243
-
essence, 221(1)179--210
-
essential, 179(1)397--419, 197(1)243--z--1
-
estimate, 162(1)151--170
-
estimation, 152(2)171--217
-
ET, 164(1)123--140, 194(1)35--55
-
et, 137(2)219--236, 145(1)229--240, 159(1)5--13, 159(1)105--128,
174(1)171--191, 187(1)123--145, 204(1)87--98, 204(1)119--130,
215(1)31--49
-
ET0L, 164(1)123--140
-
eta, 175(1)159--181
-
eta-expansions, 170(1)407--444
-
eta-infinite, 180(1)371--375
-
Etalle, Sandro, 166(1)101--146, 206(1)51--80
-
Etalle:1996:TCM, 166(1)101--146
-
Etalle:1998:SMG, 206(1)51--80
-
Etessami, Kousha, 148(2)261--279
-
Etessami:1995:RPL, 148(2)261--279
-
ethological, 163(1)161--176
-
ETOL, 183(1)113--142, 194(1)35--55
-
Euclidean, 137(2)177--217, 138(1)35--65, 219(1)65--93
-
Euler, 141(1)133--150
-
evader, 197(1)203--234
-
evaluating, 139(1)275--314, 142(2)257--276, 150(1)161--191,
167(1)131--170, 167(1)193--233, 173(1)113--149, 173(1)209--233,
173(1)235--252, 177(1)183--216, 177(2)407--423, 180(1)309--324,
183(2)215--228, 183(2)229--251, 183(2)253--279, 186(1)135--156,
195(2)259--289, 196(1)241--258
-
evaluation, 140(1)73--94, 142(1)125--138, 143(1)167--174,
146(1)145--184, 162(1)133--150, 163(1)269--276, 164(1)107--122,
171(1)25--60, 171(1)179--219, 178(1)237--255, 181(1)45--56,
182(1)159--170, 182(1)203--216, 185(2)259--275, 187(1)105--116,
187(1)203--219, 187(1)231--248, 195(2)155--182, 196(1)31--44,
196(1)241--258, 196(1)319--345, 196(1)347--363, 197(1)171--188,
210(1)199--215
-
even, 154(1)41--56, 185(1)63--79
-
Even, Shimon, 203(2)253--269
-
Even:1998:MCC, 203(2)253--269
-
event, 138(1)201--210, 138(1)211--239, 138(2)425--454, 139(1)163--186,
143(1)51--72, 148(1)67--92, 153(1)129--170, 179(1)203--215,
183(2)229--251, 194(1)240--z, 194(1)241--z--2, 196(1)45--70
-
event, discrete-, 138(1)201--210
-
event, UL-, 153(1)129--170
-
Event-clock, 211(1)253--273
-
event-controlled, 138(1)211--239
-
event-oriented, 179(1)273--299
-
Eventually-serializable, 220(1)113--156
-
evidence, 171(1)221--246
-
evolution, 155(1)179--219, 174(1)171--191
-
evolutionary, 229(1)3--9
-
evolved, 217(1)81--98
-
evolving, 179(1)353--380
-
Ewacha, Kevin, 175(2)271--282
-
Ewacha:1997:ANL, 175(2)271--282
-
exact, 137(1)159--176, 138(1)67--100, 147(1)55--67, 158(1)193--219,
165(2)247--273, 174(1)251--257, 215(1)263--287, 218(1)95--106,
547-z-122
-
Exact, 3-, 145(1)111--145
-
example, 137(1)145--157, 155(2)365--410, 156(1)177--201, 171(1)281--302,
172(1)43--65, 172(1)281--291, 185(1)47--62, 185(1)63--79,
185(1)191--213, 204(1)29--34, 215(1)325--327
-
example, proving-by-, 137(1)3--23
-
example;, proving-by-, 137(1)3--23
-
exchange, 174(1)171--191, 197(1)245--246
-
exchange, dimension-, 220(2)363--376
-
exchange, shuffle-, 162(2)283--296
-
Exchanges, 174(1)171--191
-
excluded, 160(1)1--85
-
exclusion, 153(1)95--128, 153(1)245--270, 162(2)225--243,
174(1)217--230, 193(1)97--112
-
executable, 139(1)1--25, 160(1)145--184, 179(1)273--299
-
executing, 161(1)109--122
-
execution, 139(1)27--67, 147(1)1--18, 169(1)39--65, 177(1)139--153,
179(1)273--299, 196(1)319--345
-
exhaustive, 167(1)131--170
-
exist, 155(2)411--424
-
existence, 145(1)71--93, 146(1)311--320, 191(1)215--218, 194(1)240--z--1
-
existential, 152(1)91--138, 174(1)97--121, 180(1)139--154, 193(1)75--96,
193(1)197--214
-
EXISTS, 176(1)67--87
-
expansion, 151(1)277--294, 168(1)21--38, 180(1)371--375, 187(1)263--284,
194(1)1--34, 226(1)93--104
-
expansions;, eta-, 170(1)407--444
-
expansive, 174(1)203--216
-
expectation, 176(1)1--38
-
expected, 188(1)1--44, 191(1)245--248
-
experiment, 170(1)245--276, 176(1)159--173
-
expert, 142(1)125--138, 171(1)247--280, 177(1)155--182, 182(1)183--202,
192(2)315--351
-
explanation, 173(2)445--484
-
explanatory, 183(2)253--279
-
explicit, 145(1)71--93, 151(1)207--256, 168(1)53--103, 170(1)383--406,
171(1)61--75, 186(1)83--105, 194(1)243--z, 198(1)131--158,
211(1)375--395
-
explicitly, 196(1)365--393
-
Exploiting, 162(2)245--281, 163(1)211--238
-
exploration, 215(1)51--68, 217(2)215--233
-
explosion, 155(1)157--177, 187(1)263--284
-
exponent, 141(1)269--282
-
exponential, 154(1)23--39, 154(1)57--65, 155(1)141--156, 161(1)263--287,
168(1)3--19, 172(1)121--134, 183(2)215--228, 186(1)107--134
-
exponential-time, 154(1)3--22, 158(1)221--231
-
export, 194(1)243--z, 194(1)248--z--1
-
expression, 127(2)287--312, 138(2)353--389, 139(1)315--354,
143(1)51--72, 154(1)3--22, 155(1)179--219, 155(2)291--319,
155(2)439--446, 160(1)321--363, 163(1)309--315, 178(1)1--36,
178(1)237--255, 181(1)181--194, 183(2)215--228, 187(1)231--248,
190(2)115--149, 194(1)241--z, 194(1)244--z--3, 197(1)241--z,
207(1)73--88, 209(1)163--178, 215(1)69--87, 227(1)3--42
-
expressive, 139(1)69--113, 149(1)49--66, 149(1)67--99, 155(1)39--83,
160(1)321--363, 166(1)63--81, 173(1)151--181, 190(2)317--361,
193(1)215--244, 206(1)181--218
-
expressiveness, 138(1)169--199, 155(1)111--140, 179(1)273--299,
192(2)315--351, 195(2)205--226
-
expressivity, 140(1)53--71, 195(2)133--153, 216(1)1--53
-
EXPSPACE, 154(1)107--143
-
EXPTIME-complete, 143(1)93--112
-
EXPTIME-completeness, 143(1)93--112
-
extended, 143(1)51--72, 151(1)207--256, 158(1)279--341, 162(1)79--115,
164(1)123--140, 166(1)63--81, 170(1)383--406, 171(1)281--302,
173(2)445--484, 180(1)269--286, 190(1)41--60, 205(1)317--327,
206(1)1--50, 207(1)73--88
-
Extending, 212(1)157--181
-
extensible, 192(2)201--231
-
extension, 149(1)67--99, 149(1)101--128, 165(1)97--131, 166(1)263--290,
166(1)291--300, 168(2)257--266, 170(1)209--244, 175(2)271--282,
177(2)351--380, 192(2)201--231, 197(1)244--z--1, 198(1)201--209,
203(2)175--203, 212(1)77--99
-
extension, word-, 201(1)151--170
-
extensional, 151(1)195--205, 152(1)91--138, 155(1)267--276,
169(2)201--220, 176(1)329--335, 183(2)157--185
-
exterior, 187(1)263--284
-
external, 138(2)391--423, 190(2)279--315
-
extracting, 157(1)91--99
-
extraction, 192(2)201--231
-
extrema-finding, 177(2)459--486
-
extremal, 148(1)67--92
-
eye, 179(1)333--351, 179(1)353--380, 229(1)3--9