Index file section D for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
D
-
D, 93(2)201--225, 120(2)229--245, 121(1)179--186, 134(2)537--544
-
d'algorithmes, 117(1)187--198
-
d'Amore, Fabrizio, 108(2)371--384, 130(1)101--123
-
d'espèces, 117(1)131--136
-
d'Euclide, 115(2)291--319
-
d'une, 99(2)327--z
-
d'Yves, 123(1)21--30
-
D, 2-, 125(2)243--257
-
D-category, 123(1)31--53
-
d-dimensional, 81(1)97--115
-
d-self-reducibility, 81(2)189--199
-
D0L, 71(1)29--45, 82(1)19--33, 83(2)205--218, 120(2)229--245
-
DACTL, 131(1)29--94
-
Dactl, 72(2)225--249, 72(2)z--z
-
dagger, 100(2)325--346
-
dags, 70(2)251--260
-
Dagum, P., 102(2)283--305
-
Dagum:1992:APG, 102(2)283--305
-
Dahlhaus, Elias, 134(2)493--528
-
Dahlhaus:1994:EPA, 134(2)493--528
-
Daisies, 96(2)361--388
-
Dam, Mads, 126(1)77--96
-
Dam:1994:CEF, 126(1)77--96
-
Damm, C., 106(2)351--360
-
Damm:1992:SCC, 106(2)351--360
-
dAmore:1993:WLU, 108(2)371--384
-
dAmore:1994:LUP, 130(1)101--123
-
Dams, Dennis, 124(1)93--125
-
Dams, Dennis, see Codish, Michael
-
Darondeau, P., 82(2)403--408, 97(1)131--142
-
Darondeau, P., see Badouel, E.
-
Darondeau, Philippe, 118(1)21--48
-
Darondeau:1992:FDD, 97(1)131--142
-
Darondeau:1993:RAE, 118(1)21--48
-
Das, G., 103(1)107--135
-
Das:1992:MVH, 103(1)107--135
-
Dassow, J., 81(2)289--294, 84(2)281--292, 87(2)287--313
-
Dassow, J., see Csuhaj-Varju, E.
-
Dassow, Jürgen, 116(2)339--357,
see Andra{\c{s}}iu, Mircea
-
Dassow:1991:CPC, 81(2)289--294
-
Dassow:1991:DSA, 84(2)281--292
-
data-complexity, 76(1)3--51
-
data-dependency, 110(2)377--403
-
Data-movement-intensive, 95(2)323--337
-
dataflow, 76(2)309--322, 90(1)185--198, 94(1)125--140, 124(1)71--91
-
datalog, 76(1)3--51, 76(1)143--177, 78(1)137--158, 78(1)z--z,
116(1)95--116, 116(1)117--149, 116(1)151--194
-
datatypes, 115(1)151--189
-
Dauchet, M., 72(2)95--z
-
Dauchet, Max, 103(2)409--420, 119(1)39--62, 127(1)69--98
-
Dauchet, Max, see Coquidé, Jean-Luc,
see Devienne, Philippe
-
Dauchet:1990:E, 72(2)95--z
-
Dauchet:1992:STM, 103(2)409--420
-
Daudé, Hervé, 123(1)95--115
-
Daude:1994:UBA, 123(1)95--115
-
David, R., 135(2)423--431
-
David:1994:IFS, 135(2)423--431
-
day, 91(1)119--128
-
Daykin, J. W., 127(1)53--67
-
Daykin:1994:PRA, 127(1)53--67
-
DBMS, 73(2)213--230, 76(1)3--51, 76(1)93--114, 76(1)115--142,
76(1)143--177, 78(1)3--83, 91(1)23--55, 95(1)1--42, 116(1)195--226,
119(1)187--214, 131(2)375--414, 133(2)341--359, 133(2)361--385,
133(2)387--419, 133(2)421--442
-
DCP, 87(1)97--114
-
De Agostino, Sergio, 127(1)181--186, 234(1)325--326
-
de Bakker, J. W., 75(1)15--43, 90(1)127--149
-
de Boer, F. S., 86(1)3--33, 101(2)239--263
-
de Boer, M. J. M., 83(2)205--218
-
De Luca, A., 100(1)67--104
-
de Luca, A., 72(1)39--53, 87(2)315--327
-
de Luca, A., see Carpi, A.
-
De Nicola, R., 75(3)223--262, 96(1)1--z
-
De Nicola, R., see Degano, P.
-
de Roever, W. P., 101(2)289--335
-
de Roever, W. P., see Hooman, J. J. M.
-
de Rougemont, M., 101(1)143--158
-
De Santis, Alfredo, 132(1)291--317
-
deadlock, 86(1)3--33, 87(1)97--114, 94(1)141--158, 102(1)185--205,
105(1)85--128
-
DeAgostino:1994:PCP, 127(1)181--186, 234(1)325--326
-
DeAgostino:2000:EPC, 127(1)181--186, 234(1)325--326
-
deBakker:1990:CMS, 75(1)15--43
-
deBakker:1991:FDC, 90(1)127--149
-
Debart, Françoise, 105(1)141--166
-
Debart:1992:MLP, 105(1)141--166
-
deBoer:1991:PDP, 83(2)205--218
-
deBoer:1991:SMC, 86(1)3--33
-
deBoer:1992:FSC, 101(2)239--263
-
debugging, 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
-
decidability, 71(1)29--45, 71(2)265--279, 71(3)281--346, 72(1)39--53,
73(3)295--311, 74(1)3--18, 74(1)71--93, 74(3)341--354,
78(2)347--355, 79(1)37--109, 79(1)263--273, 80(1)77--104,
80(2)227--262, 80(2)303--318, 81(1)137--145, 81(2)269--288,
81(2)289--294, 82(1)19--33, 82(1)131--139, 85(1)33--52,
85(2)253--281, 87(1)25--41, 87(2)287--313, 88(2)269--285,
88(2)325--349, 89(1)33--62, 91(1)71--84, 91(1)101--117, 94(1)1--35,
94(2)367--371, 95(1)115--142, 95(2)187--205, 96(2)325--344,
98(1)5--13, 98(2)199--247, 99(2)291--299, 101(1)143--158,
103(1)39--49, 103(1)143--159, 103(2)387--394, 106(1)87--117,
106(1)135--181, 106(2)337--349, 108(1)103--118, 108(2)237--249,
109(1)83--122, 110(1)145--168, 110(2)419--432, 112(2)311--337,
113(1)93--117, 113(1)119--165, 114(1)93--118, 116(2)339--357,
117(1)39--43, 118(2)167--191, 118(2)193--229, 120(2)229--245,
121(1)71--88, 121(1)89--112, 123(2)315--327, 126(1)31--52,
126(1)113--142, 127(1)1--23, 127(1)69--98, 127(1)149--170,
127(2)229--254, 129(1)167--186, 129(2)419--424, 130(2)239--319,
131(2)243--269, 131(2)271--294, 131(2)431--439, 131(2)441--448,
132(1)37--70, 132(1)85--112, 132(1)129--150, 132(1)395--401,
134(1)107--117, 134(1)175--188, 134(2)287--309, 134(2)311--328,
134(2)329--363, 134(2)365--385, 135(2)345--359
-
decidable, 71(3)281--346, 74(1)3--18, 77(1)73--95, 78(2)347--355,
79(1)37--109, 79(1)263--273, 80(2)303--318, 81(1)137--145,
82(1)19--33, 88(2)325--349, 89(1)33--62, 91(1)71--84, 94(1)1--35,
94(2)367--371, 95(1)115--142, 98(2)199--247, 103(1)39--49,
103(1)143--159, 106(1)135--181, 108(2)237--249, 109(1)83--122,
118(2)167--191, 120(2)229--245, 123(2)315--327, 126(1)113--142,
127(1)149--170, 129(2)419--424, 131(2)271--294, 131(2)431--439,
132(1)37--70, 132(1)129--150, 134(2)365--385
-
decide, 99(1)79--104, 102(1)185--205, 110(2)419--432
-
deciding, 71(2)265--279, 103(2)387--394, 112(2)311--337, 123(2)183--197,
131(2)441--448
-
decipherability, 134(1)63--78
-
deciphering, 84(1)53--76
-
deciphering, z-, 108(2)251--270
-
decision, 71(3)281--346, 72(1)39--53, 72(2)265--288, 74(1)71--93,
80(2)227--262, 81(1)137--145, 81(2)169--187, 82(1)19--33,
84(1)127--150, 84(2)199--223, 85(1)33--52, 93(2)279--301,
95(1)115--142, 98(1)137--161, 98(1)z--z, 106(2)351--360,
107(1)63--76, 110(2)419--432, 112(1)145--185, 112(2)371--382,
113(1)119--165, 118(2)193--229, 119(1)173--185, 120(2)197--213,
123(2)183--197, 125(2)339--343, 126(2)183--235, 127(1)25--51,
128(1)179--210, 133(2)307--340, 134(2)329--363, 134(2)365--385,
134(2)387--401, 135(1)139--153
-
decision, Omega-, 106(2)351--360
-
decision, Omega-, 106(2)351--360
-
declaration, 85(2)283--303, 89(1)63--106, 95(1)43--74
-
declarative, 75(1)67--83, 75(1)z--z, 81(2)201--221, 86(1)3--33,
94(2)281--294, 96(1)73--155, 101(2)239--263, 103(2)205--234,
105(1)27--56, 118(2)99--166, 134(2)287--309
-
Decoders, 86(2)365--375
-
decoding, 86(2)365--375
-
decomposability, 107(2)357--363
-
decomposable, tree-, 109(1)49--82
-
decomposition, 71(2)209--226, 74(1)19--35, 74(2)199--216, 76(1)143--177,
87(2)229--249, 92(2)319--336, 96(2)361--388, 100(1)137--156,
106(1)21--60, 107(2)357--363, 108(1)173--183, 117(1)45--65,
120(2)215--227, 123(2)259--272, 129(2)207--262, 131(1)219--241,
132(1)209--227
-
Décoste, Hélène, 117(1)169--186
-
Decoste:1993:SIS, 117(1)169--186
-
decreasing, 126(2)259--280, 132(1)435--444
-
decreasing, nonsort-, 89(1)3--32
-
decreasing, one-word-, 112(2)255--275
-
decreasingness, 126(2)259--280
-
decryption, 106(2)373--383
-
Dedekind, 83(2)219--235, 88(1)171--182, 110(1)79--98
-
Dedekind-complete, 75(3)289--309
-
deduction, 85(2)333--351, 95(1)115--142, 96(1)73--155, 105(2)217--273,
110(2)249--339, 114(2)231--245, 115(1)3--41, 120(1)1--44,
122(1)97--117, 124(1)71--91, 131(1)1--28, 135(1)67--110
-
deduction-based, natural-, 111(1)211--252, 111(1)253--290
-
deductive, 78(1)3--83, 78(1)85--112, 78(1)113--136, 78(1)137--158,
78(1)189--216, 78(1)245--259, 78(1)z--z, 93(1)115--141,
110(2)377--403, 115(1)3--41, 116(1)95--116, 116(1)117--149,
116(1)151--194, 130(2)239--319, 133(2)267--306
-
deepening, iterative-, 104(1)109--128
-
default, 78(1)85--112, 78(1)z--z, 103(2)365--386
-
definability, 80(2)153--202, 126(1)97--112
-
definable, 82(2)409--418, 88(1)139--150, 115(1)131--149, 121(1)309--321,
126(1)53--75
-
definable, automaton-, 103(1)143--159
-
definable, first-order-, 120(1)69--81
-
define, 104(2)263--283
-
defined, 71(3)347--380, 82(2)403--408, 87(1)115--142, 90(2)309--353,
91(2)239--264, 93(2)169--183, 94(1)1--35, 105(2)167--215,
106(1)119--134, 116(1)151--194, 124(2)195--219, 127(1)187--198,
132(1)243--258, 135(2)319--343
-
defined, user-, 116(1)59--94
-
definedness, 104(1)129--159
-
Defining, 101(2)337--359, 122(1)137--164
-
definite, 76(2)309--322, 86(1)107--139, 97(1)175--181, 118(2)99--166,
122(1)225--262, 128(1)63--74
-
definition, 77(1)5--26, 78(2)357--362, 82(2)285--302, 87(1)115--142,
90(2)309--353, 100(1)45--66, 101(1)143--158, 105(1)27--56,
106(2)283--308, 111(1)253--290, 115(1)63--75, 116(1)59--94,
122(1)3--47, 122(1)119--136, 131(1)121--138
-
deflations, 87(1)163--188
-
deforestation, 73(2)231--248
-
Degano, P., 75(3)223--262
-
Degano, Pierpaolo, 114(1)63--91, 118(1)21--48
-
Degano, Pierpaolo, see Darondeau, Philippe
-
Degano:1990:POS, 75(3)223--262
-
Degano:1993:UAB, 114(1)63--91
-
degree, 73(1)91--100, 74(3)299--312, 74(3)355--361, 76(2)273--284,
78(2)305--317, 86(2)325--342, 88(2)325--349, 88(2)351--363,
97(1)131--142, 97(2)217--231, 97(2)263--284, 100(2)267--302,
112(2)419--420, 120(2)229--245, 123(2)315--327, 123(2)329--340,
123(2)407--413, 132(1)37--70
-
degree, bounded-, 91(1)57--69
-
degree, out-, 86(2)243--266
-
degree-restricted, 110(1)197--214
-
degrees, -, 97(2)263--284
-
Dehornoy, P., 93(2)321--325, 94(2)199--213
-
Dehornoy:1992:CPN, 93(2)321--325
-
Dehornoy:1992:PMG, 94(2)199--213
-
Dejean, 95(2)187--205
-
Del Lungo, A., 127(1)187--198
-
Delahaye, J. P., 78(1)189--216
-
Delahaye, J.-P., 82(2)373--388
-
Delahaye, J.-P., see Denis, F.
-
Delahaye, Jean-Paul, 131(1)197--218
-
Delahaye, Jean-Paul, see Mathieu, Philippe
-
Delahaye:1991:PTV, 78(1)189--216
-
Delaunay, 77(3)331--343, 112(2)339--354
-
delay, 84(1)53--76, 84(2)265--279, 100(1)223--241, 108(2)251--270,
127(2)313--332, 128(1)179--210
-
Delest, M., 79(1)209--226, 117(1)1--z
-
Delest, M. P., 98(1)65--76
-
Delest:1991:EPU, 79(1)209--226
-
Delest:1992:AGU, 98(1)65--76
-
Delest:1993:F, 117(1)1--z
-
delete, 118(1)81--98
-
DeleteHeap, 84(1)107--126
-
DeleteMax, 84(1)107--126
-
DeleteMin, 84(1)107--126
-
deletion, 125(2)361--371, 129(2)397--406, 131(2)295--310,
132(1)129--150
-
deletions, 72(2)147--167, 93(2)201--225
-
DelLungo:1994:PDT, 127(1)187--198
-
delta, 74(3)299--312, 94(2)311--334, 113(2)191--210
-
Delta-free, 118(1)21--48
-
delta-semilinear, 70(2)179--192
-
deLuca:1991:FIC, 87(2)315--327
-
DeLuca:1992:NRC, 100(1)67--104
-
deLuca:1994:SCP, 136(2)361--385
-
Delyon, Bernard, 129(2)279--291
-
Delyon:1994:ENS, 129(2)279--291
-
deMeer:1994:GRD, 128(1)179--210
-
Demetrovics, J., 78(2)377--381
-
Demetrovics, J., see Burosch, G.
-
Demolombe, R., 78(1)245--259
-
Demolombe:1991:ESN, 78(1)245--259
-
demonic, 99(1)105--119, 124(2)273--295
-
demons, 100(2)365--383
-
Den, 90(1)209--233
-
Denecker, Marc, 122(1)225--262
-
Denecker:1994:DAM, 122(1)225--262
-
Deng, M., 74(3)253--271
-
Deng, M., see Zhang, Jingzhong
-
DeNicola:1992:P, 96(1)1--z
-
Denis, F., 82(2)373--388
-
Denis:1991:TAS, 82(2)373--388
-
denotational, 70(1)127--150, 71(2)193--208, 71(2)z--z, 75(1)15--43,
75(3)289--309, 76(2)179--222, 77(1)73--95, 83(1)57--69, 86(1)3--33,
90(1)127--149, 90(1)209--233, 91(1)23--55, 97(1)67--81,
101(2)239--263, 111(1)89--101, 118(2)231--262, 124(1)71--91,
135(2)171--220, 136(1)243--275
-
dense, 97(2)199--215, 111(1)191--210, 120(2)279--291
-
density, 97(2)263--284, 115(2)243--260, 129(2)369--383, 132(1)435--444
-
dependability, 128(1)179--210
-
dependable, 128(1)179--210
-
dependence, 82(1)1--18, 113(1)35--54, 134(1)87--105
-
dependency, 74(2)121--162, 77(3)291--308, 81(1)117--126, 91(1)23--55,
92(2)249--268, 100(2)347--364, 107(2)169--207, 107(2)277--303,
123(1)31--53, 124(1)169--179, 133(2)361--385, 133(2)387--419
-
dependency, data-, 110(2)377--403
-
dependent, 77(1)131--159, 79(2)359--363, 129(2)385--396
-
depletion, 74(1)95--114
-
depth, 78(2)357--362, 82(1)85--93, 85(1)155--170, 93(2)303--319,
123(2)389--395, 129(1)193--206, 132(1)37--70
-
depth, constant-, 102(2)215--252, 107(1)63--76, 107(1)121--133
-
depth, dot-, 104(2)161--183, 123(2)239--258
-
depth, Size-, 82(1)85--93
-
depth, size-, 100(1)253--265
-
depth-first, 104(1)109--128
-
depth-one, dot-, 88(1)99--116
-
depth-three, 113(1)167--183
-
der Meyden, Ron, van, 116(1)151--194
-
derandomization, 131(2)415--429
-
Deransart, Pierre, 118(2)99--166
-
Deransart:1993:PMD, 118(2)99--166
-
derivation, 76(2)223--242, 80(2)153--202, 83(1)71--96, 83(1)131--155,
90(1)235--251, 105(1)129--140, 109(1)49--82, 109(1)123--143,
113(2)259--272, 115(2)359--369, 127(1)1--23
-
derivations, SLD-, 104(1)3--28
-
derivative, 108(2)311--329, 117(1)113--130
-
derived, 83(2)189--203
-
Deriving, 120(2)215--227
-
derivor, 73(2)177--211
-
deRougemont:1992:FDI, 101(1)143--158
-
Dershowitz, N., 75(1)111--138, 83(1)71--96
-
Dershowitz:1990:RCE, 75(1)111--138
-
Dershowitz:1991:RRR, 83(1)71--96
-
DeSantis:1994:KCQ, 132(1)291--317
-
descending, 74(2)183--197
-
describe, 85(2)305--331
-
description, 71(1)133--153, 76(2)223--242, 79(1)163--177, 90(1)171--184,
96(2)285--304, 104(2)285--298, 114(1)63--91, 117(1)255--272,
120(2)197--213
-
descriptional, 112(2)277--289
-
descriptive, 116(1)3--31
-
Desel, Jörg, 101(2)161--176, 114(1)93--118,
see Best, Eike
-
Desel:1993:RCE, 114(1)93--118
-
Desharnais, Jules, 114(2)247--272
-
Desharnais:1993:RDO, 114(2)247--272
-
design, 76(2)331--341, 77(1)5--26, 77(1)195--219, 83(1)131--155,
84(2)225--250, 85(1)155--170, 86(2)343--364, 87(1)143--162,
89(1)179--206, 90(1)235--251, 95(2)207--229, 99(2)213--230,
100(1)223--241, 103(2)191--204, 104(1)89--107, 110(2)249--339,
116(2)291--303, 128(1)179--210, 130(1)85--99
-
destructive, 118(2)231--262
-
detection, 102(2)253--281, 119(2)247--265
-
determining, 82(1)151--155, 91(1)85--100, 125(1)149--165
-
determinism, 79(2)275--294, 87(1)189--202, 134(2)427--453
-
deterministic, Non-, 75(3)289--309
-
Deutz, A. H., 127(2)387--393, 129(2)207--262
-
Deutz:1994:CRS, 129(2)207--262
-
Deutz:1994:HCA, 127(2)387--393
-
developed, 79(1)241--256
-
development, 71(1)79--93, 73(2)213--230, 77(1)27--71, 83(2)219--235,
87(1)143--162, 88(1)171--182, 90(1)17--36, 90(1)209--233,
94(2)237--259, 94(2)311--334, 94(2)335--356, 113(2)259--272,
119(1)z--z, 121(1)145--167, 131(1)219--241, 133(2)341--359
-
deviation, 133(1)23--33
-
device, 85(2)333--351, 129(2)279--291
-
Devienne, P., 75(1)157--215
-
Devienne, Philippe, 119(1)39--62
-
Devienne:1990:WGT, 75(1)157--215
-
Devienne:1993:WSE, 119(1)39--62
-
Devillers, R., 102(1)165--183
-
Devillers:1992:MPB, 102(1)165--183
-
Devolder, J., 85(1)33--52
-
Devolder:1991:FGB, 85(1)33--52
-
Dezani-Ciancaglini, M., 100(2)303--324
-
Dezani-Ciancaglini:1992:ITC, 100(2)303--324
-
DFA, 115(2)261--275
-
Dhagat, Aditi, 112(2)355--369
-
Dhagat, Aditi, see Aslam, Javed A.
-
DI-domain, 113(2)273--291
-
DI-domains, 111(1)103--123
-
dI-domains, 93(1)143--157, 111(1)89--101, 123(1)31--53
-
Diagnostic, 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
-
diagonal, 125(2)355--360
-
diagram, 77(3)331--343, 93(1)43--74, 98(1)65--76, 101(2)289--335,
109(1)181--224, 119(2)267--291, 126(2)259--280
-
diagraphs, 95(2)245--261
-
dialects, 71(2)193--208
-
dialgebras, 111(1)145--189
-
Díaz, J., 117(1)99--112, see Casas, R.
-
dictionary, 72(2)147--167, 93(2)201--225, 108(2)371--384,
131(2)295--310
-
Diekert, V., 74(1)3--18, 134(1)87--105
-
Diekert, Volker, 108(1)25--43, 113(1)35--54
-
Diekert:1990:WPT, 74(1)3--18
-
Diekert:1993:CIT, 113(1)35--54
-
Diekert:1993:MFC, 108(1)25--43
-
Diekert:1994:PTS, 134(1)87--105
-
Diestel, R., 132(1)337--345
-
Diestel:1994:DGI, 132(1)337--345
-
Dietzfelbinger, M., 82(1)113--129, 108(2)271--290
-
Dietzfelbinger:1991:CMT, 82(1)113--129
-
Dietzfelbinger:1993:CMT, 108(2)271--290
-
difference, 73(3)265--278, 73(3)319--328, 115(2)371--381,
120(2)279--291
-
different, 76(2)343--351, 81(2)295--304
-
differentiable, 125(2)373--383
-
differential, 72(2)119--131, 72(2)z--z, 79(1)179--193, 79(1)195--207,
98(1)137--161, 117(1)113--130, 133(1)23--33
-
differential-algebraic, 98(1)137--161, 98(1)z--z
-
digital, 74(2)163--181, 79(1)151--162, 84(2)225--250, 85(1)117--134,
95(1)169--185, 95(2)207--229, 100(1)243--251, 123(2)291--314,
129(2)407--417, 130(1)203--236, 133(1)35--47
-
digraph, 110(1)197--214, 119(2)331--343, 124(2)329--342
-
Dikovsky, A. Ja, 119(1)63--102
-
Dikovsky:1993:CCP, 119(1)63--102
-
Diks, K., 87(2)251--262
-
Diks:1991:OPC, 87(2)251--262
-
Dill, David L., 126(2)183--235
-
Dill, David L., see Alur, Rajeev
-
dimension, 70(2)251--260, 79(1)151--162, 86(2)377--389, 101(1)143--158
-
dimensional, 134(1)51--61
-
dimensional, d-, 81(1)97--115
-
dimensional, finite-, 125(1)149--165
-
dimensional, Higher-, 115(1)43--62
-
dimensional, low-, 132(1)113--128
-
dimensional, one-, 84(2)293--311, 112(2)399--412,
115(2)321--349, 127(2)229--254
-
dimensional, three-, 97(2)285--300
-
dimensional, two-, 84(1)127--150, 87(2)329--346, 115(1)43--62,
125(2)229--241, 128(1)241--252, 132(1)403--414, 134(2)387--401
-
dimensional, zero-, 84(2)293--311, 133(1)49--64
-
dimers, 117(1)67--89
-
Dimitrovici, C., 71(3)347--380
-
Dimitrovici, C., see Ehrig, H.
-
dinatural, 115(1)107--129
-
dinaturality, 115(1)3--41, 118(2)301--314, 136(1)163--181
-
Diop, S., 98(1)137--161
-
Diop:1992:DAD, 98(1)137--161
-
diophantine, 74(3)329--340
-
dipping, 123(2)351--375
-
direct, 77(1)73--95, 95(1)115--142, 110(1)197--214
-
directed, 72(2)97--117, 72(2)z--z, 75(1)157--215, 77(1)195--219,
77(3)267--289, 78(2)363--376, 82(2)177--214, 88(1)33--57,
94(1)63--69, 95(2)245--261, 110(1)197--214, 117(1)67--89,
119(1)39--62, 119(2)331--343, 123(2)389--395, 124(2)329--342,
127(1)187--198, 127(2)287--312, 127(2)333--350
-
directed, syntax-, 108(2)185--236
-
director, 107(2)333--347
-
discipline, 97(1)157--173, 102(1)135--163
-
discovery, 133(2)361--385
-
discrepancy, 123(1)61--87
-
discrepancy, star-, 123(1)61--87
-
discrete, 79(1)37--109, 84(1)23--52, 87(1)97--114, 115(2)291--319,
126(1)53--75, 134(1)51--61
-
discretizations, 134(1)51--61
-
discriminant, 133(2)361--385
-
disjoint, 76(1)53--91, 83(2)275--285, 91(2)239--264, 102(2)283--305,
103(1)107--135, 115(2)351--357, 117(1)187--198, 124(2)195--219,
126(1)31--52, 127(2)395--402, 129(2)369--383, 133(1)49--64,
134(1)225--251, 136(2)333--360
-
disjoint, vertex-, 84(2)179--197
-
disjointness, 106(2)385--390, 110(1)99--129
-
disjunction, 81(2)257--268, 102(1)207--214
-
disjunctive, 78(1)113--136, 86(1)93--106, 86(1)z--z, 93(1)115--141,
116(1)151--194, 133(2)387--419
-
disk, multiple-, 128(1)211--239
-
dissolution, 131(1)1--28
-
distance, 72(1)27--38, 81(1)137--145, 92(1)191--211, 95(2)231--244,
97(1)131--142, 102(2)253--281, 134(1)225--251
-
distinct, 100(1)105--135
-
distinctness, 110(1)99--129
-
distinguishing, 82(1)35--49
-
distributed, 71(1)133--153, 73(1)61--79, 74(2)121--162, 75(3)263--287,
76(2)285--308, 81(2)237--256, 89(1)179--206, 91(2)285--313,
95(1)169--185, 96(1)3--33, 100(1)185--204, 100(1)223--241,
108(2)291--310, 109(1)123--143, 110(2)341--376, 114(1)31--61,
114(1)63--91, 120(1)101--121, 120(2)261--278, 122(1)165--200,
125(1)17--43, 128(1)63--74, 128(1)127--157, 128(1)159--177,
130(1)5--16, 130(1)17--47, 130(1)49--72, 130(1)73--84,
130(1)175--201, 133(2)341--359
-
distribution, 72(2)147--167, 76(2)285--308, 86(2)377--389,
92(1)165--179, 94(2)261--280, 117(1)243--253, 119(2)363--371,
123(1)131--137, 125(1)61--90, 125(1)111--130, 125(1)149--165,
131(2)375--414
-
distribution-independent, 100(1)157--184
-
distributional, 106(2)385--390
-
distributive, 94(2)199--213, 111(1)89--101, 114(2)201--229,
126(2)237--257
-
divergence, 112(1)145--185
-
Diverse, 79(1)241--256
-
divide-and-conquer, 134(2)493--528
-
division, 79(1)25--35, 83(2)205--218, 100(1)1--44, 114(2)247--272,
135(2)345--359
-
division, sub-, 98(1)79--97
-
division-like, 114(2)247--272
-
divisor-free, zero-, 92(2)269--289
-
divisors, 74(3)325--328
-
DLOGTIME-reductions, 107(1)31--61
-
DNA, 134(2)473--491
-
do, while-, 82(2)215--252
-
doacross, 73(2)121--154
-
document, 120(2)197--213
-
Doets, K., 97(1)175--181
-
Doets, Kees, 124(1)180--187
-
Doets:1992:SST, 97(1)175--181
-
Doets:1994:LTT, 124(1)180--187
-
Doggaz, N., 85(2)231--251
-
Doggaz:1991:CU, 85(2)231--251
-
DOL, 134(2)537--544
-
domain, 70(1)65--72, 70(1)151--158, 70(2)233--250, 73(1)101--112,
75(1)15--43, 75(3)289--309, 76(1)3--51, 76(1)53--91, 76(2)309--322,
77(1)73--95, 79(2)359--363, 82(2)409--418, 87(1)1--24,
87(1)163--188, 90(1)127--149, 90(1)171--184, 90(2)369--390,
91(1)23--55, 91(2)285--313, 94(1)37--62, 94(1)63--69,
103(1)107--135, 103(2)311--334, 111(1)59--88, 111(1)89--101,
111(1)103--123, 111(1)z--z, 114(1)63--91, 114(2)201--229,
115(1)77--106, 118(2)301--314, 119(1)23--38, 119(1)103--125,
119(1)z--z, 120(1)101--121, 121(1)113--143, 121(1)179--186,
121(1)187--277, 122(1)3--47, 124(2)195--219, 124(2)221--272,
132(1)347--375, 133(1)165--185, 135(1)111--137, 135(2)289--318,
136(1)21--56, 136(1)57--78, 136(1)109--123
-
domain, DI-, 113(2)273--291
-
domain, L-, 70(2)233--250
-
domain-theoretic, 113(2)273--291
-
domain-theoretical, 136(1)57--78
-
domains, DI-, 111(1)103--123
-
domains, dI-, 93(1)143--157, 111(1)89--101, 123(1)31--53
-
domains, L-, 79(2)359--363, 111(1)89--101, 111(1)103--123
-
dominant, 106(2)183--219
-
dominating, 91(1)1--21
-
domination, 132(1)337--345
-
Domineering, 119(2)323--329
-
domino, 98(2)263--287, 119(2)323--329, 131(2)243--269
-
Dong, Fangqing, 133(2)267--306
-
Dong, Guozhu, 76(1)143--177, 90(2)391--432
-
Dong:1990:DDP, 76(1)143--177
-
Dong:1991:LCO, 90(2)391--432
-
Dong:1994:IID, 133(2)267--306
-
Dosch, Walter, 119(1)103--125
-
Dosch:1993:GPD, 119(1)103--125
-
Dosen, K., 102(1)207--214
-
Dosen:1992:NCL, 102(1)207--214
-
dot-depth, 104(2)161--183, 123(2)239--258
-
dot-depth-one, 88(1)99--116
-
double, 108(2)251--270, 123(2)351--375, 134(1)225--251
-
double-pushout, 109(1)181--224
-
doubly, 100(1)223--241
-
Dougherty, Daniel J., 114(2)273--298
-
Dougherty:1993:HOU, 114(2)273--298
-
Dowek, Gilles, 107(2)349--356
-
Dowek:1993:UPM, 107(2)349--356
-
Dowling, W. F., 77(3)309--319
-
Dowling:1990:FPL, 77(3)309--319
-
down, 84(2)165--177, 108(2)311--329
-
down, Top-, 93(1)43--74
-
down, top-, 93(1)43--74, 118(1)21--48, 134(2)311--328
-
Downey, R., 78(2)305--317
-
Downey:1991:CCH, 78(2)305--317
-
downward, 75(3)335--346
-
Draghicescu, M., 118(2)231--262
-
Draghicescu:1993:UTO, 118(2)231--262
-
drawing, 108(2)357--363, 119(2)331--343, 131(2)361--374
-
Dress, A., 84(2)151--164
-
Dress, A., see Clausen, M.
-
Drewes, Frank, 109(1)83--122
-
Drewes:1993:RCH, 109(1)83--122
-
drinking, 108(2)311--329
-
driven, event-, 101(2)289--335
-
droite, 117(1)255--272
-
Droste, M., 75(3)289--309
-
Droste, Manfred, 111(1)89--101, 135(2)289--318
-
Droste, Manfred, see Bracho, Felipe
-
Droste:1990:NDI, 75(3)289--309
-
Droste:1993:SD, 111(1)89--101
-
DT, 127(2)269--286
-
DTML, 76(2)343--351
-
DTOL, 127(2)269--286
-
Du, J., 75(3)347--355
-
Du:1990:MMF, 75(3)347--355
-
dual, 103(2)311--334, 134(2)455--471
-
duality, 114(2)201--229, 122(1)225--262
-
Dube, S., 91(1)57--69
-
Dube, S., see Culik, II, K.
-
Dube, Simant, 116(2)373--398
-
Dube, Simant, see Culik II, Karel
-
Dubois, O., 81(1)49--64, 81(1)65--75
-
Dubois:1991:CNS, 81(1)49--64
-
Dubois:1991:PAS, 81(1)65--75
-
Duchamp, G., 79(1)227--239, 96(2)405--410, 98(1)z--z
-
Duchamp:1991:OPF, 79(1)227--239
-
Duchamp:1992:PCS, 96(2)405--410
-
Duchamp:1992:SWA, 98(1)z--z
-
Dulucq, S., 71(3)381--400, 117(1)187--198
-
Dulucq:1990:FSS, 71(3)381--400
-
Dulucq:1993:CAO, 117(1)187--198
-
Dumas, F., 98(1)99--114
-
Dumas, Ph, 119(2)345--354
-
Dumas, Ph., see Litow, B.
-
Dumas:1992:SPS, 98(1)99--114
-
dumps, 125(1)131--147
-
Dung, Phan Minh, 105(1)7--25
-
Dung:1992:RBS, 105(1)7--25
-
duplication, 101(2)223--237
-
Durand, B., 134(2)387--401
-
Durand:1994:ICA, 134(2)387--401
-
duration, 130(1)73--84
-
Durieux, J. L., 79(2)323--339
-
Durieux, J. L., see Jaoua, A.
-
{\v{D}}uri{\v{s}}, Pavol, 132(1)435--444
-
Duris:1994:NDO, 132(1)435--444
-
Dushnik-Miller, 70(2)251--260
-
Duval, 132(1)415--425
-
Duval, Dominique, 123(1)117--130
-
Duval:1994:SP, 123(1)117--130
-
Dybkjær, Hans, 111(1)145--189
-
Dybkjaer:1993:CHC, 111(1)145--189
-
Dyck, 97(2)245--262, 117(1)203--215
-
dynamic, 72(2)97--117, 72(2)147--167, 72(2)z--z, 74(1)95--114,
76(1)115--142, 79(1)151--162, 79(2)341--355, 84(1)127--150,
87(1)43--80, 87(1)189--202, 89(1)161--177, 90(1)95--118,
90(2)355--367, 91(2)181--203, 92(1)49--76, 92(1)z--z, 92(2)291--300,
93(2)201--225, 94(1)141--158, 94(2)223--236, 94(2)335--356,
95(1)1--42, 97(1)1--66, 106(2)361--371, 110(1)215--245,
116(2)359--371, 119(1)63--102, 119(1)223--232, 119(2)331--343,
124(1)127--148, 127(2)387--393, 128(1)179--210, 129(2)279--291,
129(2)397--406, 130(1)49--72, 130(1)203--236, 131(2)295--310,
133(2)205--265, 134(1)79--86, 136(1)217--242
-
dynamical, 94(2)367--371, 123(1)139--144, 131(2)331--360,
132(1)113--128, 133(1)49--64
-
dynamically, 72(2)147--167, 93(2)201--225