Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
D
-
D, 64(8)1611--1662
-
D'Agostino, G., 15(3)317--337
-
D'Agostino, Marcello, 13(2)243--281
-
D'Silva, Vijay, 58(3)363--390
-
Dafa, Li, 18(1)105--134
-
Dafa:1997:UAE, 18(1)105--134
-
Dafny, 64(4)767--791
-
Daggitt, Matthew L., 64(5)857--877
-
Daggitt:2020:RUD, 64(5)857--877
-
DAgostino:1994:GAD, 13(2)243--281
-
DAgostino:1995:STT, 15(3)317--337
-
Dahmen, Sander R., 66(4)611--637
-
Dahmen, Sander R., see Baanen, Anne
-
Dal Lago, Ugo, 63(4)813--855
-
Dal Lago, Ugo, see Baillot, Patrick
-
Dally, 48(4)419--439
-
Dalvandi, Sadegh, 66(1)141--171
-
Dalvandi:2022:IOG, 66(1)141--171
-
Dalzotto, G., 43(2)203--236
-
Dalzotto:2009:PAD, 43(2)203--236
-
Damas--Milner, 23(3)319--346
-
Damásio, Carlos Viegas, 14(1)93--147,
see Alferes, José Júlio
-
Dangl, Matthias, 60(3)299--335, 65(3)461--461
-
Dangl, Matthias, see Beyer, Dirk
-
Daniel, 51(4)453--456
-
Darwiche, Adnan, 44(3)277--301
-
Darwiche, Adnan, see Pipatsrisawat, Knot
-
Das, Anupam, 64(7)1221--1245, 67(3)z--99999999
-
Das:2020:QMB, 64(7)1221--1245
-
Das:2023:CHS, 67(3)z--99999999
-
Dasgupta, Pallab, 30(2)205--232, 54(1)31--68
-
Dasgupta, Pallab, see Chatterjee, Krishnendu,
see Ghosh, Kamalesh
-
Data, 22(3)263--309, 23(1)83--104, 24(1)145--163, 41(1)61--98,
41(3)193--218, 41(3)219--249, 53(3)271--304, 57(4)281--318,
62(4)433--480, 63(1)53--94, 63(4)1077--1101, 67(3)z--99999999
-
database, 1(2)141--160, 4(1)29--68, 4(4)397--424, 10(2)191--235,
11(2)249--267, 12(2)139--156, 13(1)117--143, 13(1)145--172,
17(2)171--197, 19(1)31--85, 25(3)219--246, 28(1)1--34,
32(2)167--184, 42(1)35--76
-
Datalog, 39(3)351--384
-
datastructure, 2(1)75--88
-
datatypes, 47(4)427--450, 66(3)331--355
-
Daubignard, M., 46(3)261--291
-
Daubignard, M., see Courant, J.
-
Daum, Matthias, 42(2)349--388
-
Daum:2009:PFI, 42(2)349--388
-
David, 35(4)429--431
-
David, Cristina, 67(2)z--99999999
-
David, Cristina, see Abate, Alessandro
-
Davis, Jared, 55(2)117--183
-
Davis--Putnam, 24(1)277--296
-
Davis:2015:RMT, 55(2)117--183
-
De Giacomo, Giuseppe, 39(3)385--429
-
De Giacomo, Giuseppe, see Calvanese, Diego
-
De Jongh, Dick, 7(4)537--561
-
de la Tour, Thierry, Boy, 57(3)245--280
-
De Lavalette, Gerard R. Renardel, 7(4)537--561
-
De Lavalette, Gerard R. Renardel, see De Jongh, Dick
-
De Luca, Guido, 67(2)z--99999999
-
De Luca, Guido, see Cristiá, Maximiliano
-
De Schreye, Danny, 7(3)337--358, 34(2)141--177
-
De Schreye, Danny, see Serebrenik, Alexander
-
De Sousa, Jose T., 24(1)5--36
-
De Sousa, Jose T., see Abramovici, Miron
-
Deadlock-Free, 48(4)419--439
-
Dealing, 48(3)391--417, 64(1)135--165
-
Debbabi, Mourad, 42(2)265--300
-
Debbabi, Mourad, see Tlili, Syrine
-
Debugging, 39(3)317--349
-
Decades, 55(3)191--198, 66(4)437--438
-
deChampeaux:2022:FLU, 66(4)845--860
-
Dechter, Rina, 24(1)225--275
-
Dechter, Rina, see Rish, Irina
-
decidability, 7(2)271--284, 22(4)379--396, 36(1)125--147, 48(1)1--42,
48(2)263--292, 48(4)441--487, 56(3)343--365
-
decidability, Quasi-, 57(2)157--185
-
decidable, 6(4)361--388, 33(2)133--170, 65(3)357--423, 65(4)479--520,
66(3)357--407
-
Deciding, 36(3)213--239, 44(4)401--424, 47(2)161--189, 62(1)69--91,
66(3)301--329
-
Decimals, 61(1)33--71
-
decision, 2(2)171--190, 6(2)189--201, 7(2)193--230, 7(2)231--256,
7(2)257--270, 7(2)271--284, 14(1)3--42, 22(2)171--221,
27(3)297--311, 28(2)143--171, 28(2)173--204, 28(3)257--305,
33(3)251--269, 34(1)49--72, 35(1)265--293, 36(1)85--124,
37(1)93--116, 38(1)173--199, 38(1)201--225, 38(4)353--373,
39(3)249--276, 40(2)89--116, 40(4)357--357, 48(2)197--217,
51(2)197--239, 51(4)453--456, 52(4)407--450, 53(3)305--315,
54(4)285--326, 54(4)327--352, 55(2)185--185, 56(4)387--457,
58(1)127--147, 58(3)341--362, 59(3)345--387, 60(2)133--156,
60(4)527--527, 62(2)281--300, 63(4)1055--1075, 64(7)1197--1219,
64(7)1361--1391, 65(7)971--999, 67(1)z--99999999
-
declarative, 5(2)167--205, 44(1)z--99999999
-
Declerck, David, 64(7)1307--1330
-
Declerck, David, see Conchon, Sylvain
-
Decoding, 60(3)257--277
-
decomposition, 6(1)39--49
-
Decreasing, 35(4)355--371, 47(4)481--501, 54(2)101--133
-
Dedekind, 66(4)611--637
-
Dedicated, 45(4)415--435
-
deduction, 1(2)141--160, 1(4)333--355, 2(1)43--62, 3(1)35--77,
8(1)23--38, 8(1)91--147, 10(3)371--388, 13(1)1--33, 13(2)189--210,
13(2)243--281, 15(3)339--358, 18(1)105--134, 18(2)265--270,
19(1)31--85, 20(3)337--364, 32(3)259--286, 33(3)271--317,
34(3)239--294, 37(1)93--116, 50(2)217--228, 54(4)353--390,
58(3)363--390, 62(1)127--167, 64(6)1001--1050, 67(1)z--99999999
-
deduction, natural-, 6(2)211--212, 7(2)285--286
-
deductive, 4(1)29--68, 10(2)191--235, 13(1)117--143, 13(1)145--172,
13(2)243--281, 15(1)1--40, 17(2)171--197, 19(1)31--85,
25(3)219--246, 28(1)1--34, 32(2)167--184, 42(1)35--76
-
Deep, 63(2)347--368
-
default, 7(3)439--446, 8(3)345--366, 13(2)223--242, 14(1)149--180,
15(1)1--40, 15(1)41--68, 15(1)95--165, 18(1)25--46, 45(1)3--19,
45(1)39--59
-
definability, 1(4)391--405, 66(3)409--435
-
defined, 3(3)301--317, 28(4)337--369
-
Definite, 62(2)281--300
-
definite-clause, 11(1)83--113
-
Definiteness, 57(2)135--156
-
definition, 2(2)155--170, 3(4)433--435, 8(3)311--344, 22(3)311--339,
44(4)303--336, 50(2)161--172, 56(3)205--219, 62(2)237--260,
63(4)813--855, 67(3)z--99999999
-
Definitional, 55(3)257--268
-
Défourneaux, Gilles, 20(1)27--45
-
Defourneaux:1998:SGP, 20(1)27--45
-
Degano, Pierpaolo, 64(7)1445--1481
-
Degano, Pierpaolo, see Costa, Gabriele
-
deGouw:2014:PPK, 53(2)129--139
-
deGouw:2019:VOS, 62(1)93--126
-
Degtyarev, Anatoli, 20(1)47--80
-
Degtyarev:1998:WYA, 20(1)47--80
-
DeJongh:1991:CFI, 7(4)537--561
-
deKlerk:2000:RSP, 24(1)37--65
-
Delahaye, David, 64(6)1001--1050
-
Delahaye, David, see Burel, Guillaume
-
delaTour:2004:CDM, 33(3)271--317
-
Delaune, Stéphanie, 36(1)85--124, 48(2)219--262, 48(4)441--487,
65(4)479--520, see Ciobâc{\u{a}}, {\c{S}}tefan,
see Cortier, Véronique
-
Delaune:2006:DPS, 36(1)85--124
-
Delcher, Arthur L., 9(3)391--406
-
Delcher:1992:EPT, 9(3)391--406
-
Deletion, 19(2)205--262
-
deLima:2021:FRT, 65(8)1231--1263
-
Demange, Delphine, 63(2)489--515
-
Demange, Delphine, see Zakowski, Yannick
-
demodulating, 9(3)407--408
-
demodulation, 9(1)141--143, 66(4)463--497
-
demodulator, 9(2)289--290
-
deMoura:2020:PSE, 64(3)511--511
-
Dempster, 45(1)61--87
-
Demri, Stéphane, 58(1)1--2
-
Demri:2017:P, 58(1)1--2
-
deNivelle:1998:ARU, 20(1)5--25
-
deNivelle:2011:CLP, 47(4)399--425
-
Dennis, Louise Abigail, 47(1)57--105
-
Dennis:2011:UEP, 47(1)57--105
-
Den{\oe}ux, Thierry, 45(1)61--87,
see Pichon, Frédéric
-
dense, 8(1)45--75
-
Denzinger, Jörg, 18(2)189--198
-
Denzinger:1997:DDL, 18(2)189--198
-
Dependency, 37(3)155--203, 40(2)117--132, 47(2)133--160, 49(1)53--93,
51(1)27--56, 58(3)391--411, 62(2)193--213, 63(1)127--155,
63(3)597--623, 64(8)1611--1662, 67(3)z--99999999
-
Dependent, 61(1)423--453, 63(2)415--438, 67(3)z--99999999
-
Depth, 51(2)129--149, 67(1)z--99999999
-
Dequen, Gilles, 37(4)261--276
-
Dequen:2006:EAS, 37(4)261--276
-
Derakhshan, Farzaneh, 65(8)1153--1190
-
Derakhshan, Farzaneh, see Sieg, Wilfried
-
derivation, 1(1)75--101, 3(3)291--299, 7(3)337--358, 9(1)77--97,
12(2)225--240, 48(2)263--292
-
Derivational, 65(8)1191--1229
-
derivative, 64(4)737--765, 67(3)z--99999999
-
DeSchreye:1991:CBM, 7(3)337--358
-
Description, 20(3)337--364, 38(1)227--259, 39(3)245--247, 39(3)277--316,
39(3)351--384, 39(3)385--429, 40(2)117--132, 41(1)61--98,
41(2)99--142, 44(4)337--369, 44(4)371--399, 46(1)43--80,
47(4)427--450, 49(1)1--52, 52(3)331--360, 66(3)357--407
-
design, 5(4)429--460, 6(3)299--317, 9(2)217--230, 18(2)139--162,
35(4)373--390, 37(1)21--43
-
Designing, 4(1)29--68
-
detachment, 7(4)587--596
-
Detect, 25(1)1--34
-
Detecting, 36(3)177--212
-
Detection, 41(3)z--z, 45(4)359--395
-
determining, 5(2)235--237
-
Deterministic, 67(1)z--99999999
-
deterministic, non-, 12(3)305--349
-
Deters, Morgan, 50(3)243--277
-
Deters, Morgan, see Barrett, Clark
-
Developing, 22(2)171--221
-
development, 5(1)97--118, 26(2)161--203, 61(1)9--32
-
Device, 61(1)141--189
-
Di Piazza, Joseph S., 6(3)299--317
-
Diagnosis, 20(1)81--105
-
diagnostic, 1(1)49--74
-
Diagram, 39(4)431--470, 47(4)481--501, 54(2)101--133, 60(1)63--84,
63(4)911--939, 64(7)1361--1391
-
Diameters, 61(1)485--520
-
Diaz, Daniel, 17(1)97--128
-
Diaz, Daniel, see Codognet, Philippe
-
Díaz, J., Borrego-, 52(3)331--360
-
Dickson, 26(2)205--221
-
dictionary, 36(1)85--124
-
Diekmann, Cornelius, 61(1)191--242
-
Diekmann:2018:VIF, 61(1)191--242
-
Dieter, 35(4)429--431
-
Dietrich, Dominik, 44(1)z--99999999
-
Dietrich:2010:CIS, 44(1)z--99999999
-
difference, 43(2)121--137, 59(1)3--45
-
different, 4(3)331--352
-
differential, 6(2)203--209, 7(2)171--191, 10(2)161--172, 10(2)173--189,
12(3)351--358, 20(3)365--385, 21(1)1--21, 41(2)143--189,
59(2)219--265, 66(1)173--173
-
Digricoli, Vincent J., 12(2)241--264
-
Digricoli:1994:RTP, 12(2)241--264
-
Dilger, Werner, 2(1)43--62
-
Dilger:1986:IBD, 2(1)43--62
-
Dill, David, 67(3)z--99999999
-
Dill, David, see Sheng, Ying
-
dimension, 20(3)365--385
-
Dimopoulos, Yannis, 17(3)259--289
-
Dimopoulos:1996:CLP, 17(3)259--289
-
DiPiazza:1990:IKE, 6(3)299--317
-
directed, 7(4)511--536
-
Directed, Goal-, 52(4)407--450
-
directed, Pattern-, 7(3)403--433
-
direction, 3(4)395--431
-
Directional, Bi-, 66(2)215--238
-
Disassembling, 56(3)283--308
-
disc, 65(1)31--73
-
Disconnection, 38(1)79--126
-
DISCOUNT, 18(2)189--198
-
Discovering, 5(3)339--362, 25(3)219--246
-
discovery, 9(1)1--24, 23(1)63--82, 29(2)107--124, 35(4)355--371,
43(2)203--236, 59(3)331--344, 64(7)1393--1418, 65(6)711--726
-
Discrete, 41(3)295--323, 43(1)19--51
-
discrimination, 9(2)145--146, 10(1)95--113, 20(1)5--25
-
discrimination-tree, 9(2)147--167
-
Discusses, 2(1)75--88
-
Disequality, 51(4)371--400
-
disjunction, 10(3)345--370
-
disjunctive, 4(4)397--424, 10(3)345--370, 11(2)249--267, 13(1)117--143,
13(1)145--172, 19(2)205--262, 20(1)143--165, 26(4)333--356,
28(1)1--34, 39(3)351--384, 42(1)35--76
-
disparate, 4(2)215--217
-
Disproving, 20(1)27--45
-
Distance, Long-, 63(1)127--155
-
distance-sat, 37(4)231--260
-
Distant, 61(1)33--71
-
Distilling, 65(7)1027--1070
-
distributed, 12(2)225--240, 18(2)189--198, 19(3)347--376, 54(1)31--68,
62(2)193--213
-
Distributions, 67(1)z--99999999
-
Distributivity, 27(2)141--156, 33(1)1--28
-
Divasón, Jose, 58(4)509--535, 64(4)699--735, 64(5)827--856,
66(4)1065--1095, 66(4)1097--1097,
see Aransay, Jesús,
see Thiemann, René
-
Divason:2020:VIB, 64(4)699--735
-
Divason:2022:CFS, 66(4)1065--1095, 66(4)1097--1097
-
Divason:2022:FSN, 66(4)1065--1095, 66(4)1097--1097
-
Divide, 58(4)483--508
-
Dix, Jürgen, 20(1)143--165, see Brass, Stefan
-
Dixon, C., 34(3)295--321
-
Dixon, C., see Fernández-Gago, M. C.
-
Dixon, Clare, 64(3)461--484, 64(8)1553--1610, 66(4)639--666,
66(4)1099--1099
-
Dixon, Clare, see Hustadt, Ullrich,
see Nalon, Cláudia,
see Papacchini, Fabio
-
Dixon, Lucas, 47(3)251--289
-
Dixon, Lucas, see Johansson, Moa
-
DL, 44(3)207--243
-
DL--Lite, 39(3)385--429
-
DLL, 35(1)73--88
-
DNF, 18(3)337--356
-
Doblado, M. J., Hidalgo-, 52(3)331--360
-
Dockins, Robert, 49(3)453--491
-
Dockins, Robert, see Appel, Andrew W.
-
Document, 65(2)321--356
-
Doczkal, Christian, 56(3)343--365, 61(1)521--553, 64(5)795--825
-
Doczkal:2016:CDR, 56(3)343--365
-
Doczkal:2018:RLR, 61(1)521--553
-
Doczkal:2020:GTC, 64(5)795--825
-
Dodds, Josiah, 61(1)367--422
-
Dodds, Josiah, see Cao, Qinxiang
-
Doggett, Anthony J., 35(1)143--179
-
Doggett, Anthony J., see Frisch, Alan M.
-
Doherty, Patrick, 18(3)297--336
-
Doherty:1997:CCR, 18(3)297--336
-
Doligez, Damien, 29(3)337--363
-
Doligez, Damien, see Prevosto, Virgile
-
Dolzmann, Andreas, 21(3)357--380
-
Dolzmann:1998:NAA, 21(3)357--380
-
domain, 13(3)375--390, 16(3)369--425, 19(2)143--171, 23(3)411--444,
38(1)227--259, 63(4)1077--1101, 65(6)727--773, 66(3)357--407,
66(4)611--637
-
domain-minimal, 10(2)237--263
-
Domenjoud, Eric, 8(1)39--44
-
Domenjoud:1992:TNA, 8(1)39--44
-
Donaldson, Alastair F., 41(3)z--z
-
Donaldson:2008:ASD, 41(3)z--z
-
Dong, Jin Song, 65(4)569--598
-
Dong, Jin Song, see Hóu, Zhé
-
Dong, Yuan, 42(2)301--347
-
Dong, Yuan, see Feng, Xinyu
-
Dongol, Brijesh, 66(1)141--171
-
Dongol, Brijesh, see Dalvandi, Sadegh
-
Donnelly, Kevin, 38(4)353--373
-
Donnelly, Kevin, see Avigad, Jeremy
-
Donzé, Alexandre, 63(4)1031--1053,
see Dreossi, Tommaso
-
Dorel, Érik, Martin-, 54(1)1--29, 57(3)187--217, 67(4)z--z
-
Dörrenbächer, Jan, 42(2)349--388,
see Daum, Matthias
-
Dots, 22(3)223--239
-
Dowek, Gilles, 31(1)33--72, 45(2)89--89
-
Dowek, Gilles, see Armando, Alessandro
-
Dowek:2003:TPM, 31(1)33--72
-
Down, 55(2)117--183
-
Down, Top-, 32(2)167--184
-
down, top-, 7(3)337--358
-
down, Upside-, 13(2)189--210
-
Doyle, Jon, 1(4)391--405
-
Doyle:1985:CID, 1(4)391--405
-
DPLL, 35(1)51--72, 39(2)219--243, 44(4)401--424
-
DQBF, 63(3)597--623
-
Dreossi, Tommaso, 63(4)1031--1053
-
Dreossi:2019:CFC, 63(4)1031--1053
-
Drias, Habiba, 45(1)39--59
-
Drias, Habiba, see Benferhat, Salem
-
driven, 6(4)419--461
-
Driven, Conflict-, 60(2)133--156, 60(4)527--527, 64(1)1--20,
64(3)579--609, 66(1)43--91
-
Driven, Goal-, 28(1)1--34
-
driver, 61(1)141--189
-
Dross, Claire, 56(4)387--457
-
Dross:2016:ADP, 56(4)387--457
-
DSilva:2017:AIA, 58(3)363--390
-
Dual, 27(4)353--389
-
Duality, 10(3)399--420, 28(1)1--34
-
Dubois, 64(5)857--877
-
Dubois, Catherine, 23(3)319--346
-
Dubois, Olivier, 35(1)181--200, 37(4)261--276
-
Dubois, Olivier, see Boufkhad, Yacine,
see Dequen, Gilles
-
Dubois:1999:CTI, 23(3)319--346
-
duBousquet:2010:RJS, 45(4)415--435
-
Dufay, Guillaume, 35(4)295--354
-
Dufay, Guillaume, see Barthe, Gilles
-
Dufourd, Jean-François, 43(1)19--51
-
Dufourd:2009:IPD, 43(1)19--51
-
Dummett, 27(3)297--311, 52(1)67--97
-
Dummett, Gödel-, 38(1)201--225
-
Dunets, Andriy, 45(4)359--395
-
Dunets:2010:AFD, 45(4)359--395
-
duplication, 9(1)25--42
-
during, 9(1)141--143, 14(3)427--462
-
Dutle, Aaron, 54(4)285--326
-
Dutle, Aaron, see Narkawicz, Anthony
-
DWFS, 32(2)167--184
-
Dynamic, 41(2)143--189, 42(2)229--264, 45(1)21--37, 45(3)213--241,
45(3)243--266, 49(1)1--52, 52(1)99--122, 59(2)219--265,
66(1)173--173