Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
D
-
d'Horizon, 35(1)67--89
-
D'Ortenzio, Domenicantonio, 38(4)377--395
-
D'Ortenzio, Domenicantonio, see Corradini, Flavio
-
D0L, 38(1)201--208
-
danger, 30(2)151--160
-
Daniel-Vatonne, Marie-Catherine, 25(2)99--121
-
Daniel-Vatonne, Marie-Catherine,
see De La Higuera, Colin
-
Da{\'n}ko, Wiktor, 19(3)417--431
-
Danko:1993:SPA, 19(3)417--431
-
Darondeau, P., 13(3)353--386
-
Darondeau, Philippe, 14(2)221--234
-
Darondeau:1990:IBI, 13(3)353--386
-
Darondeau:1991:ASA, 14(2)221--234
-
Dassow, Jürgen, 22(3)217--226, 36(2)183--200
-
Dassow:1995:GCC, 22(3)217--226
-
Dassow:1998:ROS, 36(2)183--200
-
Data, 27(1)57--76, 27(2)229--243, 28(3)353--376, 30(3)373--382,
34(1)129--144, 40(1)53--77
-
database, 13(1)35--49, 14(2)147--183, 14(3)367--385, 19(3)235--274,
26(1)31--57, 27(4)319--348, 40(1)17--30, 40(1)31--51
-
Dataflow, 22(1)167--185
-
Daubechies, 34(4)455--467
-
DAWN, 37(3)201--211
-
De Glas, Michel, 17(4)333--362
-
De Glas, Michel, see Akdag, Herman
-
De Haas, Erik, 27(2)221--227
-
De Haas, Erik, see Pomykala, Janusz
-
De Jong, Kenneth, 35(1)247--259
-
De La Higuera, Colin, 25(2)99--121
-
De Nicola, Rocco, 27(4)349--383
-
De Nicola, Rocco, see Corradini, Flavio
-
de Vink, E. P., 20(1)3--34, 40(4)335--382
-
de Vink, E. P., see Bakker, J. W. de,
see Hartog, J. I. den
-
Deadline, 40(2)199--219
-
deadlock, 37(3)247--268
-
Deaton, Russell, 35(1)231--245
-
Deaton:1998:DCR, 35(1)231--245
-
deBakker:1994:BSC, 20(1)3--34
-
decidability, 17(1)117--155, 30(1)11--30, 38(1)209--221
-
Decidability, Un-, 25(3)295--325
-
decidable, 19(3)417--431
-
Decision, 21(4)391--401, 22(3)203--215, 25(2)201--214, 27(2)197--203,
27(2)255--271, 30(3)345--358, 31(1)49--64, 31(2)145--156,
31(2)157--184, 32(3)341--348, 34(1)145--174, 37(1)1--30,
39(4)337--357, 40(4)317--333
-
Decision-Making, 30(3)269--281
-
Declarative, 25(1)39--48
-
Decompositions, 38(1)51--60
-
Deduction, 24(1)177--207, 26(1)81--94, 33(1)85--103
-
Deductive, 40(1)17--30, 40(1)31--51
-
default, 13(4)485--499, 14(3)345--353, 17(1)99--116, 20(1)145--192,
21(1)23--38, 21(1)39--66, 21(1)67--87, 21(1)103--112, 21(1)149--159,
23(1)33--65, 23(1)123--143, 23(2)175--223, 28(3)377--402,
31(3)221--236, 32(2)139--147, 40(1)79--102
-
Defeasible, 21(1)125--148
-
Defect, 38(1)119--133
-
Definability, Net-, 37(3)213--223
-
defined, 19(3)275--301, 24(4)333--357, 33(3)249--264
-
Defining, 26(3)407--431, 31(3)237--252
-
Definitional, 29(1)165--201
-
Definitions, 40(1)1--16
-
Degano, Pierpaolo, 14(2)221--234, 22(3)299--306
-
Degano, Pierpaolo, see Darondeau, Philippe
-
Degano:1995:FP, 22(3)299--306
-
Degenerate, 22(1)23--52
-
Degree, 28(3)247--259
-
DeJong:1998:ECW, 35(1)247--259
-
deKogel:1995:RAE, 23(1)101--121
-
DeLaHiguera:1996:STS, 25(2)99--121
-
delCerro:1999:TBD, 40(4)317--333
-
Deletion, 19(3)355--370
-
Delivery, 35(1)113--123
-
Deluge, 30(3)283--297
-
Dembi{\'n}ski, Piotr, 29(1)27--50
-
Dembinski:1997:STC, 29(1)27--50
-
Deneva, Ana, 31(3)295--304
-
Deneva:1997:MLL, 31(3)295--304
-
denHartog:1999:FAM, 40(4)335--382
-
denotational, 16(2)149--169, 16(3)201--229, 28(1)55--85
-
Density, 40(4)317--333
-
Deontic, 21(1)125--148
-
dependence, 16(3)263--273, 16(3)275--287, 19(3)343--353, 25(3)247--256,
27(1)77--100, 29(4)369--382
-
Dependencies, 19(3)235--274, 24(3)303--312, 28(1)37--54, 29(1)119--133
-
Dependent, Type-, 22(1)69--92
-
Depth, 22(3)203--215, 27(2)197--203, 31(2)145--156, 38(1)93--107
-
Derencourt, D., 25(3)285--293
-
Derencourt:1996:CPW, 25(3)285--293
-
Derivation, 25(3)381--397
-
derivational, 17(4)363--368
-
derivations, 14(2)255--259
-
Deriving, 30(1)109--123
-
Describing, 40(2)109--124
-
description, 16(2)149--169, 16(3)289--336, 39(4)411--438
-
Designing, 28(1)37--54
-
Designs, 31(1)79--105
-
Detail, 34(4)369--388
-
Detection, 31(2)195--212
-
Determination, 37(1)177--199
-
Deterministic, 22(4)309--329, 25(2)201--214
-
Devillers, Raymond, 40(2)199--219
-
Devillers:1999:GRT, 40(2)199--219
-
Dezani-Ciancaglini, Mariangiola, 32(3)193--250, 38(4)325--364
-
Dezani-Ciancaglini, Mariangiola, see Alessi, Fabio,
see Bono, Viviana
-
DF0L, 38(1)201--208
-
Di Gesù, Vito, 37(1)101--119
-
Diagnosis, 31(1)79--105
-
diagram, 19(3)417--431
-
Dialogues, 23(2)355--370
-
Diamond, 14(3)287--300
-
Diekert, Volker, 36(2)145--182
-
Diekert, Volker, see Bérard, Béatrice
-
Diekert, Volkert, 25(3)241--246
-
Diekert:1996:NMC, 25(3)241--246
-
Different, 22(4)331--352
-
Differential, 37(1)121--136
-
Diffusion, Clause-, 24(1)177--207
-
DiGesu:1999:AVS, 37(1)101--119
-
Diks, Krzysztof, 32(3)313--328
-
Diks, Krzysztof, see Chlebus, Bogdan S.
-
Dillon, L. K., 24(4)313--331
-
Dillon, L. K., see Kutty, G.
-
Dimensional, Two-, 25(3)399--422
-
Dimov, Georgi, 33(1)43--70
-
Dimov:1998:SCS, 33(1)43--70
-
Ding, Cunsheng, 38(1)149--161
-
Ding:1999:CEA, 38(1)149--161
-
direction, 30(2)125--149
-
Discovery, 27(2)299--318, 28(3)353--376
-
Discrete, 29(1)51--76
-
Disjunctive, 20(1)145--192, 28(1)87--100, 32(3)349--357, 40(1)31--51
-
Disjunctive, Non-, 28(1)87--100
-
Dissemilattices, 31(1)65--77
-
distance, 22(4)331--352
-
Distinguishability, 38(1)79--91
-
distributed, 15(3)381--397, 17(4)369--397, 24(1)177--207, 30(3)325--344,
34(3)323--346, 35(1)211--230, 36(2)103--107, 37(3)201--211,
37(3)291--309
-
Distribution, 32(3)313--328, 36(4)307--315
-
distributive, 13(3)317--332, 20(4)333--352, 22(1)187--202,
24(3)209--250, 25(3)271--284
-
Diversity, 24(1)25--46
-
Division, 31(3)379--400
-
Dix, Jürgen, 22(3)227--255, 22(3)257--288, 28(1)87--100
-
Dix:1995:CTSa, 22(3)227--255
-
Dix:1995:CTSb, 22(3)257--288
-
Dix:1996:RDN, 28(1)87--100
-
DKBS, 30(3)313--324
-
DNA, 35(1)231--245
-
Doherty, Patrick, 28(3)261--271, 36(1)23--55, 40(1)17--30
-
Doherty:1996:RRC, 28(3)261--271
-
Doherty:1998:GDC, 36(1)23--55
-
Doherty:1999:MQD, 40(1)17--30
-
domain, 13(3)333--351, 22(1)93--116, 24(3)259--281, 36(1)23--55
-
Domain-theoretic, 32(3)251--266
-
Double-pushout, 30(2)193--226
-
Dovier, Agostino, 36(2)201--234
-
Dovier:1998:UAV, 36(2)201--234
-
Down, Top-, 20(4)285--332
-
down, Top-, 39(1)123--143
-
downward, 13(1)67--83
-
Doyle, Jon, 20(1)35--73
-
Doyle:1994:RAR, 20(1)35--73
-
Drewes, F., 25(3)295--325
-
Drewes, Frank, 26(3)267--285
-
Drewes:1996:DGP, 25(3)295--325
-
Drewes:1996:LBG, 26(3)267--285
-
Driven, 40(2)199--219
-
Druzdzel, Marek J., 30(3)241--254
-
Druzdzel:1997:FUP, 30(3)241--254
-
DTOL, 32(3)341--348
-
Duadic, 38(1)149--161
-
Dubois, Didier, 15(3)211--234, 37(1)1--30
-
Dubois:1991:TPL, 15(3)211--234
-
Dubois:1999:UPL, 37(1)1--30
-
Dudakov, Sergey M., 39(3)249--258
-
Dudakov:1999:CPM, 39(3)249--258
-
Düntsch, Ivo, 21(4)321--331, 29(1)119--133, 39(3)229--248
-
Duntsch:1994:RRA, 21(4)321--331
-
Duntsch:1997:AAA, 29(1)119--133
-
Duntsch:1999:RAQ, 39(3)229--248
-
duration, 19(3)403--416, 36(2)235--263
-
{Dyck}, Semi-, 29(1)1--26
-
dynamic, 16(2)171--199, 19(3)275--301, 28(3)347--352, 37(1)31--50