Index file section D for tcs1975.bib
Last update: Thu Sep 27 02:46:39 MDT 2018
Return to index directory
D
-
d, 2(2)249--269
-
D0L, 1(4)317--323, 2(3)317--322, 3(1)75--84, 3(3)283--292, 7(2)169--183,
8(1)57--68, 9(2)363--375
-
D0L-systems, 3(1)75--84
-
Daley, R., 4(3)301--319
-
Daley:1977:IOD, 4(3)301--319
-
Dash, 5(2)129--134
-
data, 1(2)185--190, 1(4)355--361, 5(2)113--128, 5(3)275--305,
7(1)99--116, 8(1)13--30, 8(1)89--127, 8(2)203--225, 9(2)153--172
-
Davis, 4(1)23--46
-
Davis--Putnam, 4(1)23--46
-
De Bakker, J. W., 2(2)155--181
-
de Groote, H. F., 7(1)1--24, 7(2)127--148, 7(3)239--249
-
DeBakker:1976:LFP, 2(2)155--181
-
decidability, 2(1)73--76, 2(1)77--95, 2(2)133--145, 3(1)75--84,
3(1)85--104, 3(3)283--292, 4(1)83--98, 4(1)99--119, 4(2)199--225,
4(3)245--276, 4(3)321--349, 6(2)223--231, 6(3)317--325,
7(2)169--183, 8(2)135--159, 8(2)203--225, 9(2)173--205,
9(2)207--220, 9(2)377--384
-
decidable, 3(2)261--266, 4(1)99--119, 4(2)199--225, 4(3)321--349,
7(2)169--183, 8(2)135--159
-
decision, 3(1)85--104, 3(3)305--320, 4(2)227--233, 6(2)223--231,
6(3)317--325, 7(3)333--339, 8(1)69--72
-
decomposition, 1(3)199--214, 1(3)227--235, 2(3)383--396, 8(2)261--263
-
definition, 4(1)1--22, 5(2)113--128, 5(3)257--274, 6(2)109--141,
9(2)243--256
-
degree, 1(1)77--91, 2(1)73--76, 3(2)267--272
-
deGroote:1978:VOAa, 7(1)1--24
-
deGroote:1978:VOAb, 7(2)127--148
-
deGroote:1978:VOAc, 7(3)239--249
-
delay, 1(2)95--101
-
denotational, 4(1)1--22, 5(3)223--255
-
densest, 6(1)93--107
-
dependencies, 5(2)113--128
-
depth, 2(3)397--400
-
derivation, 2(1)9--27
-
derivative, 1(1)21--25
-
describable, 1(4)331--354
-
description, 4(2)143--153, 4(3)301--319
-
designs, 5(1)1--23
-
deterministic, 1(1)59--75, 1(4)297--316, 2(1)49--71, 3(1)105--117,
3(3)305--320, 4(1)83--98, 4(2)143--153, 4(2)199--225, 4(3)245--276,
6(3)255--279, 7(1)25--55, 7(3)333--339, 8(3)395--399, 9(2)287--309
-
developmental, 1(1)59--75
-
Dezani-Ciancaglini, M., 2(3)323--337, 8(3)271--291
-
Dezani-Ciancaglini, M., see Bohm, C.
-
Dezani-Ciancaglini:1976:CNF, 2(3)323--337
-
diagonalization, 8(2)239--253
-
differentiation, 1(1)21--25
-
digital, 1(1)1--12, 3(3)321--348, 4(2)227--233, 4(2)235--z, 5(2)219--z,
5(3)321--324, 7(3)251--261, 7(3)311--324, 9(1)1--16
-
Dijkstra, 4(1)59--76, 9(2)265--286
-
dimensional, 7(2)217--236, 8(1)45--55, 8(2)135--159
-
diophantine, 6(3)317--325
-
direct, 4(3)321--349
-
directed, 1(3)237--267, 4(3)277--299
-
directionality, 1(1)27--57
-
discrimination, 8(3)271--291, 8(3)393--394
-
disjoint, 1(4)355--361, 2(3)383--396, 6(3)281--315
-
disjunction, 1(1)13--20, 7(3)325--332
-
distribution, 3(1)51--59, 9(1)99--125
-
divisions, 1(1)21--25, 7(3)251--261
-
Dobkin, D., 3(3)349--357
-
Dobkin, D., see Lipton, R. J.
-
Dolev, D., 8(3)379--391
-
Dolev:1979:CPG, 8(3)379--391
-
domain, 5(3)257--274
-
down, 7(1)25--55
-
DP0L, 6(2)143--173
-
DPDA, 4(2)143--153
-
D=R, 3(1)35--49
-
DT0L, 9(2)207--220, 9(2)363--375
-
dual, 7(2)217--236, 9(1)127--140
-
Duval, J.-P., 9(1)17--26
-
Duval:1979:RBG, 9(1)17--26
-
Dyck, 7(3)311--324