Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
E
-
Easy, 89(2)307--312
-
Eberbach, Eugene, 68(1)47--102, 91(1)53--77
-
Eberbach, Eugene, see Burgin, Mark
-
Eberbach:2005:CBR, 68(1)47--102
-
ECA, 82(3)237--263
-
Eco-Grammar, 44(1)83--94, 76(3)349--365, 76(3)367--381
-
Economics, 73(1)213--227, 90(4)443--459
-
ECTL, 85(1)513--531
-
Edge, 58(2)179--188, 58(3)241--260, 74(1)85--114
-
Edge-based, 83(3)299--318
-
Editing, 82(1)29--46
-
effect, 58(2)179--188, 83(4)337--353, 88(1)63--107
-
Effect, Cause-, 54(2)165--183
-
Effective, 48(4)343--362, 52(1)203--231, 66(3)299--313, 89(2)189--206,
91(1)105--121, 97(1)93--109
-
Efficiency, 84(1)1--15, 84(3)363--373, 87(1)79--91
-
Efficient, 48(1)61--81, 56(1)137--154, 56(3)243--253, 63(1)1--16,
69(3)273--285, 71(2)259--277, 71(4)493--497, 77(3)277--291,
78(4)525--542, 79(3)553--566, 80(1)221--246, 88(4)469--495,
89(1)95--109, 89(2)313--329, 90(1)1--16, 93(1)273--288,
94(3)413--437
-
Efficient, Space-, 56(1)191--210
-
Efficient, State-, 74(4)603--623, 78(3)449--465
-
Efficiently, 59(2)173--190, 66(1)33--52
-
Effort, Best-, 95(1)53--72
-
Ehrenfeucht, A., 75(1)263--280
-
Ehrenfeucht, Andrzej, 74(1)115--134
-
Ehrenfeucht:2006:EPS, 74(1)115--134
-
Ehrenfeucht:2007:RS, 75(1)263--280
-
Ehrig, Hartmut, 65(3)211--247, 74(1)1--29, 74(1)31--61, 74(1)135--166
-
Ehrig, Karsten, 74(1)31--61, 74(1)135--166
-
Ehrig, Karsten, see Ehrig, Hartmut
-
Ehrig:2005:BIH, 65(3)211--247
-
Ehrig:2006:AHL, 74(1)1--29
-
Ehrig:2006:FTT, 74(1)31--61
-
Ehrig:2006:TCA, 74(1)135--166
-
Eikonal, 41(1)91--129
-
Eilenberg, 49(1)17--33
-
Eiter, Thomas, 57(2)345--370, 79(1)25--69
-
Eiter, Thomas, see Dix, Jürgen
-
Eiter:2007:LBA, 79(1)25--69
-
El Gayar, Neamat, 72(1)393--406
-
El Gayar, Neamat, see Suraj, Zbigniew
-
El Jelali, Soufiane, 96(4)419--433
-
El-Kwae, E., 47(1)z--z
-
El-Kwae:2001:P, 47(1)z--z
-
Elastic, 47(1)75--90
-
Election, 59(4)333--347, 67(1)287--301, 80(1)221--246
-
Electronic, 43(1)343--353, 74(2)351--373
-
element, 55(1)39--50, 93(4)411--434, 93(4)435--457
-
Elementary, 45(1)1--31, 50(2)175--203, 56(4)373--387, 60(1)237--250,
65(1)87--112, 78(3)329--341, 88(3)307--328
-
Eliminating, 56(3)211--242, 68(1)1--19, 96(3)373--393
-
Elimination, 69(1)1--37, 77(4)511--531
-
Elimination, Cut-, 45(1)123--155
-
Eliptic, 69(4)411--425
-
ElJelali:2009:DMB, 96(4)419--433
-
Elliptic, 87(3)483--492
-
Elmagarmid, Ahmed K., 47(1)53--73
-
Elmagarmid, Ahmed K., see Hacid, Mohand-Saïd
-
Elomaa, Tapio, 47(1)35--52
-
Elomaa:2001:CCO, 47(1)35--52
-
Embedded, 66(1)33--52, 91(3)463--485
-
Embedding, 58(3)295--320, 59(4)349--363, 63(1)89--106, 73(3)373--387,
74(1)115--134, 74(2)189--207, 74(4)491--510, 82(3)237--263,
84(3)391--402, 88(1)23--45, 88(1)47--61, 88(1)207--223,
89(2)331--344, 91(3)597--610, 97(1)93--109
-
Emergence, 90(3)229--249
-
Emerging, 96(1)111--125
-
EMG, 96(4)465--475
-
Emphasizing, 96(4)419--433
-
Empirical, 71(1)63--82, 90(3)337--352
-
Empiricism, 46(1)159--186
-
Emptiness, 70(1)127--154, 79(1)1--4
-
Enabling, 73(3)409--430
-
encoding, 50(2)135--154, 62(2)221--241, 86(3)299--323
-
Encrypting, 71(4)493--497
-
Encryption, 80(4)461--474, 90(3)269--282
-
Enea, Costel, 53(2)185--198
-
Enea, Costel, see {\c{T}}iplea, Ferucio
-
Energy, 49(1)147--165, 52(1)233--248, 74(4)391--408
-
Enforce, 93(1)81--96
-
Enforcing, 76(1)13--23
-
Engel, Marcin, 42(3)251--278
-
Engel:2000:TAC, 42(3)251--278
-
Engelbrecht, Andries P., 45(4)295--328, 46(3)219--252, 76(1)147--170
-
Engelbrecht, Andries P., see Paquet, Ulrich
-
Engelbrecht:2001:SASa, 45(4)295--328
-
Engelbrecht:2001:SASb, 46(3)219--252
-
Engelfriet, Joost, 80(1)111--123
-
Engelfriet:2007:FCT, 80(1)111--123
-
Engels, Gregor, 74(1)z--z
-
Engels:2006:SIS, 74(1)z--z
-
Engine, 77(1)71--103
-
Engineering, 89(4)z--z
-
Enguix, Gemma Bel, 64(1)17--28
-
Enguix, Gemma, Bel-, 76(3)219--237
-
Enguix:2005:BO, 64(1)17--28
-
Enhance, 60(1)99--111
-
Enhanced, 61(3)389--398, 73(4)431--478
-
Enquiry, 77(1)29--69
-
Ensemble, 47(3)351--360, 76(1)171--187, 94(2)163--178
-
Entish, 60(1)41--66
-
Entropies, Co-, 75(1)77--105
-
Entropy, 48(1)1--7, 53(3)365--390, 64(1)443--461, 75(1)77--105,
77(3)229--242, 83(1)141--157
-
Enumerable, 64(1)159--170, 64(1)317--324, 83(1)219--230
-
Environment, 76(3)349--365, 81(1)325--345, 89(2)161--187
-
Environment-aware, 88(1)63--107
-
Environmental, 83(4)337--353
-
environments, 45(1)79--115, 46(1)97--128, 54(2)263--277, 57(2)371--392,
70(1)21--48, 75(1)281--294, 86(3)343--369, 97(1)15--40
-
Epistemic, 55(2)167--185, 63(2)221--240, 96(1)111--125
-
Equality, 53(3)321--333, 77(4)345--395
-
Equals, 73(1)127--132
-
equation, 47(3)325--335, 51(4)391--398, 55(2)187--202, 56(3)273--284,
72(1)81--93, 74(4)563--578, 81(4)409--439, 90(1)1--16
-
Equational, 54(1)17--65, 68(1)131--174, 68(3)221--230, 68(3)249--288,
78(2)295--309
-
Equilibrium, 57(2)281--321
-
equivalence, 43(1)1--20, 48(4)343--362, 53(3)315--320, 60(1)383--399,
63(4)357--373, 72(1)1--19, 84(1)135--149, 89(4)479--510,
93(1)127--142
-
Equivalent, 93(4)353--356
-
Equivalent, Full-Searching-, 76(1)25--37
-
Erdem, Esra, 79(1)25--69
-
Erdem, Esra, see Eiter, Thomas
-
erratum, 74(4)579--601, 81(4)485--490
-
Error, 83(1)109--115, 95(1)73--102
-
Error-Robust, 59(4)365--372
-
Escrig, David de, Frutos-, 88(3)329--356
-
Eshuis, Rik, 52(4)297--321
-
Eshuis:2002:CRF, 52(4)297--321
-
Ésik, Zoltan, 86(1)19--40, see Bloom, Stephen L.
-
Ésik, Zoltán, 55(1)1--21, 82(1)61--78, 82(1)79--103,
see Bloom, Stephen L.
-
Esik:2008:PTA, 82(1)61--78
-
Esik:2008:SVF, 82(1)79--103
-
Esmaeilsabzali, Shahram, 82(4)465--512
-
Esmaeilsabzali:2008:IAC, 82(4)465--512
-
Esparza, Javier, 47(3)231--245, 62(2)197--220, 86(3)227--253
-
Esparza:2001:UBA, 47(3)231--245
-
Esparza:2004:PTA, 62(2)197--220
-
Esparza:2008:CCC, 86(3)227--253
-
Esposito, F., 90(1)43--66
-
Esposito, F., see Ferilli, S.
-
Esposito, Floriana, 47(1)15--33, 69(4)389--409, 89(1)23--43
-
Esposito, Yann, 86(1)41--77
-
Esposito, Yann, see Denis, François
-
Esposito:2001:GMB, 47(1)15--33
-
Esposito:2006:MOR, 69(4)389--409
-
Esposito:2008:MDR, 89(1)23--43
-
Essay, 75(1)435--451
-
Establishment, 94(3)361--386
-
Esteva, Francesc, 57(2)127--146
-
Esteva, Francesc, see Godo, Lluís
-
Estimating, 53(3)335--343
-
Estimation, 50(2)155--174, 71(1)63--82, 83(1)177--196, 86(1)1--17,
94(2)179--195
-
Estimation, State-, 85(1)297--311
-
Ethics, 80(1)259--272
-
Etna, 87(2)247--267
-
Euler, 58(1)23--37, 76(1)75--89
-
evaluation, 60(1)269--289, 87(2)247--267, 92(3)193--231, 95(1)157--186,
95(2)245--262
-
Event, 68(1)103--130, 72(1)1--19, 73(3)409--430, 82(3)237--263
-
Event, Signal-, 43(1)81--104, 43(1)321--330
-
Event-B, 77(1)1--28
-
Eventually, 57(1)79--99
-
Evolution, 41(1)91--129, 51(1)43--58, 56(4)329--371, 97(4)381--403
-
evolutionary, 55(3)387--403, 87(1)93--116, 91(1)1--15, 91(1)53--77,
92(1)43--61, 95(2)263--285, 95(2)325--348
-
Evolving, 88(3)357--385
-
Ewa, 75(1)163--178
-
Ewa, see Demri, Stéphane
-
Ewert, Sigrid, 86(4)459--480
-
Ewert, Sigrid, see Drewes, Frank
-
Exact, 50(3)305--314, 70(4)301--316
-
example, 51(4)325--338, 77(4)303--330
-
Exceptions, 82(4)391--463
-
Exchange, 89(4)393--417
-
Exclusive, 95(2)263--285
-
Execution, 57(2)371--392, 77(1)71--103, 79(1)25--69, 95(2)325--348
-
Exercise, 54(2)107--135, 70(1)1--20, 80(1)273--281
-
Exhaustiveness, 75(1)215--238
-
existence, 56(3)273--284
-
Existential, 79(1)229--256, 96(3)373--393
-
Expansion, 91(3)581--595
-
experiment, 54(2)165--183, 91(3)487--505
-
Experimental, 61(2)97--116, 89(1)1--22
-
Explanations, 79(1)25--69
-
Explicit, 45(1)79--115, 81(4)367--377, 93(4)371--392
-
Exploiting, 60(1)17--31, 71(2)309--321, 85(1)377--398
-
Exploring, 87(2)137--154
-
Expressible, Trace-, 85(1)281--295
-
Expressing, 72(1)51--63
-
expression, 49(1)67--80, 53(2)155--183, 56(1)71--88, 67(4)343--370,
69(3)301--318, 78(4)543--559, 79(3)513--524, 85(1)441--451,
90(1)1--16, 91(3)611--629, 93(1)325--336
-
expression, -, 90(1)1--16
-
Expressiveness, 77(4)511--531, 88(3)225--249, 93(1)205--219,
97(1)111--138, 97(1)139--176
-
EXPTIME-complete, 75(1)163--178
-
Extended, 57(1)1--15, 58(2)105--137, 58(3)241--260, 60(1)143--157,
71(1)1--14, 81(1)297--313, 83(1)65--73, 84(1)51--60, 94(2)121--131,
95(2)381--399
-
Extensible, 77(1)71--103
-
extension, 41(4)415--431, 48(1)93--106, 53(1)79--104, 62(3)291--332,
79(3)497--512, 79(3)553--566, 87(3)367--406, 92(4)307--343,
96(3)341--372
-
Extensionality, 55(3)363--385
-
extensive, Non-, 85(1)455--464
-
External, 41(3)313--340, 49(1)273--287, 64(1)307--316, 84(1)17--32
-
Extracting, 84(3)403--427
-
Extraction, 59(2)271--285, 67(1)29--44, 77(3)243--275
-
Extractive, 90(1)171--190
-
Extreme, 67(1)163--174