Index file section D for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
D
-
d'Atri, A., 35(2)165--177
-
d'Atri, A., see Ausiello, G.
-
d'un, 60(3)341--381
-
d'une, 60(3)255--283
-
d-dimensional, 59(3)259--276
-
D-structuredness, 36(2)145--171
-
D0L, 35(2)295--312, 46(1)83--89, 51(3)255--264
-
D0L-systems, 48(1)101--108
-
Dahlhaus, E., 41(2)169--184
-
Dahlhaus, Elias, 61(2)121--136
-
Dahlhaus:1985:CTA, 41(2)169--184
-
Dahlhaus:1988:PCP, 61(2)121--136
-
daisy, 43(2)277--291
-
DAL-a, 36(2)251--264
-
Danko, W., 48(2)257--272
-
Danko:1986:FOA, 48(2)257--272
-
Dare, V. R., 39(2)281--295, 47(2)159--168
-
Dare, V. R., see Siromoney, R.
-
Dare:1986:ST, 47(2)159--168
-
Darondeau, P., 37(3)305--336
-
Darondeau:1985:AFA, 37(3)305--336
-
data, 35(2)329--336, 36(2)251--264, 37(3)269--304, 38(1)83--98,
39(2)107--121, 39(2)319--325, 40(2)101--130, 42(2)123--249,
45(1)1--61, 45(3)293--351, 46(1)13--45, 46(2)261--284, 48(1)75--94,
48(2)273--281, 48(2)297--328, 49(2)171--184, 49(2)239--265,
50(2)103--135, 50(2)137--181, 50(3)323--349, 51(1)129--176,
51(1)205--214, 52(3)193--203, 53(2)169--185, 53(2)281--293,
54(1)53--64, 54(2)315--324, 55(2)265--289, 56(1)59--133,
56(3)345--353, 57(1)3--45, 57(1)131--145, 57(2)225--238,
58(0)3--397, 58(1)57--68, 58(1)143--154, 59(1)85--114,
59(3)211--234, 59(3)259--276, 60(3)297--340, 62(0)3--233,
62(1)3--38, 62(3)251--266, 63(1)63--90, 63(2)113--139,
63(3)303--331, 64(1)55--66, 66(0)117--232, 66(1)45--53,
66(2)137--155, 66(2)181--203, 67(1)87--97, 68(1)37--47, 68(1)57--70,
69(2)117--242
-
Data, Processing-, 58(0)3--397, 58(1)57--68, 60(3)297--340,
62(0)3--233, 62(1)3--38, 66(0)117--232
-
data-driven, 45(1)1--61
-
Dataflow, 64(3)221--269
-
dataflow-like, 64(3)221--269
-
DATALOG, 63(3)253--274
-
DBMS, 58(1)57--68, 62(1)3--38, 62(1)105--122, 62(1)187--220,
62(3)251--266, 63(1)63--90, 69(1)1--53
-
DCF, 65(2)197--212
-
De Bakker, J., 60(2)109--176
-
De Bakker, J., see America, P.
-
de Bakker, J. W., 49(2)87--112
-
De Felice, C., 36(1)99--108
-
De Felice, Clelia, 58(1)103--128
-
de Felice, Clelia, 63(2)157--184
-
de Luca, A., 43(2)265--275
-
de Luca, Aldo, 63(3)333--348
-
de Maindreville, Christophe, 63(3)253--274
-
de Maindreville, Christophe, see Gardarin, Georges
-
de Simone, R., 37(3)245--267
-
de Vink, E. P., 57(2)251--282
-
de Vink, E. P., see Meyer, J.-J. C.
-
deadlock, 38(2)193--122, 39(2)155--169, 52(1)155--163, 59(3)235--257
-
deadlocked, 58(1)3--16
-
Deadlocking, 58(1)3--16
-
deBakker:1987:ISF, 49(2)87--112
-
debugging, 46(2)175--195, 50(3)285--321, 61(2)225--258, 66(3)299--321,
66(3)333--340, 69(2)117--242
-
decentralized, 43(2)277--291
-
decidability, 35(1)1--15, 35(2)191--214, 35(2)227--243, 35(2)329--336,
35(2)337--344, 36(2)173--202, 37(2)123--150, 38(1)117--122,
39(2)281--295, 41(1)51--59, 41(1)105--107, 41(2)247--269,
44(2)199--208, 44(2)237--245, 46(1)83--89, 47(1)27--38, 47(1)39--60,
47(1)71--84, 47(2)225--232, 47(3)247--262, 48(2)257--272,
48(2)329--337, 49(1)43--79, 51(3)255--264, 52(3)177--191,
53(2)243--255, 55(1)1--45, 55(2)141--181, 58(1)231--248,
59(3)287--296, 61(2)259--277, 61(2)289--297, 64(3)305--329,
64(3)343--350, 65(2)265--270, 66(1)55--63, 67(1)5--18, 67(1)19--35,
67(1)129--139, 67(2)143--172, 67(2)303--332, 68(3)267--276,
68(3)319--332, 68(3)343--346
-
decidable, 35(2)337--344, 41(2)223--230, 44(2)199--208, 46(1)83--89,
47(1)71--84, 49(1)43--79, 64(3)343--350, 65(2)265--270, 66(1)55--63,
67(1)19--35, 67(1)129--139, 68(3)319--332
-
decide, 41(1)51--59, 66(1)55--63
-
deciding, 38(2)343--347, 58(1)263--324, 67(1)19--35
-
deciphering, 68(3)253--265
-
decision, 38(1)69--82, 41(2)247--269, 43(1)81--89, 44(2)237--245,
47(1)39--60, 49(2)217--237, 53(1)67--97, 53(2)307--317,
54(2)215--236, 56(3)289--301, 58(1)155--174, 59(3)287--296,
67(2)143--172, 68(2)123--134, 68(3)319--332, 68(3)343--346
-
declarative, 42(2)123--249, 46(2)141--158, 59(1)133--155, 65(3)343--371,
69(3)289--318
-
decoding, 58(1)103--128
-
decomposition, 39(2)107--121, 40(2)245--255, 43(1)11--30, 46(1)47--51,
47(1)1--14, 47(3)277--298, 48(1)1--8, 58(1)175--181, 58(1)325--346,
61(1)17--24, 66(1)1--14
-
decreasing, non-, 64(3)331--342
-
decryption, 66(1)45--53
-
deduction, 51(3)309--324, 56(3)345--353, 57(1)3--45, 59(3)287--296,
65(1)1--33, 68(3)333--342
-
deductive, 36(2)251--264, 52(3)281--306, 69(1)1--53
-
DeFelice:1985:CFC, 36(1)99--108
-
DeFelice:1988:FBS, 58(1)103--128
-
deFelice:1989:CFF, 63(2)157--184
-
defense, 67(1)5--18
-
definability, 43(2)251--263, 61(2)289--297
-
definable, 52(1)1--14
-
defined, 39(2)135--153, 43(2)201--211, 44(2)127--153, 54(1)29--51,
57(1)113--129, 68(3)303--317
-
defined, recursively-, 54(1)29--51
-
definedness, 57(1)3--45
-
defining, 41(1)81--93, 57(1)97--111, 61(1)83--92
-
definite, 68(2)203--220
-
definition, 51(1)129--176, 55(2)141--181, 57(2)327--330, 67(1)65--73
-
degree, 35(2)227--243, 36(1)59--69, 39(2)207--224, 40(2)319--322,
46(2)329--338, 51(3)265--280, 58(1)3--16
-
degrees-rotation, 66(3)273--287
-
Dehn, 51(1)27--52
-
Dekking, F. M., 65(2)149--152
-
Dekking:1989:POL, 65(2)149--152
-
Del Cerro, L., Farinas, 36(2)251--264
-
del Cerro, Luis, Farinas, 65(1)1--33
-
delay, 40(1)3--11, 55(2)265--289, 68(3)253--265
-
delay, almost-equal-, 61(1)49--66
-
delaying, 56(3)277--288
-
Deleage, J.-L., 47(3)335--343
-
Deleage:1986:RID, 47(3)335--343
-
deletability, k-, 43(1)31--41
-
deletion, 65(1)1--33
-
Della Rocca, Simona, Ronchi, 59(1)181--209
-
delta, 48(1)75--94
-
deLuca:1986:SFS, 43(2)265--275
-
deLuca:1989:SCP, 63(3)333--348
-
demand, 47(2)205--218, 58(1)209--229
-
Demel, J., 36(2)203--216
-
Demel:1985:FAC, 36(2)203--216
-
Demlova, M., 36(2)203--216
-
Demlova, M., see Demel, J.
-
demonic, 43(2)123--147
-
demonstration, 43(1)91--98
-
den Akker, R., op, 66(1)65--85
-
den Broek, P. M., van, 61(1)67--81
-
denotational, 42(2)123--249, 43(2)123--147, 49(2)121--143,
51(3)309--324, 54(1)29--51, 56(1)59--133, 59(3)317--325,
60(2)109--176, 60(3)297--340, 68(1)37--47, 69(2)117--242
-
dense, 43(2)337--343, 44(1)107--110, 46(1)47--51, 61(2)121--136
-
density, 44(2)175--197, 49(2)283--309
-
dependency, 38(1)99--116, 39(2)239--265, 39(2)309--317, 41(2)271--287,
54(1)103--128, 62(0)3--233, 62(1)67--104, 62(1)105--122,
62(1)221--233
-
dependency-lattice, 54(1)103--128
-
dependent, 49(2)185--215, 49(2)z--z
-
depth, 36(2)239--250, 48(1)53--73, 58(1)361--378
-
depth, Bounded-, 36(2)239--250
-
depth, bounded-, 68(1)113--119
-
depth, constant-formula-, 62(3)311--317
-
depth, dot-, 58(1)361--378, 66(3)233--245
-
depth-first, 39(2)89--106, 47(3)277--298
-
deque, 40(2)163--174, 52(3)341--342
-
Der Heide, F., Meyer Auf, 41(2)325--330
-
der Heide, Friedhelm, Meyer auf, 58(1)57--68
-
der Poorten, A. J., van, 65(2)213--220
-
derivation, 37(2)217--243, 40(2)131--148, 44(3)275--305, 45(1)87--119,
49(1)23--42, 53(1)151--167, 57(2)205--224, 62(3)267--287,
65(3)291--342
-
derivation-oriented, 40(2)315--317
-
derivations, k-, 45(1)87--119
-
derivative, 35(2)295--312, 65(2)189--196
-
deriving, 43(2)315--335
-
Dershowitz, N., 67(2)173--201
-
Dershowitz, N., see Bachmair, L.
-
described, 58(1)155--174
-
description, 36(2)173--202, 60(1)1--82, 68(3)239--252
-
descriptive, 67(2)143--172
-
design, 37(2)183--216, 62(1)221--233, 64(2)175--189, 65(1)85--119,
68(2)175--202
-
designC4210, 61(1)49--66
-
Designing, 60(2)109--176
-
deSimone:1985:HLS, 37(3)245--267
-
desirability, 62(1)67--104
-
detecting, 47(1)85--93
-
detection, 36(2)231--237, 44(1)69--105, 47(1)61--69, 52(1)155--163,
57(1)131--145, 65(2)249--263
-
determinacy, 36(1)21--25
-
determinant, 54(1)65--85, 65(2)243--248, 65(2)z--z
-
determination, 56(1)3--15
-
determinism, 43(2)315--335, 48(2)283--296, 61(2)259--277
-
deterministic, 35(2)215--225, 36(1)89--97, 37(1)1--30, 37(2)123--150,
38(1)133--136, 38(2)323--341, 40(1)31--55, 40(1)57--66,
41(2)223--230, 41(2)305--318, 41(2)325--330, 42(3)251--368,
43(2)123--147, 43(2)337--343, 44(1)111--121, 46(2)219--237,
47(1)39--60, 47(2)149--158, 48(1)109--115, 48(1)117--126,
49(2)267--282, 52(1)77--89, 52(1)91--143, 52(3)269--280,
54(1)65--85, 61(1)25--32, 61(2)149--174, 64(1)39--53, 66(1)65--85,
66(3)273--287, 67(1)65--73
-
development, 59(0)3--209, 69(1)69--115
-
devices, 37(3)245--267, 65(1)35--83
-
Devillers, R., 43(2)213--238, 55(1)87--136
-
Devillers, R., see Best, E., \see{Janicki, R.
-
Dezani-Ciancaglini, M., 45(2)121--157
-
Dezani-Ciancaglini:1986:CFC, 45(2)121--157
-
DFP, 43(2)123--147
-
Di Battista, Giuseppe, 61(2)175--198
-
Diagnostic, 46(2)175--195, 50(3)285--321, 61(2)225--258, 66(3)299--321,
66(3)333--340, 69(2)117--242
-
diagonal, 65(2)197--212, 65(2)z--z
-
diagonalization, 36(1)119--125, 38(2)143--156, 51(1)177--204
-
diagram, 36(1)1--19, 37(2)183--216, 47(1)39--60, 61(2)175--198,
64(3)221--269
-
diagrams, flow-, 60(1)83--108
-
diamond, 52(3)205--237
-
Diaz, J., 52(3)251--267
-
Diaz, J., see Balcazar, J. L.
-
DiBattista:1988:APR, 61(2)175--198
-
Dicky, A., 46(2)285--303
-
Dicky:1986:AAM, 46(2)285--303
-
dictionary, 58(1)57--68
-
Diekert, V., 44(2)199--208, 46(2)313--318, 46(2)319--327
-
Diekert, Volker, 66(2)117--136
-
Diekert:1986:CMC, 46(2)319--327
-
Diekert:1986:CST, 44(2)199--208
-
Diekert:1986:SVE, 46(2)313--318
-
Diekert:1989:KBC, 66(2)117--136
-
Dietzfelbinger, Martin, 66(2)137--155
-
Dietzfelbinger:1989:LBS, 66(2)137--155
-
Dieu, Phan Dinh, 46(2)219--237
-
Dieu:1986:APT, 46(2)219--237
-
difference, 58(1)143--154
-
different, 40(1)57--66
-
difficulty, 41(1)81--93
-
digit, 64(2)191--201
-
digital, 57(0)3--159, 58(1)143--154, 58(1)183--199, 61(1)49--66,
63(2)203--221, 64(1)83--96, 64(2)135--157, 64(2)175--189,
64(3)221--269, 64(3)281--304
-
Digital--Distributed, 64(1)67--81, 64(1)125--132
-
Digital--Parallel, 58(1)249--261, 58(1)347--359, 59(3)277--286,
59(3)297--307, 61(2)121--136, 61(2)199--224, 64(2)159--173,
64(2)191--201, 64(3)271--280, 66(0)117--232, 66(2)117--136
-
Digital--Performance, 64(2)175--189, 64(2)203--219
-
digraph, 48(2)273--281, 58(1)325--346, 61(2)175--198
-
Diks, K., 36(2)319--331
-
Diks:1985:EBT, 36(2)319--331
-
dilation-cost, 36(2)319--331
-
Dilemma, 67(1)5--18
-
DIlemmas, 56(3)321--338
-
dimension, 41(2)125--139, 49(2)239--265
-
dimensional, 37(1)51--75, 46(2)107--140
-
dimensional, 3-, 41(2)141--167
-
dimensional, d-, 59(3)259--276
-
dimensional, finite-, 65(2)243--248
-
dimensional, one-, 64(3)343--350
-
dimensional, three-, 49(1)81--84
-
dimensional, Two-, 57(1)47--86
-
dimensional, two-, 49(1)81--84, 57(1)47--86, 65(2)213--220,
66(3)273--287, 67(1)99--110
-
dimensional, zero-, 43(1)59--79
-
dining, 36(1)27--58, 38(1)1--16
-
direct, 45(2)159--192, 64(1)39--53
-
directed, 39(2)155--169, 40(2)149--162, 41(2)141--167, 41(2)185--213,
43(1)99--105, 44(3)275--305, 44(3)307--331, 45(3)261--292,
47(2)205--218, 47(3)315--321, 48(2)273--281, 52(1)37--58,
52(1)155--163, 55(1)87--136, 56(2)223--231, 58(1)325--346,
60(1)1--82, 61(2)175--198, 61(2)307--316, 63(2)223--237,
64(2)191--201
-
directed, syntax-, 58(1)347--359
-
disambiguating, 63(1)91--111
-
discipline, 45(2)121--157, 59(1)181--209
-
discrete, 40(2)275--300, 47(3)329--334, 51(3)331--339, 52(3)269--280,
54(2)215--236, 57(2)317--325, 63(2)185--202, 66(1)105--111
-
disjoint, 41(1)61--80, 46(1)47--51, 63(3)303--331, 68(2)155--173
-
disjointness, 49(2)267--282
-
disjunction, 38(1)55--68
-
disjunctive, 39(2)297--308, 46(1)47--51
-
distance, 38(2)293--306, 60(3)231--254
-
distinct, 55(2)291--348
-
distinction, 46(1)13--45
-
distinctness, 47(3)237--246
-
distributed, 37(2)183--216, 39(1)47--68, 43(2)277--291, 49(2)145--169,
49(2)171--184, 49(2)267--282, 49(2)z--z, 52(1)155--163,
52(3)193--203, 53(2)281--293, 54(1)53--64, 58(0)3--397,
58(1)249--261, 61(2)121--136, 63(1)63--90, 64(1)125--132,
64(3)221--269, 64(3)281--304, 68(2)203--220
-
Distributed, Digital-, 64(1)67--81, 64(1)125--132
-
distribution, 43(2)169--188, 46(2)219--237, 53(1)99--124, 53(2)281--293,
58(1)143--154, 64(2)203--219
-
distributive, 63(3)275--294
-
divergence, 53(2)225--241
-
divergent, 67(2)303--332
-
divisibility, 35(2)245--260, 57(2)239--249
-
divisors, 64(1)15--23
-
DL, 51(3)255--264
-
DLOG, 36(2)341--344
-
DNA, 64(1)107--118
-
domain, 36(1)1--19, 36(1)127--137, 37(3)305--336, 41(1)109--112,
45(2)159--192, 48(2)229--255, 52(3)281--306, 54(1)3--28,
54(1)29--51, 61(1)67--81, 68(1)37--47, 68(3)221--237, 68(3)303--317
-
Domain-independent, 52(3)281--306
-
dominance, 53(2)345--352, 67(1)37--54
-
dominating, 53(2)257--265, 61(2)307--316
-
domination, 54(2)181--198
-
Domosi, P., 47(1)1--14, 61(1)17--24
-
Domosi, P., see Esik, Z.
-
Domosi:1988:CCP, 61(1)17--24
-
Doshi, Kshitij, 58(1)379--397
-
Doshi, Kshitij, see Varman, Peter
-
Doshita, S., 51(3)309--324
-
Doshita, S., see Yamasaki, S.
-
Dot, 58(1)361--378
-
dot-depth, 58(1)361--378, 66(3)233--245
-
double-infinite, 58(1)103--128
-
doubly, 44(1)107--110
-
Dowling, W. F., 44(3)307--331
-
Dowling:1986:CSF, 44(3)307--331
-
down, push-, 48(2)201--228
-
down, top-, 53(1)125--150, 68(2)175--202
-
DPDAs, 41(2)223--230, 48(2)153--181
-
Drabent, Wlodzimierz, 59(1)133--155
-
Drabent:1988:IAM, 59(1)133--155
-
drawings, 61(2)175--198
-
driven, data-, 45(1)1--61
-
driven, event-, 63(1)63--90
-
Droste, M., 68(1)37--47
-
Droste:1989:ESD, 68(1)37--47
-
D/sup, 47(1)85--93
-
DT0L, 35(1)1--15, 48(2)283--296
-
Du, D.-Z., 47(3)263--276
-
Du, D.-Z., see Ko, Ker-I
-
Du, Ding-Zhu, 61(2)103--119, 63(3)239--252
-
Du, Ding-Zhu, see Book, Ronald V.
-
Du:1989:ISC, 63(3)239--252
-
Dual, 64(1)107--118
-
duality, 66(2)181--203
-
Duba, B., 52(3)205--237
-
Duba, B., see Felleisen, M.
-
Duboc, C., 46(2)159--174, 48(2)183--199
-
Duboc:1986:MPA, 48(2)183--199
-
Duboc:1986:SEF, 46(2)159--174
-
Duchamp, G., 57(2)239--249
-
Duchamp:1988:TTP, 57(2)239--249
-
Dumont, J.-M., 65(2)153--169
-
Dumont:1989:SNR, 65(2)153--169
-
Dunne, P. E., 44(3)247--257, 66(1)15--25
-
Dunne:1986:CCS, 44(3)247--257
-
Dunne:1989:MSN, 66(1)15--25
-
Duprat, J., 67(1)115--120
-
Duprat, J., see Cosnard, M.
-
Duske, J., 47(2)219--223, 49(1)23--42
-
Duske, J., see Parchmann, R.
-
Duval, Jean-Pierre, 60(3)255--283
-
Duval:1988:GSC, 60(3)255--283
-
Dyck, 35(2)261--269, 36(1)109--112, 47(3)335--343, 49(1)23--42,
51(3)301--308
-
Dyck-reduction, 35(2)271--293
-
Dymond, P. W., 47(2)111--120
-
Dymond:1986:NPC, 47(2)111--120
-
dynamic, 36(1)71--87, 37(2)217--243, 39(2)89--106, 41(1)19--32,
44(1)107--110, 45(1)87--119, 46(2)239--259, 48(2)135--144,
59(3)259--276, 59(3)297--307, 61(2)259--277, 63(3)295--302,
64(1)107--118, 65(2)131--141, 65(2)243--248, 65(2)z--z,
68(3)277--302
-
dynamical, 44(1)17--49, 54(2)315--324, 65(2)213--220