Index file section E for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
E
-
E, 59(1)3--23
-
E-CCC, 64(1)55--66
-
E-unification, 59(1)3--23, 67(2)203--260
-
E0L, 41(2)169--184
-
ear, 47(3)277--298
-
easiest, 36(2)333--339
-
easily, 47(1)99--105
-
easy, 47(1)85--93, 47(1)99--105, 64(2)191--201
-
economic, 64(2)175--189
-
Edelsbrunner, H., 35(1)55--69
-
Edelsbrunner, Herbert, 66(2)157--180
-
Edelsbrunner:1985:FTS, 35(1)55--69
-
Edelsbrunner:1989:TNC, 66(2)157--180
-
edge, 51(1)81--115, 58(1)209--229
-
edge-label, 63(2)223--237
-
edge-labeled, 37(1)51--75
-
EDS, 47(3)277--298
-
Edwards, K., 43(2)337--343
-
Edwards:1986:CCP, 43(2)337--343
-
effect, 59(1)157--180
-
effective, 37(2)151--181, 45(3)293--351, 52(3)239--249
-
effectively, 46(2)285--303
-
effectiveness, 43(2)251--263
-
effectivity, 38(1)35--53
-
effects, side-, 69(3)243--287
-
efficiency, 48(2)273--281
-
efficient, 39(2)89--106, 43(2)239--249, 47(3)277--298, 52(3)193--203,
53(1)151--167, 58(1)379--397, 59(3)297--307, 66(1)55--63,
68(1)19--36
-
Egli-Milner, 59(3)211--234
-
Ehrenfeucht, 39(2)171--188, 41(1)121--123, 43(1)117--122, 44(3)333--339,
46(2)313--318, 47(1)71--84, 47(2)159--168
-
Ehrenfeucht, A., 37(3)357--360, 40(1)31--55, 40(2)131--148,
48(2)201--228
-
Ehrenfeucht, A., see Blumer, A.,
see Bucher, W.
-
Ehrenfeucht-Rozenberg, 44(2)229--236
-
Ehrenfeucht:1985:AGF, 37(3)357--360
-
Ehrenfeucht:1986:AFU, 48(2)201--228
-
Ehrig, H., 50(3)323--349
-
Ehrig, H., see Wagner, E. G.
-
eigenfunctions, 65(2)243--248
-
eigenvalue, 65(2)243--248
-
Eilam-Tzoreff, Tali, 60(3)231--254
-
Eilam-Tzoreff:1988:MPS, 60(3)231--254
-
Ein, 61(2)279--282
-
election, 54(1)53--64
-
elegant, 48(1)117--126
-
element, 40(1)3--11, 40(2)275--300, 41(1)81--93, 47(3)237--246,
49(1)13--22, 51(1)239--247, 52(1)77--89, 53(2)201--224,
55(2)265--289
-
element, three-, 40(1)3--11, 41(2)215--222
-
elementary, 53(1)151--167, 68(1)71--87
-
Eleventh, 53(1)z--z
-
eliminants, 40(2)257--274
-
elimination, 63(3)253--274, 64(2)135--157, 64(2)159--173
-
elimination, cut-, 68(3)333--342
-
embeddable, 48(1)95--100
-
embedding, 36(2)319--331, 41(1)95--104, 56(3)345--353, 57(1)113--129,
59(3)259--276, 59(3)309--315, 68(3)221--237
-
embedding, Self-, 47(2)219--223
-
embedding, self-, 47(2)219--223, 47(2)225--232
-
empty, 39(2)123--133, 44(1)69--105
-
encodement, 51(1)117--127
-
encoding, 62(3)311--317, 65(2)143--148, 65(2)171--188, 65(2)z--z,
68(3)253--265
-
Encoding, Symbolic-, 65(2)171--188
-
end, 37(1)51--75
-
endomorphisms, 41(1)121--123, 43(1)117--122
-
Engelfriet, J., 36(1)21--25, 42(3)251--368
-
Engelfriet, Joost, 59(3)309--315
-
Engelfriet:1985:DOE, 36(1)21--25
-
Engelfriet:1986:PMM, 42(3)251--368
-
Engelfriet:1988:NBN, 59(3)309--315
-
engendered, 68(3)253--265
-
engineering, 39(1)z--z, 66(2)205--232
-
Enjalbert, Patrice, 65(1)1--33
-
Enjalbert:1989:MRC, 65(1)1--33
-
entailment, 56(1)135--154
-
entire, 39(2)171--188
-
Entropie, 61(2)279--282, 67(1)121--128
-
entropy, 57(1)113--129, 57(2)283--302, 61(2)279--282, 67(1)121--128
-
entropy-preserving, 57(1)113--129
-
enumerability, 42(2)123--249
-
enumerable, 35(2)227--243, 35(2)261--269, 38(1)17--33, 41(1)1--17,
42(2)123--249, 55(2)183--263, 62(3)235--249
-
enumeration, 43(2)337--343
-
enumerative, 67(2)261--282
-
EOL, 37(2)217--243
-
EP, 43(1)43--58
-
epsilon, 44(2)229--236
-
EPT0L, 56(2)155--186
-
equal-delay, almost-, 61(1)49--66
-
equality, 36(1)113--117, 44(2)127--153, 47(1)27--38, 55(2)183--263
-
equation, 36(1)1--19, 38(1)133--136, 39(1)69--88, 39(1)z--z,
39(2)171--188, 39(2)327--332, 40(2)257--274, 44(2)155--174,
44(3)307--331, 45(1)1--61, 45(3)293--351, 46(2)159--174,
52(3)269--280, 61(1)1--16, 63(3)253--274, 63(3)275--294,
65(2)243--248, 66(1)99--104, 67(2)303--332, 68(2)175--202,
68(3)303--317
-
equational, 35(1)89--107, 35(2)129--164, 42(1)1--122, 43(2)149--167,
43(2)189--200, 55(2)265--289, 56(1)37--57, 57(1)3--45,
61(2)199--224, 63(3)303--331, 65(1)85--119, 67(1)129--139,
67(2)173--201, 67(2)203--260, 67(2)303--332, 69(3)243--287
-
equilibrium, 54(2)315--324, 64(2)203--219
-
equipment, 49(2)171--184, 53(2)169--185, 54(1)53--64
-
equivalence, 35(1)43--53, 35(2)313--327, 36(1)21--25, 36(1)113--117,
37(2)151--181, 37(2)183--216, 38(2)157--165, 39(1)27--45, 39(1)z--z,
41(1)105--107, 41(2)223--230, 42(1)1--122, 43(2)213--238,
44(2)237--245, 46(2)107--140, 46(2)175--195, 46(2)305--312,
47(1)39--60, 47(1)71--84, 47(3)247--262, 47(3)263--276,
47(3)299--313, 48(2)145--152, 48(2)329--337, 49(2)185--215,
49(2)z--z, 50(3)241--284, 52(1)77--89, 52(3)177--191, 52(3)307--340,
53(1)67--97, 53(2)225--241, 58(1)183--199, 59(1)115--131,
63(1)19--41, 63(2)223--237, 64(1)39--53, 64(3)221--269, 66(1)1--14,
67(1)65--73
-
equivalence=trace, 36(1)21--25
-
equivalent, 35(2)295--312, 35(2)337--344, 36(1)27--58, 60(2)109--176,
66(3)273--287, 68(1)113--119
-
equivalent, baseline-, 64(2)191--201
-
erasure, 35(2)295--312
-
EREW, 68(3)343--346
-
ergodic, 65(2)197--212, 65(2)z--z
-
ergodicity, 65(2)189--196
-
errata, 47(2)149--158, 302(1)497--498
-
erratic, 43(2)123--147
-
error, 46(1)13--45, 47(1)61--69, 54(1)129--137, 57(1)87--95,
63(2)185--202, 66(1)105--111
-
Escrig, D., Frutos, 53(1)67--97
-
Esik, Z., 47(1)1--14, 48(1)1--8, 53(2)243--255, 61(1)17--24
-
Esik, Z., see Domosi, P.
-
Esik, Zoltan, 63(3)303--331
-
Esik, Zoltan, see Bloom, Stephen L.
-
Esik:1986:CCA, 47(1)1--14
-
Esik:1986:PP, 48(1)1--8
-
Esik:1987:RTA, 53(2)243--255
-
Etude, 58(1)231--248
-
Etzion, T., 44(2)209--224
-
Etzion:1986:AGS, 44(2)209--224
-
Euclidian, 68(1)71--87
-
Euler, 65(0)123--270, 65(2)213--220
-
evaluating, 41(2)319--323, 46(2)175--195, 50(3)285--321, 54(2)315--324,
61(2)225--258, 66(3)299--321, 66(3)333--340, 69(2)117--242
-
evaluation, 41(1)113--120, 43(2)149--167, 52(3)205--237, 52(3)281--306,
53(1)25--65, 53(1)z--z, 54(1)3--28, 59(1)157--180, 64(2)175--189,
67(2)261--282, 69(2)117--242
-
evaluators, 53(1)25--65
-
Even-Tarjan, 47(3)277--298
-
event, 35(1)17--42, 43(2)277--291, 59(1)25--84, 68(1)37--47
-
event-driven, 63(1)63--90
-
eventuality, 43(2)277--291
-
Every, 48(1)95--100
-
evolution, 43(2)213--238, 48(2)135--144
-
exact, 41(2)141--167, 53(1)125--150, 64(2)203--219, 68(1)1--17
-
exactly, 43(2)169--188
-
examination, 52(1)91--143
-
exception, 46(1)13--45
-
Exclusive, 58(1)379--397
-
Exclusive, Read-, 61(2)121--136
-
exclusive-write, concurrent-read-, 58(1)379--397
-
executable, 64(3)281--304
-
execution, 58(1)3--16, 59(3)235--257
-
existence, 35(2)165--177, 37(3)269--304, 62(3)289--310, 69(3)319--345
-
expansion, 37(1)77--121, 65(2)131--141, 65(2)197--212, 65(2)221--242,
65(2)z--z
-
expert, 43(1)81--89, 62(1)39--65, 62(1)187--220, 69(1)1--53, 69(1)55--68
-
explicit, 41(1)81--93, 50(3)285--321, 64(3)331--342
-
explicitly, 43(2)201--211, 57(1)113--129
-
exponential, 49(2)217--237, 52(3)251--267, 62(3)311--317, 64(2)203--219
-
exponential-time, 47(3)263--276
-
exponentially, 66(1)87--97
-
exponentiation, 68(3)221--237
-
expression, 35(2)313--327, 36(1)27--58, 38(2)223--247, 39(2)155--169,
40(2)257--274, 40(2)329--337, 41(1)51--59, 43(2)213--238,
43(2)277--291, 44(1)51--68, 45(1)1--61, 46(2)175--195,
48(1)117--126, 55(1)1--45, 56(3)345--353, 64(1)25--38
-
expressive, 56(1)135--154
-
expressiveness, 37(3)245--267, 39(2)189--206
-
EXPTIM-P, 38(2)157--165
-
EXPTIME, 38(2)157--165
-
EXPTIME-complete, 58(1)263--324
-
extended, 38(1)99--116, 52(1)77--89, 64(1)55--66, 68(1)57--70,
69(1)55--68
-
extended, omega-, 43(2)277--291
-
extending, 38(2)223--247
-
extension, 35(2)329--336, 38(2)307--322, 39(2)337--342, 52(1)91--143,
52(3)205--237, 53(1)125--150
-
extensional, 41(1)95--104, 59(1)85--114
-
external, 68(1)1--17
-
extra-logical, 59(1)133--155
-
extraction, 61(2)225--258
-
extremal, 40(2)195--210