Index file section E for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
E
-
E, 93(2)201--225
-
E-complete, 115(2)371--381
-
E-resolution, 105(1)141--166
-
E-transitions, 120(2)197--213
-
E-unification, 72(2)133--146
-
E-unifiers, 72(2)133--146
-
E0L, 82(1)131--139
-
E0L, E0L-, 87(2)329--346
-
E0L-E0L, 87(2)329--346
-
Eades, Peter, 131(2)361--374
-
Eades:1994:DGT, 131(2)361--374
-
eager, 136(1)125--162
-
ear, 74(1)19--35
-
Earley, 80(1)53--75, 104(2)299--312
-
easy, 74(2)217--225, 74(2)249--251, 117(1)199--202, 121(1)71--88
-
Echahed, R., 72(2)133--146
-
Echahed:1990:CNS, 72(2)133--146
-
ECTL, 126(1)77--96
-
ECTL*, 126(1)77--96
-
Edalat, Abbas, 115(1)77--106
-
Edalat:1993:CFS, 115(1)77--106
-
Edelsbrunner, H., 84(1)77--105, 92(2)319--336
-
Edelsbrunner, H., see Chazelle, B.
-
Edelsbrunner:1992:ACP, 92(2)319--336
-
edge, 71(3)401--411, 74(3)299--312, 75(3)357--363, 84(2)179--197,
86(2)205--232, 102(2)283--305, 112(2)371--382, 112(2)419--420,
116(1)151--194, 127(2)395--402, 128(1)241--252, 131(2)361--374
-
edge, two-, 125(2)345--353, 130(1)139--161
-
edge-colored, 132(1)209--227
-
edge-colouring, 71(3)401--411
-
edgeless, 126(1)53--75
-
edit, 92(1)191--211, 95(2)231--244
-
editing, 92(1)19--31
-
Editorial, 72(2)95--z, 77(1)1--z, 101(1)1--z, 101(2)159--z, 103(1)1--z,
110(2)247--z, 112(1)1--z, 113(1)1--z
-
effect, 74(1)37--69, 105(2)167--215, 129(2)279--291
-
effective, 77(3)237--247, 87(1)43--80, 100(1)137--156, 113(2)191--210,
120(1)69--81
-
effectively, NP-, 119(2)293--310
-
effectivity, 82(1)1--18, 113(2)191--210
-
efficacy, 112(2)291--309
-
efficiency, 79(1)241--256, 80(2)337--345, 81(2)201--221, 116(1)195--226,
130(1)203--236
-
efficient, 71(1)95--132, 74(3)299--312, 76(2)223--242, 77(3)291--308,
78(1)245--259, 80(1)53--75, 91(1)1--21, 91(1)57--69, 99(2)265--z,
106(1)21--60, 108(2)331--344, 116(1)195--226, 116(2)305--316,
119(2)247--265, 129(2)293--307, 130(1)203--236, 133(2)361--385,
134(2)493--528
-
efficient, space-, 120(2)311--315
-
efficiently, 82(1)35--49
-
E{\v{g}}ecio{\v{g}}lu, {\"O}mer, 129(2)407--417
-
Egecioglu:1994:EUC, 129(2)407--417
-
Ehrenfeucht, 71(1)29--45
-
Ehrenfeucht, A., 70(3)277--303, 70(3)305--342, 70(3)343--358,
92(2)227--248, 116(2)227--290, 125(2)259--293, 127(2)387--393,
129(2)207--262, 132(1)209--227
-
Ehrenfeucht, A., see Deutz, A. H.
-
Ehrenfeucht, Andrzej, 119(2)247--265
-
Ehrenfeucht, Andrzej, see Apostolico, Alberto
-
Ehrenfeucht:1990:PHS, 70(3)343--358
-
Ehrenfeucht:1990:TSC, 70(3)277--303
-
Ehrenfeucht:1990:TSI, 70(3)305--342
-
Ehrenfeucht:1992:AS, 92(2)227--248
-
Ehrenfeucht:1993:SFT, 116(2)227--290
-
Ehrenfeucht:1994:PGC, 125(2)259--293
-
Ehrenfeucht:1994:SGT, 132(1)209--227
-
Ehrhard, Thomas, 113(2)273--291
-
Ehrhard, Thomas, see Bucciarelli, Antonio
-
Ehrig, H., 71(3)347--380, 77(1)27--71, 109(1)3--6, 109(1)123--143
-
Ehrig, Hartmut, 135(2)221--266
-
Ehrig:1990:CDT, 71(3)347--380
-
Ehrig:1990:CPD, 77(1)27--71
-
Ehrig:1993:EBR, 109(1)3--6
-
Ehrig:1993:PDD, 109(1)123--143
-
Ehrig:1994:FTP, 135(2)221--266
-
eigenfunctions, 116(2)399--403
-
eigenvalue, 116(2)399--403
-
Eilenberg, 98(1)41--50
-
Eiter, Thomas, 114(2)231--245, 118(2)315--315
-
Eiter:1993:EPC, 114(2)231--245, 118(2)315--315
-
Eiter:1993:PCE, 114(2)231--245, 118(2)315--315
-
Ekanadham, K., 81(2)201--221
-
Ekanadham, K., see Pingali, K.
-
Ekhad, Shalosh B., 117(1)199--202
-
Ekhad:1993:SEE, 117(1)199--202
-
El-Taha, M., 106(2)243--264
-
El-Taha:1992:DAQ, 106(2)243--264
-
Elbaz, M., 77(3)331--343
-
Elbaz:1990:CVD, 77(3)331--343
-
election, 73(1)61--79
-
ELECTRE, 97(1)83--103
-
electrical, 117(1)z--z
-
Electronic, 99(2)213--230
-
electronics, 84(2)225--250
-
element, 70(2)233--250, 74(2)163--181, 79(2)357--358, 96(2)325--344,
97(1)67--81, 110(1)99--129, 111(1)89--101, 119(2)267--291,
123(1)89--94, 123(2)407--413, 129(2)397--406
-
element, n-, 96(2)325--344
-
elementary, 70(1)3--34, 71(1)133--153, 77(3)267--289, 79(1)37--109,
88(1)139--150, 94(1)141--158, 95(1)97--113, 96(1)3--33, 96(1)z--z,
100(2)385--417, 108(1)119--149, 117(1)199--202, 121(1)351--409,
132(1)229--241, 135(2)361--376
-
éléments, 123(1)89--94
-
eliminate, 73(2)231--248
-
elimination, 79(2)295--321, 91(2)265--284, 103(2)387--394,
104(1)109--128, 114(2)317--330, 115(1)3--41, 119(1)173--185,
134(2)493--528
-
elimination, cut-, 111(1)3--57, 113(2)211--230, 129(1)193--206
-
else, 87(1)189--202
-
else, if-then-, 71(2)193--208, 71(3)413--417
-
Elvang-G{\o}ransson, Morten, 114(2)317--330
-
Elvang-Goransson:1993:SSC, 114(2)317--330
-
embedded, 129(2)279--291, 130(1)139--161, 133(2)267--306
-
embedding, 77(3)267--289, 88(1)151--170, 97(2)263--284, 106(2)265--281,
112(2)419--420, 119(2)331--343, 121(1)309--321, 134(1)87--105,
136(2)507--526
-
embedding-projections, 123(1)31--53
-
Emerson, T., 133(1)15--22
-
Emerson:1994:RPN, 133(1)15--22
-
empirical, 127(2)333--350
-
emptiness, 134(2)365--385
-
empty, 94(1)101--124, 103(2)311--334, 119(2)293--310
-
enabling, 134(2)365--385
-
eNCE, 82(1)95--111, 120(2)247--259
-
encode, 92(1)165--179, 96(1)217--248
-
encoding, 72(1)55--64, 79(1)151--162, 86(2)365--375, 89(1)137--159,
92(1)213--221, 94(2)295--310, 97(1)1--66, 106(2)337--349,
129(2)407--417, 134(1)63--78, 134(1)189--208, 135(1)155--169
-
encryption, 106(2)373--383
-
end, 130(1)5--16
-
endedness, open-, 89(1)179--206
-
endmarking, 134(2)403--413
-
endofunctor, 114(2)299--315
-
endomorphism, 70(1)65--72, 73(3)329--333, 123(1)139--144
-
Ene, Cristian, 134(2)365--385
-
Ene, Cristian, see Tiplea, Ferucio Laurentiu
-
Engeler, E., 72(2)119--131
-
Engeler, Scott-, 121(1)351--409
-
Engeler:1990:CDF, 72(2)119--131
-
Engelfriet, J., 78(2)267--303, 82(1)95--111, 88(1)139--150
-
Engelfriet, Joost, 110(1)1--51
-
Engelfriet:1991:MTT, 78(2)267--303
-
Engelfriet:1991:NSG, 82(1)95--111
-
Engelfriet:1991:RCG, 88(1)139--150
-
Engelfriet:1993:AW, 110(1)1--51
-
engendrant, 123(1)55--60
-
engineering, 70(1)159--178, 72(1)55--64, 77(1)27--71, 77(1)97--129,
77(1)z--z, 79(2)323--339, 80(1)1--34, 88(1)15--32, 89(1)179--206,
90(1)1--15, 90(1)209--233, 91(2)239--264, 94(1)1--35, 94(2)237--259,
94(2)311--334, 96(1)249--283, 96(2)285--304, 97(1)1--66,
99(2)213--230, 100(2)365--383, 102(1)165--183, 103(2)191--204,
104(1)53--87, 104(1)89--107, 104(1)129--159, 106(1)3--20,
113(1)93--117, 113(2)259--272, 113(2)293--348, 114(1)3--30,
117(1)z--z, 118(2)263--299, 119(1)173--185, 119(1)215--222,
122(1)137--164, 124(1)149--168, 128(1)3--30, 128(1)99--125,
128(1)127--157, 131(1)219--241, 133(2)307--340, 133(2)341--359
-
Enjalbert, Patrice, 105(1)141--166
-
Enjalbert, Patrice, see Debart, Françoise
-
enriching, 112(1)145--185
-
enrichment, 127(1)149--170
-
entailment, 122(1)263--283
-
entities, 70(1)159--178
-
entropy, 92(1)213--221
-
enumerable, 76(2)323--330, 80(2)203--225, 81(2)305--310, 93(2)327--331,
124(1)149--168
-
enumeration, 73(1)61--79, 74(2)249--251, 79(1)209--226, 81(1)49--64,
92(1)19--31, 94(2)161--174, 117(1)137--151, 136(2)361--385
-
enumerative, 79(1)209--226, 117(1)3--22
-
environment, 82(2)389--402, 87(1)43--80, 117(1)131--136, 129(2)279--291,
136(1)125--162
-
environments, 73(2)213--230, 82(2)389--402, 116(1)59--94,
117(1)131--136
-
EON+, 90(2)309--353
-
EP, 71(1)95--132
-
Eppstein, D., 86(2)243--266
-
Eppstein, D., see Chrobak, M.
-
equal, 74(1)115--119, 93(2)169--183
-
equality, 75(3)335--346, 80(2)263--288, 87(1)203--208, 94(1)1--35,
98(1)5--13, 98(1)41--50, 102(2)355--365, 110(1)99--129,
114(2)273--298, 120(1)1--44, 122(1)225--262, 134(2)329--363
-
equality, eta-, 103(2)387--394
-
equality-generating, 100(2)347--364
-
equality-synchronized, 127(1)25--51
-
equality-test, 77(1)161--194
-
equation, 71(3)381--400, 72(2)119--131, 74(3)329--340, 76(2)309--322,
79(1)179--193, 82(2)177--214, 87(1)1--24, 89(1)3--32, 90(1)127--149,
92(1)145--164, 103(2)165--190, 108(1)103--118, 115(1)77--106,
115(2)391--399, 116(2)317--337, 119(1)39--62, 121(1)411--440,
123(1)145--149, 123(2)239--258, 123(2)397--406, 131(2)311--330,
132(1)71--84, 132(1)129--150, 133(1)23--33, 135(1)111--137,
135(2)319--343
-
equational, 72(2)169--202, 72(2)z--z, 75(1)85--110, 75(1)111--138,
75(1)z--z, 77(1)131--159, 85(1)97--116, 89(1)179--206,
94(1)101--124, 100(2)385--417, 103(2)165--190, 103(2)235--271,
105(1)141--166, 105(2)217--273, 107(2)209--252, 110(2)419--432,
115(1)43--62, 120(1)1--44, 124(1)149--168, 134(1)27--50,
134(1)79--86
-
equational, conditional-, 77(1)161--194
-
equilibria, 81(2)317--324
-
equilibrium, 125(1)111--130
-
equipment, 100(1)223--241
-
equiprobable, 92(2)249--268
-
equivalence, trace-, 79(2)275--294
-
Equivalence-preserving, 105(1)57--84
-
equivalence-provable, 113(2)211--230
-
equivalencies, 135(2)267--288
-
equivalent, 71(2)241--264, 71(3)281--346, 76(2)223--242, 82(2)341--372,
91(1)101--117, 93(2)303--319, 118(2)231--262, 127(1)99--121,
131(2)331--360
-
eraser, 86(2)267--275
-
erasing, non-, 76(2)243--250
-
Erdos, P., 100(1)223--241
-
Erdos:1992:DLN, 100(1)223--241
-
EREW, 86(2)243--266, 87(2)251--262, 91(1)1--21
-
ergodic, 94(2)215--221, 119(2)355--361, 123(1)139--144, 123(1)167--181,
123(1)z--z, 129(2)369--383
-
Eriksson, K., 131(2)431--439
-
Eriksson:1994:RDN, 131(2)431--439
-
erratum, 114(2)231--245, 118(2)315--315, 127(1)181--186, 134(1)51--61,
182(1)257--257, 234(1)325--326
-
error, 73(3)319--328, 80(2)319--335, 93(2)265--277, 94(1)1--35,
103(2)191--204, 105(2)275--299, 129(2)369--383, 132(1)347--375,
133(1)65--84, 134(1)51--61
-
Ershov, 121(1)59--69
-
escape, 104(1)129--159
-
Esik, Z., 87(2)229--249
-
Esik:1991:RHR, 87(2)229--249
-
ESPACE, 81(1)127--135
-
Esparza, J., 102(1)185--205
-
Esparza, Javier, 101(2)161--176, 114(1)93--118
-
Esparza, Javier, see Best, Eike,
see Desel, Jörg
-
Esparza:1992:PTA, 102(1)185--205
-
ESPRIT, 109(1)3--6
-
Essence, 90(1)61--79
-
essentially, 104(1)129--159
-
ESTELLE, 74(2)121--162
-
Estelle, 113(1)93--117
-
estimate, 93(2)201--225
-
estimation, 79(1)37--109, 92(2)249--268, 116(1)195--226, 119(1)215--222
-
E/sup, 130(1)85--99
-
eta-equality, 103(2)387--394
-
eta-expansion, 95(1)143--158
-
eta-normal, 107(2)253--276
-
Etzion, Tuvi, 108(2)311--329
-
Etzion, Tuvi, see Bar Yehuda, Reuven
-
Etzion-Petruschka, Yael, 131(2)243--269
-
Etzion-Petruschka:1994:SDS, 131(2)243--269
-
Euclid, 115(2)291--319
-
Euclidean, 73(1)1--46, 80(2)227--262, 116(2)291--303, 117(1)227--241,
125(2)345--353
-
Euclidian, 88(2)231--251
-
Euler, 71(3)381--400, 82(1)71--84, 83(2)189--203
-
Euler-Poincare, 72(1)3--26
-
Eulerian, 117(1)243--253
-
evaluating, 80(2)319--335, 94(1)141--158, 94(2)237--259, 96(1)157--174,
103(2)205--234, 105(1)129--140, 107(2)305--332, 118(2)99--166,
119(1)23--38, 119(1)173--185, 119(1)z--z, 120(1)69--81,
120(1)83--99, 120(1)123--155, 125(1)131--147, 128(1)99--125,
131(1)95--120
-
evaluation, 71(2)241--264, 72(2)225--249, 73(2)213--230, 79(1)163--177,
84(2)225--250, 86(1)35--79, 90(1)47--60, 90(1)95--118, 97(1)83--103,
98(2)347--356, 106(2)243--264, 109(1)49--82, 111(1)3--57,
116(1)117--149, 118(2)231--262, 125(1)61--90, 125(1)91--109,
125(1)111--130, 125(1)149--165, 128(1)127--157, 128(1)159--177,
128(1)179--210, 128(1)241--252, 130(1)17--47, 132(1)415--425,
135(1)11--65
-
evaluator, 71(2)209--226
-
even, 88(1)59--82, 120(2)197--213
-
Even, S., 77(1)73--95
-
Even:1990:CSA, 77(1)73--95
-
event, 79(2)275--294, 83(2)287--300, 90(1)171--184, 91(2)285--313,
94(1)141--158, 96(1)35--72, 96(1)z--z, 102(1)165--183,
103(2)335--363, 114(1)173--200, 118(1)21--48, 120(1)101--121,
123(1)9--19, 133(2)341--359, 135(2)289--318
-
event-driven, 101(2)289--335
-
event-structures, 135(2)171--220
-
every, 82(1)165--176, 136(2)487--506
-
everywhere, 115(2)225--241
-
everywhere, Almost-, 115(2)225--241
-
evidence, 92(1)165--179, 127(2)333--350
-
evolution, 133(2)361--385
-
evolving, 73(1)1--46
-
E/X, 90(1)1--15
-
exact, 73(1)61--79, 79(1)37--109, 88(1)99--116, 92(1)19--31,
102(2)283--305, 103(1)107--135, 117(1)187--198, 125(1)111--130
-
example, 79(1)111--135, 79(1)179--193, 100(1)157--184, 104(2)207--233,
110(1)131--144, 121(1)441--448
-
excédances, anti-, 117(1)243--253
-
exceedance, anti-, 117(1)243--253
-
exception, 79(2)323--339, 80(2)319--335, 100(1)157--184, 105(2)217--273,
105(2)275--299
-
exceptional, 128(1)127--157, 132(1)387--394
-
exchange, shuffle-, 102(2)355--365
-
exchanges, 110(2)341--376
-
exclusion, 95(1)169--185, 117(1)187--198, 135(2)377--404
-
exclusion, mutual-, 129(1)1--38
-
exclusive, 107(1)77--94, 123(2)415--426
-
exclusive-OR, 120(2)215--227
-
excursion, 93(2)201--225
-
execution, 91(2)205--238, 101(2)337--359, 110(2)341--376,
120(1)123--155, 126(2)143--182, 130(1)17--47, 133(2)205--265,
134(2)287--309
-
exist, 79(1)241--256
-
existence, 77(3)267--289, 81(2)317--324, 82(2)253--284, 86(2)343--364,
100(2)385--417
-
existent, non-, 121(1)441--448
-
existential, 102(1)207--214
-
existentially, 75(1)111--138
-
existing, pre-, 136(1)163--181
-
exit, 125(1)149--165
-
EXP, 115(2)383--389, 129(2)309--321
-
expansion, 79(1)151--162, 79(1)179--193, 125(1)91--109
-
expansion, eta-, 95(1)143--158
-
expectation, 81(1)65--75
-
expected, 100(1)185--204, 112(2)339--354
-
expedient, 74(2)183--197
-
expense, 134(1)225--251
-
experiment, 80(1)117--120, 101(2)223--237
-
Experimenting, 101(2)223--237
-
expert, 93(1)115--141, 116(1)95--116, 122(1)225--262, 122(1)263--283,
131(1)1--28, 131(1)121--138, 131(1)181--195, 131(1)197--218,
133(2)267--306, 133(2)361--385
-
explicit, 79(1)257--261, 117(1)255--272, 124(2)221--272, 129(2)263--278
-
exponent, 129(2)407--417
-
exponential, 81(1)65--75, 81(2)169--187, 83(2)313--322, 84(1)77--105,
86(2)325--342, 94(2)295--310, 98(2)289--319, 106(2)351--360,
107(1)121--133, 108(2)291--310, 111(1)145--189, 116(1)33--57,
117(1)169--186, 131(2)331--360, 134(1)225--251, 134(1)253--262,
134(2)545--557, 136(2)487--506
-
exponential-time, 80(2)203--225, 81(1)137--145, 99(2)301--315,
113(1)55--73, 115(2)371--381, 129(2)309--321, 134(2)287--309
-
exponentially, 120(2)279--291
-
exponentiation, 115(1)107--129, 118(2)301--314, 129(2)407--417
-
export, 113(2)293--348
-
exposition, 104(1)109--128
-
expressibility, 76(1)3--51, 85(1)75--95, 107(1)145--163
-
expression, 74(2)199--216, 74(3)273--298, 74(3)329--340, 75(1)85--110,
76(2)273--284, 77(1)97--129, 77(3)291--308, 78(1)113--136,
82(1)141--149, 82(2)403--408, 84(2)225--250, 85(2)283--303,
87(1)81--96, 88(2)351--363, 89(2)207--343, 91(1)101--117,
92(1)19--31, 96(2)285--304, 97(2)217--231, 107(2)209--252,
108(2)291--310, 116(1)33--57, 120(2)197--213, 124(1)127--148,
127(2)287--312, 128(1)211--239, 134(1)27--50
-
expression-trees, 87(2)251--262
-
expressions, c-, 107(2)209--252
-
expressions, -, 107(2)209--252
-
expressions, lambda-, 71(2)227--239
-
expressive, 73(2)177--211, 82(2)409--418, 83(2)301--312, 93(1)1--41,
101(1)35--57, 101(1)143--158, 109(1)7--48, 114(1)119--147,
116(1)95--116
-
expressiveness, 87(2)263--286
-
expressivity, 82(2)409--418
-
EXPTIME, 100(1)45--66, 125(2)339--343
-
EXPTIME-complete, 80(1)77--104
-
EXPTIME=?NEXPTIME, 82(2)329--339
-
extended, 76(2)273--284, 88(2)351--363, 97(2)217--231, 114(1)93--118,
114(2)231--245, 118(2)315--315, 128(1)179--210, 134(2)263--285
-
extending, 95(1)43--74
-
extension, 70(2)233--250, 78(1)137--158, 84(2)151--164, 90(1)209--233,
93(1)75--89, 94(2)281--294, 97(1)157--173, 97(2)263--284,
98(1)5--13, 107(1)31--61, 114(1)63--91, 119(1)103--125,
125(2)167--204, 131(2)475--477
-
extension, /-, 113(2)191--210
-
extensional, 91(2)129--179, 114(2)273--298
-
exterior, 84(2)281--292, 117(1)289--301
-
external, 87(1)97--114, 106(2)391--393, 108(2)185--236, 128(1)211--239
-
extra, 128(1)241--252
-
extraction, 122(1)119--136, 133(2)361--385, 135(1)111--137
-
extrema, 81(2)237--256
-
extremal, 72(1)55--64, 81(2)237--256, 125(2)329--337
-
extreme, 81(2)237--256, 111(1)125--143, 111(1)z--z