Index file section D for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
D
-
d, K-, 33(1)107--116
-
D-continuous, 28(1)171--196
-
d-dimensional, 21(2)145--161, 28(1)1--12
-
D0L, 10(1)45--52, 10(1)107--108, 12(3)339--342, 16(1)25--32,
18(3)279--300, 29(3)285--308, 31(1)139--149, 33(2)239--240
-
D0L-sequences, 10(1)107--108
-
D0S, 21(1)75--90
-
Daley, R. P., 24(1)95--104
-
Daley:1983:ECP, 24(1)95--104
-
Damm, W., 20(2)95--207
-
Damm:1982:IOH, 20(2)95--207
-
Dare, R., 24(2)195--205
-
Dare, R., see Siromoney, R.
-
Dare, V. R., 33(1)3--11
-
Dare, V. R., see Siromoney, R.
-
data, 11(2)145--165, 12(3)325--332, 13(1)109--136, 14(1)19--37,
14(3)305--315, 16(1)93--98, 16(1)99--110, 16(3)279--290,
17(2)113--149, 17(3)317--331, 18(1)1--31, 19(3)321--330, 20(1)3--32,
20(3)209--263, 20(3)265--321, 22(3)297--315, 23(1)11--36,
24(1)73--94, 24(3)221--237, 25(1)1--66, 26(3)243--286,
27(1)167--196, 27(3)255--286, 28(1)45--81, 28(1)215--221,
29(1)75--85, 30(2)139--204, 32(1)77--86, 33(1)95--105,
33(1)107--116, 33(1)z--z, 33(2)139--174, 33(2)195--238,
34(3)289--313, 34(3)315--335, 34(3)343--350
-
data-type, 34(3)289--313
-
database, 10(1)93--105, 17(3)317--331, 19(1)69--84, 19(2)143--160,
19(3)267--285, 22(1)175--194, 23(1)11--36, 24(2)143--159,
26(1)149--195, 26(3)243--286, 32(1)77--86, 32(1)185--199,
33(1)95--105, 33(1)107--116, 34(1)215--225, 34(3)315--335,
34(3)343--350
-
dataflow, 13(1)3--15
-
datum, 15(2)213--221
-
DBMS, 10(1)93--105, 22(1)175--194, 23(1)11--36, 26(3)243--286
-
DCFLs, 25(2)171--192
-
de Bakker, J. W., 26(1)53--82, 34(1)135--156
-
de Bruijn, N. G., 32(3)309--319
-
de Luca, A., 10(2)157--170, 12(3)325--332, 24(1)21--34
-
de Luca, A., see Boe, J. M.
-
de Nicola, R., 34(1)83--133
-
De Simone, R., 31(1)83--100
-
de Simone, R., 30(1)133--138
-
de Wiele, J. P., Van, 10(1)1--18
-
deadlines, 17(2)213--216
-
deadlock, 13(1)3--15, 18(2)149--171, 32(1)25--46
-
death, 23(2)107--127
-
deBakker:1983:ICD, 26(1)53--82
-
deBakker:1984:LTB, 34(1)135--156
-
deBruijn:1984:SMD, 32(3)309--319
-
decidability, 10(2)133--155, 11(3)331--335, 12(3)291--302,
15(3)329--338, 16(1)5--24, 17(1)99--102, 17(2)163--191,
17(2)193--212, 18(1)69--87, 18(3)279--300, 19(1)17--28, 19(1)29--38,
19(2)219--227, 19(3)231--251, 19(3)331--335, 21(2)119--144,
23(1)37--48, 23(1)49--68, 23(3)231--242, 23(3)333--337,
23(3)339--345, 24(3)301--312, 24(3)313--322, 25(2)171--192,
26(1)131--147, 26(1)233--241, 27(1)3--38, 27(1)39--60,
29(1)185--227, 31(1)165--174, 32(3)261--277, 32(3)297--307,
33(2)261--278, 34(3)255--274
-
decidable, 12(3)291--302, 15(3)329--338, 17(2)163--191, 17(2)193--212,
17(3)303--315, 18(1)69--87, 19(3)331--335, 21(2)119--144,
23(3)231--242, 24(3)301--312, 24(3)313--322, 26(1)233--241,
32(3)297--307
-
deciding, 11(3)277--301, 33(2)305--326
-
decision, 11(1)71--77, 11(2)123--143, 17(2)213--216, 19(3)321--330,
23(1)49--68, 23(3)333--337, 24(3)301--312, 24(3)313--322,
26(1)83--103, 27(1)3--38, 27(3)333--354, 29(1)185--227, 31(1)1--11,
32(1)173--183, 32(3)279--295, 32(3)297--307, 33(2)305--326
-
decisively, 21(2)163--178
-
decomposition, 14(3)211--226, 19(1)39--67, 19(2)143--160, 28(1)223--233
-
Dedekind, 28(1)171--196
-
deduction, 29(1)27--39
-
deductive, 27(3)333--354, 33(1)95--105, 33(1)z--z
-
definability, 24(3)239--277, 25(1)1--66
-
definable, 33(2)195--238
-
defined, 14(3)305--315, 23(3)287--304, 32(3)309--319, 32(3)339--340,
33(1)13--43
-
defining, 16(1)61--73, 21(3)351--355
-
definition, 12(2)175--192, 13(2)151--174, 19(3)267--285, 21(3)281--313,
28(1)171--196, 30(1)133--138
-
degree, 32(1)87--120, 33(2)261--278
-
delay, 16(3)307--319, 33(1)65--84
-
Delest, M.-P., 34(1)169--206
-
Delest:1984:ALP, 34(1)169--206
-
Della Rocca, S., Ronchi, 28(1)151--169
-
deLuca:1980:SPV, 10(2)157--170
-
deLuca:1983:CL, 24(1)21--34
-
Denenberg, L., 30(3)319--341
-
Denenberg:1984:CSP, 30(3)319--341
-
deNicola:1984:TEP, 34(1)83--133
-
denotational, 18(2)173--206, 20(2)95--207, 20(3)265--321, 23(2)187--210,
26(1)53--82, 27(3)297--310, 32(1)25--46, 32(1)121--156,
33(2)279--304, 34(1)33--82
-
denotations, 33(2)279--304
-
dense, 17(1)29--41, 17(2)151--161
-
density, 34(1)17--32
-
departure, 23(2)107--127
-
dependency, 10(1)93--105, 13(1)3--15, 17(3)317--331, 19(2)143--160,
22(1)175--194, 24(2)143--159, 24(3)323--329, 26(1)149--195,
26(3)243--286, 32(1)185--199, 33(1)95--105, 33(1)z--z,
34(3)315--335, 34(3)343--350
-
dependent, Oracle-, 24(3)279--289
-
dependent, oracle-, 24(3)279--289
-
depth, 13(2)137--150, 18(1)105--111, 23(2)155--169, 27(1)3--38,
32(1)157--172, 32(1)215--219
-
depth-reduction, 18(1)89--93
-
Der Heide, F., Meyer Auf, 13(3)315--322
-
derivability, 16(2)199--210
-
derivation, 11(3)247--275, 12(2)193--228, 19(2)117--141, 31(1)211--223
-
derivative, 15(2)159--179, 22(3)317--330
-
Dershowitz, N., 17(3)279--301
-
Dershowitz:1982:OTR, 17(3)279--301
-
descendant, 19(3)231--251
-
describing, 13(1)17--43
-
description, 14(3)227--246, 21(3)315--340, 32(3)309--319
-
descriptional, 22(1)71--93, 28(3)299--314
-
design, 13(1)17--43
-
design, parallel-, 32(1)157--172
-
DeSimone:1984:IMP, 31(1)83--100
-
deSimone:1984:MSI, 30(1)133--138
-
detection, 22(3)297--315, 24(2)179--194, 24(3)221--237, 27(3)241--253
-
determinacy, 34(1)227--240
-
determinant, 22(3)317--330
-
Determinateness, 21(2)231--235
-
Determining, 12(3)255--263
-
determinism, 26(1)225--231
-
deterministic, 10(3)317--333, 11(2)181--205, 11(3)227--245, 12(1)61--81,
12(3)333--338, 13(3)295--314, 13(3)323--330, 14(1)91--101,
14(2)155--186, 15(2)181--200, 15(3)251--277, 16(1)75--91,
16(2)149--175, 17(2)229--231, 18(1)1--31, 18(1)69--87,
19(2)219--227, 21(1)1--25, 21(1)27--37, 21(1)39--53, 21(1)105--111,
21(2)145--161, 21(2)213--224, 22(1)57--69, 23(1)37--48,
23(2)107--127, 23(2)129--154, 23(2)211--215, 23(3)287--304,
24(2)123--130, 24(3)313--322, 25(1)1--66, 26(1)1--24, 26(1)221--223,
26(1)225--231, 27(1)127--165, 27(1)197--209, 28(1)111--133,
28(1)223--233, 30(2)205--239, 31(3)317--335, 32(1)61--76,
32(1)87--120, 32(1)121--156, 32(3)331--337, 33(1)3--11, 33(1)z--z,
33(2)139--174, 33(2)335--342, 34(1)17--32, 34(3)255--274
-
device, 16(3)307--319
-
Dezani, Coppo-, 28(1)235--236
-
diagonal, 18(1)95--103
-
diagonalization, 11(3)277--301, 26(3)327--333
-
diagonalize, 18(1)95--103
-
diagram, 15(2)159--179
-
diameter, 19(1)1--16
-
Diaz, J., 21(1)99--103
-
Diaz, J., see Berenguer, X.
-
differ, 21(2)163--178
-
different, 34(1)17--32
-
differential, 31(1)125--138
-
differentiation, 22(3)317--330
-
difficulty, 14(1)1--17
-
digit, 23(3)287--304
-
digital, 12(1)97--108, 16(1)99--110, 19(1)17--28, 23(2)107--127,
24(1)35--52, 24(2)123--130
-
digraphs, 32(1)215--219
-
Dijkstra, 13(2)175--192
-
dilation, 11(2)145--165
-
dimension, 11(1)93--106
-
dimensional, 15(2)201--211, 19(3)305--320, 27(3)255--286
-
dimensional, d-, 21(2)145--161, 28(1)1--12
-
dimensional, e-, 21(2)145--161
-
dimensional, n-, 19(3)305--320, 23(2)107--127
-
dimensional, three-, 23(1)37--48
-
dimensional, Two-, 24(2)179--194, 27(1)61--83
-
dimensional, two-, 24(2)161--177, 24(2)179--194, 24(3)331--336,
27(1)61--83
-
Dining, 24(1)1--20
-
Diophantine, 21(3)255--267
-
direct, 19(3)331--335, 22(3)253--264, 23(2)129--154, 32(1)87--120,
32(3)297--307, 33(1)117--138
-
directed, 10(2)111--121, 13(3)315--322, 18(1)89--93, 19(1)39--67,
19(1)69--84, 22(3)233--251, 30(3)241--318, 32(1)215--219,
32(3)309--319
-
direction, 24(1)1--20
-
discrete, 10(2)187--220, 21(3)315--340, 22(3)233--251, 23(2)107--127
-
discriminant, 22(3)317--330
-
disjoint, 11(2)167--180, 14(1)119--123
-
disjoint, edge-, 32(1)185--199
-
disjunctions, 11(2)123--143
-
disjunctive, 26(3)287--300
-
dissidence, 24(2)143--159
-
distance, 19(1)1--16
-
distinct, 23(1)95--101, 34(3)275--288
-
distinguished, 13(3)315--322
-
distributed, 13(1)17--43, 13(1)61--83, 13(1)109--136, 24(1)1--20,
25(3)267--310, 29(3)231--250, 30(3)241--318, 32(1)25--46,
32(1)157--172, 34(1)215--225
-
distributed-implementation, 32(1)157--172
-
distribution, 12(1)19--37, 23(2)107--127, 33(2)239--240
-
distributive, 32(1)121--156
-
distributivity, 32(1)121--156
-
divergence, 14(3)247--265, 27(1)3--38
-
divisibility, 31(1)125--138
-
division, 11(2)207--220, 15(2)201--211, 24(1)35--52, 28(3)263--276
-
divisors, 19(1)17--28
-
Djahromi, N., Saheb-, 12(1)19--37
-
DLP, 20(1)3--32
-
Dobkin, D., 12(3)255--263
-
Dobkin, D. P., 11(1)1--18, 27(3)241--253
-
Dobkin:1980:CLP, 11(1)1--18
-
Dobkin:1980:DM, 12(3)255--263
-
Dobkin:1983:FDP, 27(3)241--253
-
documentation, 30(2)139--204
-
DOL, 19(1)29--38, 21(3)357--361, 23(1)83--89
-
domain, 13(1)85--108, 16(1)93--98, 23(1)11--36, 26(1)149--195,
27(1)109--119, 27(1)167--196, 29(1)155--166, 32(1)25--46,
33(2)195--238, 33(2)279--304, 34(1)135--156, 34(3)275--288
-
dominoes, 18(3)279--300
-
dot, 13(2)137--150
-
double, 11(3)303--320
-
doubly, 33(1)107--116
-
dP, 18(1)69--87
-
DPDA, 14(2)155--186
-
DPDAs, 31(3)317--335, 34(3)255--274
-
Drosten, K., 34(3)289--313
-
Drosten, K., see Gogolla, M.
-
DTM, 24(2)123--130
-
DTOL, 19(1)29--38
-
dual, 16(2)211--221, 34(3)343--350
-
duality, 16(2)211--221
-
Duris, P., 21(1)39--53, 27(1)121--125
-
Duris:1982:FTW, 21(1)39--53
-
Duris:1983:OWS, 27(1)121--125
-
Duske, J., 32(1)47--60
-
Duske:1984:LIL, 32(1)47--60
-
Dutton, R. D., 17(2)213--216
-
Dutton:1982:CMT, 17(2)213--216
-
Dybjer, P., 33(1)95--105
-
Dybjer:1984:SRD, 33(1)95--105
-
Dyck, 22(3)253--264
-
dynamic, 12(1)61--81, 13(3)331--336, 14(1)113--118, 16(3)321--328,
17(2)193--212, 17(3)259--278, 17(3)343--347, 18(3)301--323,
21(2)145--161, 21(2)179--212, 27(1)127--165, 27(1)197--209,
27(3)333--354