Index file section D for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
D
-
D, 13(3)19--19, 14(3)19--19, 18(1)5--5, 20(1)3--3
-
d, 19(4)29--29, 23(3)16--16
-
D.1.2, 2(1)57--92
-
D.1.6, 2(1)57--92
-
D.2.12, 1(2)208--246
-
D.2.2, 1(1)60--76, 1(1)171--174
-
D.2.4, 1(1)60--76, 1(1)162--170, 1(1)171--174, 2(2)155--181,
2(3)388--407
-
D.3, 1(2)285--320
-
D.3.2, 1(2)285--320
-
D.3.3, 1(1)60--76, 1(1)171--174, 1(2)285--320
-
Daca, Przemyslaw, 18(2)12--12
-
Daca:2017:FSM, 18(2)12--12
-
Dafny, 17(1)6--6
-
dag-like, 24(3)20--20
-
daglike, 19(4)29--29
-
Dagnino, Francesco, 23(3)20--20
-
Dagnino:2022:MTB, 23(3)20--20
-
dags, 12(4)26--26
-
Dal Lago, Ugo, 10(2)8--8, 10(4)25--25
-
Dall'olio, Emmanuel, 9(2)12--12
-
Dall'olio, Emmanuel, see Bruyère, Véronique
-
DalLago:2009:CSL, 10(4)25--25
-
DalLago:2009:GLH, 10(2)8--8
-
Dallon, Antoine, 21(1)1--1
-
Dallon, Antoine, see Chrétien, Rémy
-
Dalmau, 16(4)28--28, 19(1)1--1
-
Dalvandi, Sadegh, 23(4)27--27
-
Dalvandi, Sadegh, see Doherty, Simon
-
Damasio, Carlos Viegas, 12(2)17--17
-
Damasio, Carlos Viegas, see Analyti, Anastasia
-
Damiani, Ferruccio, 20(1)5--5
-
Damiani, Ferruccio, see Audrito, Giorgio
-
Danicic, Sebastian, 13(2)15--15
-
Danicic:2012:CDD, 13(2)15--15
-
Danos, Vincent, 3(3)359--382
-
Danos-Regnier, 8(3)14--14
-
Danos:2002:PGS, 3(3)359--382
-
Danvy, 9(1)6--6
-
Danvy, Olivier, 9(1)6--6, 14(4)29--29
-
Danvy, Olivier, see Biernacka, Ma{\l}gorzata
-
Danvy:2013:TST, 14(4)29--29
-
Dapi{\'c}, Petar, 18(1)2--2
-
Dapic:2017:QCS, 18(1)2--2
-
data, ordered-, 15(1)8--8
-
database, 1(2)208--246, 2(1)135--153, 4(3)315--354, 8(3)17--17,
8(4)24--24, 9(1)3--3, 9(2)13--13, 9(3)22--22, 14(2)14--14,
14(3)17--17, 15(4)30--30, 16(1)7--7, 17(2)9--9, 18(1)5--5,
18(2)10--10, 18(4)32--32, 19(2)14--14, 22(4)21--21
-
datalog, 3(1)42--79, 6(3)481--518, 9(2)14--14, 9(4)26--26, 11(2)12--12,
11(3)15--15, 12(1)3--3, 14(3)17--17, 14(4)30--30, 18(1)5--5,
20(2)12--12, 21(1)6--6
-
Datalog\isonot, 18(1)5--5
-
dataset, 14(2)10--10, 16(2)11--11, 18(4)26--26, 19(2)14--14
-
Datatype, 12(2)15--15
-
datatypes-with-binding, 13(3)20--20
-
datum, 12(3)19--19
-
David, Amélie, 17(1)4--4, see Cerrito, Serenella
-
David, Claire, 12(4)27--27
-
David, Claire, see Boja{\'n}czyk, Miko{\l}aj
-
Dawar, 19(2)7--7, 23(3)17--17
-
Dawar, Anuj, 5(2)282--315, 15(1)6--6, 23(1)6--6
-
Dawar, Anuj, see Atserias, Albert
-
Dawar:2004:IFP, 5(2)282--315
-
Dawar:2022:SCR, 23(1)6--6
-
Daws, 10(3)15--15
-
DCW, 13(4)29--29
-
DD, 13(4)34--34
-
DDH, 21(1)2--2
-
De Alfaro, Luca, 12(4)28--28
-
De Alfaro, Luca, see Chatterjee, Krishnendu
-
De Boer, Frank S., 5(4)706--731
-
De Bruijn, Jos, 12(3)20--20
-
De Giacomo, Giuseppe, 2(4)495--525, 9(3)22--22
-
De Giacomo, Giuseppe, see Calvanese, Diego
-
De Haan, Ronald, 18(3)21--21
-
De Mendez, Patrice, Ossona, 21(2)11--11, 21(4)29--29
-
De Nicola, Rocco, 5(1)79--128
-
De Rugy-Altherre, Nicolas, 23(1)3--3
-
De Rugy-Altherre, Nicolas, see Durand, Arnaud
-
De Schreye, Danny, 2(1)57--92
-
De Schreye, Danny, see Verbaeten, Sofie
-
de'Liguoro, Ugo, 13(2)11--11
-
de'Liguoro, Ugo, see Berardi, Stefano
-
deadlock, 17(2)11--11, 24(2)17--17
-
deal, 1(1)131--161, 2(1)135--153, 8(4)19--19, 9(3)22--22, 11(3)17--17,
12(2)16--16, 13(4)32--32, 15(2)12--12, 15(3)18--18, 15(3)23--23,
16(2)11--11, 16(2)12--12, 21(1)4--4, 22(1)2--2, 22(2)9--9
-
dealing, 18(1)4--4, 18(1)7--7, 24(3)26--26
-
dealt, 12(4)29--29, 21(1)6--6
-
DeBoer:2004:PCT, 5(4)706--731
-
DeBruijn:2011:ENL, 12(3)20--20
-
debugging, 9(3)17--17, 17(3)18--18
-
decade, 13(2)16--16, 16(2)12--12, 24(3)26--26
-
decidability, 2(2)155--181, 2(3)388--407, 6(1)102--123, 7(2)269--301,
8(4)19--19, 8(4)22--22, 9(1)5--5, 9(2)8--8, 9(2)12--12, 9(4)25--25,
11(2)8--8, 11(3)17--17, 11(4)23--23, 12(4)29--29, 13(4)34--34,
14(1)6--6, 14(2)9--9, 15(4)26--26, 15(4)27--27, 16(1)4--4,
16(2)15--15, 17(1)2--2, 17(1)3--3, 17(2)8--8, 17(2)13--13,
17(3)16--16, 18(2)17--17, 18(3)24--24, 18(4)28--28, 18(4)31--31,
20(2)12--12, 20(3)13--13, 21(4)32--32, 22(1)3--3, 23(1)5--5,
23(3)15--15
-
decidable, 1(1)162--170, 2(1)1--11, 2(2)216--254, 8(4)19--19, 9(1)5--5,
9(2)10--10, 9(3)22--22, 9(4)25--25, 9(4)26--26, 10(3)16--16,
11(2)14--14, 11(4)23--23, 12(2)10--10, 12(3)19--19, 12(4)27--27,
13(2)15--15, 13(3)21--21, 13(3)27--27, 13(4)34--34, 14(2)8--8,
14(2)9--9, 14(2)16--16, 15(1)1--1, 15(1)8--8, 15(2)17--17,
15(3)24--24, 15(4)26--26, 15(4)27--27, 15(4)34--34, 16(1)4--4,
16(1)9--9, 16(2)15--15, 16(3)27--27, 16(4)35--35, 17(1)2--2,
17(1)3--3, 17(1)5--5, 17(2)8--8, 17(2)13--13, 17(3)16--16,
17(3)17--17, 17(4)24--24, 18(2)10--10, 18(2)17--17, 18(3)20--20,
18(3)24--24, 18(4)27--27, 18(4)28--28, 18(4)29--29, 18(4)31--31,
18(4)33--33, 20(2)12--12, 20(3)17--17, 20(4)21--21, 20(4)22--22,
24(4)29--29
-
decide, 1(1)131--161, 2(2)155--181, 10(4)28--28, 11(3)15--15,
13(2)15--15, 14(1)1--1, 14(3)20--20, 14(4)32--32, 15(1)7--7,
17(1)3--3, 17(1)7--7, 17(4)23--23, 18(4)31--31, 19(2)7--7, 21(2)9--9
-
decided, 11(3)17--17, 12(1)3--3, 15(2)17--17, 17(2)13--13, 23(1)1--1
-
deciding, 1(1)60--76, 2(3)289--339, 3(4)465--520, 4(1)33--55, 10(1)2--2,
11(2)9--9, 11(3)17--17, 13(2)15--15, 14(3)20--20, 15(1)7--7,
15(2)16--16, 15(3)19--19, 16(2)16--16, 17(2)13--13, 17(3)22--22,
18(4)27--27, 19(3)19--19, 20(1)6--6, 20(4)25--25, 21(4)27--27,
24(4)32--32
-
decision, 1(1)112--130, 1(2)208--246, 2(1)93--134, 2(2)155--181,
2(2)182--215, 6(3)614--633, 9(1)3--3, 9(1)4--4, 9(1)5--5, 9(2)8--8,
9(2)11--11, 9(3)21--21, 10(1)4--4, 10(3)17--17, 10(3)18--18,
11(1)3--3, 11(3)17--17, 11(4)23--23, 11(4)24--24, 11(4)27--27,
12(1)1--1, 12(1)7--7, 12(2)15--15, 13(2)14--14, 13(2)17--17,
14(1)4--4, 14(2)10--10, 14(3)24--24, 15(1)7--7, 15(3)24--24,
16(1)8--8, 16(2)12--12, 16(3)25--25, 16(4)29--29, 17(1)4--4,
17(4)31--31, 18(3)24--24, 18(4)31--31, 19(2)10--10, 19(3)20--20,
20(1)6--6, 20(3)13--13, 20(4)21--21, 21(1)4--4, 23(4)26--26,
24(1)1--1, 24(4)31--31
-
decision, semi-, 19(2)13--13
-
decision-making, 15(4)30--30
-
Decisional, 21(1)2--2
-
declarations, 9(1)3--3, 9(3)17--17
-
declarative, 1(2)208--246, 9(4)27--27, 9(4)29--29, 10(1)1--1,
10(2)11--11, 13(1)6--6, 13(4)33--33, 14(1)1--1, 14(4)28--28,
15(4)32--32, 17(1)5--5, 17(3)18--18, 19(3)22--22, 24(2)15--15,
24(4)33--33
-
declaratively, 13(4)33--33
-
decomposability, 18(2)16--16
-
decomposable, 16(1)9--9
-
decompose, 18(2)16--16
-
decomposed, 18(2)16--16, 20(3)15--15
-
decomposing, 16(1)9--9, 18(2)8--8, 20(3)15--15
-
decomposition, 12(4)23--23, 14(4)25--25, 16(1)9--9, 18(2)16--16,
18(4)29--29, 20(3)15--15
-
decomposition-based, 5(2)351--383
-
deconstruction, 18(4)29--29
-
Deconstructions, 18(4)29--29
-
decorated, 5(1)26--78, 22(3)19--19
-
decoration, 22(1)7--7
-
decrease, 10(4)29--29, 12(2)13--13, 13(3)21--21, 14(3)22--22
-
decreasing, 1(1)131--161, 16(3)27--27
-
dedicated, 17(4)23--23, 18(3)21--21, 19(4)28--28
-
deduce, 9(4)26--26, 14(1)6--6, 15(1)9--9, 21(1)1--1
-
deducibility, 14(1)4--4
-
deduction, 1(1)131--161, 1(2)175--207, 1(2)208--246, 2(1)1--11,
2(1)12--56, 2(2)155--181, 2(3)289--339, 2(3)340--387, 8(4)22--22,
9(3)21--21, 10(3)20--20, 13(1)8--8, 13(3)23--23, 15(3)23--23,
18(4)26--26, 19(2)11--11, 19(3)18--18, 22(1)3--3, 22(3)19--19
-
deductive, 1(1)60--76, 3(1)42--79, 8(3)17--17, 8(4)22--22, 10(2)12--12,
12(4)29--29, 13(3)23--23
-
deemed, 15(4)35--35, 19(1)6--6
-
deep, 10(2)14--14, 23(2)9--9
-
deep-inference, 10(2)14--14
-
deepening, 13(4)32--32
-
deeper, 2(2)255--287, 10(3)16--16
-
deeply, 13(3)25--25
-
default, 1(2)175--207, 2(3)340--387, 8(2)z--99999999, 9(1)7--7,
17(4)27--27
-
defeasible, 2(2)255--287, 12(1)6--6, 22(1)1--1
-
defeasible-reasoning, 22(1)1--1
-
defeat, 12(1)6--6
-
definability, 8(2)z--z, 13(1)5--5, 19(2)7--7, 19(4)25--25, 24(1)6--6,
24(4)34--34
-
definability, CPT-, 19(2)7--7
-
definable, 2(1)135--153, 2(2)216--254, 4(4)431--451, 9(2)12--12,
11(1)4--4, 13(3)19--19, 17(1)2--2, 17(2)14--14, 18(3)24--24,
18(4)30--30, 19(2)7--7, 21(1)4--4
-
definable, C-, 1(1)33--59
-
definable, CPT-, 19(2)7--7
-
define, 2(1)12--56, 2(3)388--407, 8(3)15--15, 9(1)1--1, 9(2)8--8,
9(2)13--13, 9(2)14--14, 9(3)17--17, 9(3)18--18, 9(4)26--26,
9(4)27--27, 10(1)3--3, 10(1)5--5, 10(2)11--11, 10(4)25--25,
10(4)26--26, 10(4)28--28, 11(4)23--23, 11(4)27--27, 11(4)28--28,
12(1)7--7, 12(3)21--21, 12(4)25--25, 13(2)12--12, 13(4)28--28,
14(1)6--6, 14(2)10--10, 14(2)12--12, 14(2)16--16, 14(3)19--19,
14(4)28--28, 15(1)6--6, 15(1)7--7, 15(1)8--8, 15(2)17--17,
15(3)21--21, 15(3)22--22, 15(4)30--30, 15(4)33--33, 16(1)1--1,
16(1)2--2, 16(4)31--31, 18(1)7--7, 18(3)20--20, 18(4)29--29,
19(1)3--3, 19(1)5--5, 19(1)6--6, 19(2)7--7, 19(2)10--10, 19(2)11--11,
19(2)12--12, 19(3)22--22, 20(2)12--12, 21(2)16--16, 22(2)8--8,
22(4)25--25, 24(2)11--11
-
defined, 2(3)289--339, 9(2)13--13, 9(4)28--28, 10(2)10--10, 10(2)11--11,
10(2)12--12, 10(3)16--16, 10(3)18--18, 10(3)19--19, 10(3)20--20,
11(3)16--16, 11(3)18--18, 11(3)20--20, 12(2)17--17, 12(4)29--29,
13(2)15--15, 13(4)31--31, 14(2)16--16, 14(3)24--24, 15(2)14--14,
15(3)21--21, 15(3)24--24, 16(1)2--2, 16(1)6--6, 16(4)32--32,
17(2)8--8, 17(2)14--14, 17(3)16--16, 18(3)20--20, 18(4)27--27,
18(4)29--29, 19(3)16--16, 19(3)17--17, 19(3)22--22, 20(4)21--21,
20(4)22--22, 20(4)24--24, 24(3)22--22
-
defined, ill-, 10(1)3--3
-
defined, well-, 16(4)32--32, 19(3)22--22, 19(4)28--28
-
defining, 7(4)658--675, 12(2)17--17, 12(4)25--25, 13(1)4--4, 13(3)27--27,
14(4)28--28, 16(4)31--31, 17(1)2--2, 17(3)20--20
-
definite, 9(1)1--1, 15(4)32--32, 17(3)18--18
-
definitely, 8(3)14--14, 20(2)12--12
-
definition, 1(1)3--32, 2(4)623--654, 4(3)402--415, 8(3)15--15,
8(3)16--16, 9(2)12--12, 9(2)14--14, 9(3)18--18, 9(3)20--20,
10(3)17--17, 10(4)28--28, 12(4)25--25, 13(1)1--1, 13(2)14--14,
14(1)2--2, 14(2)16--16, 14(3)17--17, 14(4)32--32, 15(1)8--8,
15(3)24--24, 15(4)32--32, 15(4)35--35, 17(4)29--29, 18(1)4--4,
18(3)23--23, 18(4)28--28, 19(1)6--6, 19(2)12--12, 19(4)24--24,
24(1)1--1, 24(4)33--33, 24(4)34--34
-
DeGiacomo:2001:IEG, 2(4)495--525
-
degree, 1(1)3--32, 6(4)727--748, 8(4)21--21, 8(4)23--23, 10(4)27--27,
12(1)4--4, 14(4)28--28, 15(1)6--6, 16(4)28--28, 17(2)10--10,
17(3)19--19, 17(4)31--31, 18(3)21--21, 19(2)7--7, 19(2)14--14,
20(1)1--1, 23(3)16--16, 24(3)25--25
-
degree, bounded-, 20(1)1--1
-
degree, constant-, 15(1)6--6
-
degree, size-, 12(1)4--4
-
degree-bounded, 8(4)21--21
-
Degtyarev, Anatoli, 7(1)108--150
-
Degtyarev:2006:MTR, 7(1)108--150
-
DeHaan:2017:PCF, 18(3)21--21
-
Delaune, Stéphanie, 14(1)4--4, 17(1)3--3, 21(1)1--1,
see Baudet, Mathieu,
see Chrétien, Rémy
-
delay, 8(4)21--21, 9(3)17--17, 12(1)5--5, 14(4)25--25
-
DELAY, CONSTANT-, 14(4)25--25
-
Delay, constant-, 8(4)21--21
-
delayed, 12(1)7--7, 16(3)23--23, 21(1)5--5
-
Delayer, Prover-, 14(3)20--20
-
deleted, 18(4)27--27
-
deletion, 17(1)7--7
-
deletions, 18(4)27--27
-
Delgrande, James, 14(2)14--14
-
Delgrande:2013:MTA, 14(2)14--14
-
delicate, 11(3)16--16
-
delimit, 23(3)17--17
-
delimited, 11(4)28--28
-
delineate, 23(1)3--3
-
Della Monica, Dario, 24(1)4--4
-
Della Monica, Dario, see Bellier, Dylan
-
demand, 14(4)29--29, 19(4)28--28
-
demonstrate, 2(2)182--215, 9(2)14--14, 9(3)17--17, 9(4)29--29, 10(1)1--1,
10(1)3--3, 12(2)12--12, 14(1)5--5, 15(4)33--33, 16(2)11--11,
16(4)31--31, 17(1)5--5, 17(2)10--10, 18(2)16--16, 18(3)24--24,
19(1)6--6, 19(2)10--10, 19(2)12--12, 19(3)19--19, 20(1)1--1,
20(2)12--12, 20(4)19--19, 20(4)20--20, 21(1)3--3, 23(3)19--19
-
demonstrating, 2(1)93--134, 8(3)14--14, 16(2)12--12, 16(4)34--34,
20(4)22--22
-
Demri, Stephane, 17(2)12--12
-
Demri, Stéphane, 10(3)16--16, 16(2)15--15, 22(2)14--14, 24(2)12--12,
see Bednarczyk, Bartosz
-
Demri:2009:LFQ, 10(3)16--16
-
Demri:2015:TVS, 16(2)15--15
-
Demri:2016:ECS, 17(2)12--12
-
Demri:2021:EAR, 22(2)14--14
-
den, 19(2)7--7
-
Den Berg, Benno, Van, 19(2)15--15
-
den Bussche, Jan, Van, 9(1)3--3
-
Den Dries, Lou, Van, 10(1)2--2
-
Denecker, Marc, 2(4)623--654, 7(4)765--797, 8(1)z--99999999, 9(2)14--14,
14(3)17--17, 17(4)27--27
-
Denecker, Marc, see Bogaerts, Bart,
see Vennekens, Joost, \see{Wittocx, Johan
-
Denecker:2001:LPR, 2(4)623--654
-
Denecker:2008:LNI, 9(2)14--14
-
Deng, Yuxin, 15(2)14--14
-
Deng, Yuxin, see Feng, Yuan
-
DeNicola:2004:MLM, 5(1)79--128
-
denies, 2(3)340--387
-
denotable, 14(4)29--29
-
denotational, 20(1)5--5
-
denote, 14(3)19--19, 14(3)21--21, 14(4)29--29, 15(4)27--27, 15(4)34--34,
16(3)21--21, 20(2)9--9, 23(2)12--12
-
denoted, 14(2)14--14, 15(3)19--19, 15(4)34--34, 15(4)35--35
-
denoting, 19(2)13--13
-
dense, 9(2)12--12, 18(3)22--22, 21(4)28--28
-
dense-timed, 20(3)14--14
-
density, 9(1)2--2, 16(3)24--24
-
denumerable, 13(2)12--12
-
depend, 1(1)33--59, 1(1)112--130, 9(1)5--5, 9(2)11--11, 9(2)13--13,
15(1)2--2, 15(4)30--30, 15(4)34--34, 15(4)35--35, 17(4)32--32,
23(1)7--7
-
dependence, 13(2)15--15, 13(4)31--31, 14(3)24--24, 15(1)6--6,
20(4)21--21, 23(1)3--3, 23(2)13--13
-
dependencies, inter-, 20(4)22--22
-
dependency, 9(3)22--22, 10(4)27--27, 13(1)8--8, 14(3)24--24, 18(1)7--7,
18(4)32--32, 19(4)27--27, 21(2)8--8, 21(4)34--34, 24(1)4--4,
24(2)18--18
-
dependent, 11(3)16--16, 12(2)15--15, 13(2)15--15, 14(4)32--32,
14(4)33--33, 15(1)10--10, 16(3)23--23, 19(4)24--24, 20(2)7--7,
23(3)18--18, 23(4)25--25
-
dependent, Domain-, 7(4)613--657
-
dependent, domain-, 20(4)20--20
-
dependent, history-, 9(1)5--5
-
dependent, time-, 9(2)13--13
-
dependently, 16(2)18--18, 17(1)5--5, 23(4)25--25
-
depending, 8(4)21--21, 12(2)13--13, 15(3)21--21, 16(3)22--22,
17(4)32--32, 18(3)22--22, 21(1)5--5
-
deployed, 20(1)5--5
-
depth, 11(3)19--19, 12(2)9--9, 14(3)18--18, 15(1)6--6, 15(2)17--17,
15(4)33--33, 16(1)8--8, 16(1)9--9, 16(3)21--21, 17(4)25--25,
17(4)32--32, 18(4)29--29, 18(4)30--30, 19(4)29--29, 20(2)9--9,
23(2)12--12, 24(3)23--23
-
Depth,, 17(2)14--14
-
depth, bounded-, 11(3)19--19, 17(4)26--26, 20(1)1--1
-
Depth, Constant-, 19(4)29--29
-
depth, Constant-, 7(2)199--218
-
depth, constant-, 19(4)29--29
-
depth, term-, 13(4)32--32
-
depth, tree-, 18(4)33--33
-
depth-1, 15(2)17--17
-
Depth-Bounded, 18(4)33--33
-
depth-first, 13(4)32--32
-
Der Meyden, Ron, Van, 19(4)26--26, 21(4)32--32
-
derivability, 12(2)9--9, 20(3)13--13
-
derivable, 1(1)60--76, 16(4)30--30
-
derivation, 2(2)182--215, 9(1)6--6, 10(2)13--13, 10(4)28--28,
13(3)20--20, 14(4)27--27, 15(1)7--7, 15(3)21--21, 19(1)3--3,
20(2)7--7, 22(3)20--20
-
derivation, G3i-, 16(1)8--8
-
derive, 9(1)1--1, 9(1)6--6, 10(1)3--3, 11(3)16--16, 12(1)6--6, 13(1)5--5,
14(1)2--2, 15(1)3--3, 15(4)30--30, 15(4)35--35, 16(1)9--9,
16(2)14--14, 16(3)20--20, 16(4)32--32, 19(2)9--9, 19(3)23--23,
20(4)19--19, 21(3)22--22
-
derived, 2(2)155--181, 14(2)16--16, 14(3)18--18, 17(2)9--9, 17(3)20--20,
19(2)7--7, 24(3)20--20
-
Derrick, John, 4(4)452--492, 15(4)31--31
-
Derrick, John, see Bryans, Jeremy,
see Schellhorn, Gerhard
-
Dershowitz, Nachum, 8(1)z--z, 11(3)18--18
-
Dershowitz, Nachum, see Bonacina, Maria Paola
-
Dershowitz:2010:CPP, 11(3)18--18
-
descendant, 13(4)34--34
-
describe, 1(2)285--320, 2(1)12--56, 2(3)289--339, 2(3)408--429, 9(1)2--2,
9(1)4--4, 9(3)21--21, 10(1)5--5, 10(1)7--7, 13(1)7--7, 13(4)29--29,
15(1)1--1, 15(1)6--6, 15(2)14--14, 15(3)23--23, 15(4)32--32,
15(4)33--33, 16(1)8--8, 17(2)9--9, 18(2)8--8, 18(4)29--29,
19(3)22--22, 20(1)4--4, 23(4)25--25
-
described, 2(2)255--287, 10(4)26--26, 11(3)16--16, 11(4)26--26,
16(1)5--5, 16(2)12--12, 18(3)23--23, 19(4)28--28, 20(1)2--2
-
describing, 2(1)93--134, 10(3)15--15, 14(1)7--7, 14(2)10--10,
18(2)11--11, 18(4)27--27, 18(4)32--32, 19(4)28--28
-
description, 2(2)182--215, 3(2)177--225, 5(3)436--469, 5(4)669--705,
8(3)15--15, 9(2)8--8, 9(3)22--22, 9(4)25--25, 10(1)5--5, 12(2)11--11,
13(3)21--21, 14(1)2--2, 14(2)8--8, 14(2)16--16, 15(1)7--7,
15(3)25--25, 16(1)3--3, 16(3)27--27, 16(4)31--31, 18(3)25--25,
18(4)27--27, 19(3)21--21, 21(4)30--30, 22(1)1--1, 24(4)34--34
-
descriptive, 2(1)135--153, 20(2)9--9
-
Desharnais, Jules, 7(4)798--833
-
Desharnais:2006:KAD, 7(4)798--833
-
design, 1(1)60--76, 1(1)171--174, 2(1)93--134, 9(1)4--4, 9(3)20--20,
13(1)2--2, 13(2)16--16, 13(2)18--18, 15(1)5--5, 15(3)25--25,
16(1)6--6, 16(3)25--25, 19(1)5--5, 19(4)24--24, 20(1)6--6,
23(4)26--26, 24(2)13--13
-
designed, 10(2)11--11, 13(1)6--6, 15(1)4--4, 16(4)31--31, 19(3)17--17,
20(4)22--22
-
designers, 19(4)24--24
-
designing, 19(4)24--24
-
desirable, 10(3)17--17, 15(4)26--26, 17(2)8--8, 18(2)16--16, 19(2)13--13
-
desired, 13(2)12--12, 14(2)12--12, 15(2)12--12, 16(3)23--23, 16(3)25--25,
18(2)12--12
-
desired., 11(4)27--27
-
despite, 10(3)22--22, 13(1)7--7, 13(2)10--10, 14(1)5--5, 15(4)35--35,
16(1)7--7, 16(2)17--17, 17(4)25--25
-
detail, 10(2)12--12, 10(2)13--13, 19(3)22--22, 19(4)24--24
-
detailed, 12(2)15--15, 14(2)15--15, 16(4)33--33, 18(3)21--21
-
detect, 9(1)7--7, 10(3)17--17, 18(2)12--12, 18(4)28--28
-
detecting, 8(4)23--23, 9(3)20--20, 13(1)1--1, 14(4)33--33, 18(4)28--28,
20(3)16--16
-
detection, 9(1)7--7, 17(2)11--11, 20(3)16--16
-
determinacy, 24(2)16--16
-
determinate, 17(4)23--23
-
determine, 12(2)13--13, 12(4)28--28, 13(4)28--28, 14(2)14--14,
14(3)23--23, 15(2)16--16, 18(2)13--13, 20(3)15--15, 20(4)25--25
-
determined, 1(2)208--246, 9(2)13--13, 16(3)24--24, 16(4)31--31,
17(1)1--1, 18(1)3--3, 19(3)17--17, 24(2)16--16
-
determining, 14(3)22--22, 17(3)17--17, 18(4)30--30
-
determinism, non-, 14(1)7--7
-
determinism, partial-, 19(2)13--13
-
deterministic, 1(1)77--111, 2(2)216--254, 5(1)1--25, 9(2)11--11,
10(1)5--5, 11(4)26--26, 13(2)12--12, 13(2)16--16, 13(2)18--18,
13(3)26--26, 13(4)29--29, 14(3)19--19, 14(3)22--22, 14(4)25--25,
16(1)1--1, 16(1)6--6, 17(1)3--3, 17(2)13--13, 17(4)24--24,
18(3)19--19, 18(3)25--25, 19(4)28--28, 20(2)11--11, 20(3)16--16
-
Deterministic, Non-, 19(3)21--21
-
deterministic, non-, 20(3)13--13
-
determinization, 2(3)408--429, 16(4)34--34
-
determinized, 11(4)23--23, 14(1)7--7
-
determinizes, 14(1)7--7
-
Deters, Morgan, 16(2)15--15, 17(2)12--12
-
Deters, Morgan, see Demri, Stephane,
see Demri, Stéphane
-
Deuser, Kaya, 22(3)17--17
-
Deuser:2021:SKA, 22(3)17--17
-
develop, 2(1)57--92, 9(2)14--14, 9(4)24--24, 10(2)12--12, 11(3)17--17,
11(3)18--18, 12(2)9--9, 12(3)22--22, 13(4)28--28, 14(1)1--1,
14(2)10--10, 14(2)12--12, 14(3)20--20, 14(4)34--34, 15(1)2--2,
15(3)18--18, 15(4)33--33, 16(1)5--5, 16(4)28--28, 16(4)30--30,
16(4)31--31, 17(1)4--4, 17(2)12--12, 17(4)27--27, 18(2)14--14,
18(4)29--29, 19(1)5--5, 19(2)10--10, 19(3)22--22, 19(4)28--28,
20(3)15--15, 20(4)19--19, 20(4)20--20, 21(1)2--2, 24(1)1--1
-
developed, 8(3)14--14, 9(1)4--4, 9(3)15--15, 9(3)16--16, 10(1)1--1,
10(3)15--15, 10(4)27--27, 13(4)28--28, 14(2)12--12, 14(3)17--17,
14(3)18--18, 14(3)22--22, 15(2)12--12, 15(4)28--28, 16(2)12--12,
17(1)4--4, 19(2)13--13, 21(1)2--2
-
developer, 1(2)208--246
-
developing, 8(3)14--14, 15(1)1--1, 16(1)6--6, 17(3)21--21, 21(1)3--3,
23(3)19--19
-
development, 1(1)77--111, 2(1)12--56, 2(2)255--287, 9(1)7--7, 9(3)17--17,
10(1)2--2, 12(2)15--15, 13(2)14--14, 14(4)26--26, 15(4)26--26,
16(1)8--8, 18(2)8--8, 19(2)15--15, 19(4)28--28, 20(4)24--24,
21(3)23--23, 24(3)21--21
-
deviant, 9(1)7--7
-
deviate, 12(3)21--21
-
device, 1(1)77--111, 1(1)131--161, 2(2)216--254, 2(3)408--429,
10(3)19--19, 13(2)18--18, 14(4)33--33, 19(4)28--28, 20(1)5--5
-
device, per-, 20(1)5--5
-
devised, 15(4)35--35, 19(3)18--18
-
devoted, 17(3)21--21
-
DEXPTIME, 9(4)28--28
-
DEXPTIME, 3-, 9(4)28--28
-
DEXPTIME-complete, 9(4)28--28
-
Dezani-Ciancaglini, M., 4(1)120--147
-
Dezani-Ciancaglini, Mariangiola, 11(4)25--25
-
Dezani-Ciancaglini:2003:CCC, 4(1)120--147
-
Dezani-Ciancaglini:2010:IIT, 11(4)25--25
-
DFG, 19(4)31--31
-
dG, 17(1)1--1
-
Di Cosmo, Roberto, 11(4)25--25
-
Di Cosmo, Roberto, see Dezani-Ciancaglini, Mariangiola
-
Di Giusto, Cinzia, 13(1)6--6
-
diagnosis, 10(1)3--3, 17(3)18--18
-
Diagonal, Off-, 17(4)26--26
-
diagonal, off-, 17(4)26--26
-
diagonally, 16(3)27--27
-
diagrams, 2(1)93--134, 14(4)31--31, 20(1)6--6, 24(4)31--31
-
dialect, 24(2)17--17
-
dialectical, 17(4)27--27
-
diameters, 14(2)8--8
-
diamond, 16(4)32--32, 18(3)22--22
-
\diamond, 19(3)18--18
-
dichotomous, 15(3)19--19, 16(4)33--33
-
dichotomy, 11(4)24--24, 16(1)7--7, 16(3)22--22, 18(1)1--1, 18(3)23--23,
21(3)20--20, 23(3)14--14
-
Diciolla, Marco, 14(4)33--33
-
Diciolla, Marco, see Chen, Taolue
-
Dickerson, John P., 14(2)12--12
-
Dickerson, John P., see Simari, Gerardo I.
-
dictated, 16(3)25--25
-
did, 9(3)19--19
-
Diéguez, Martín, 21(2)14--14,
see Balbiani, Philippe
-
Díez, Guillermo, Román-, 19(4)31--31
-
diff, 24(4)28--28
-
differ, 14(1)1--1, 14(3)24--24, 20(2)10--10, 24(4)28--28
-
difference, 9(3)22--22, 12(1)7--7, 13(2)10--10, 13(3)24--24, 16(3)27--27,
18(3)18--18, 18(3)19--19, 19(2)14--14, 20(3)14--14, 24(4)28--28
-
different, 1(1)131--161, 1(2)175--207, 2(1)93--134, 2(3)408--429,
9(2)13--13, 9(2)14--14, 9(3)17--17, 10(1)3--3, 10(2)8--8,
11(3)18--18, 11(4)25--25, 12(1)5--5, 12(1)6--6, 12(2)11--11,
12(2)14--14, 12(3)21--21, 12(4)26--26, 13(1)9--9, 13(2)12--12,
13(2)16--16, 13(4)28--28, 14(2)10--10, 14(2)15--15, 14(4)25--25,
14(4)27--27, 14(4)33--33, 15(3)18--18, 16(3)26--26, 16(3)27--27,
17(1)1--1, 17(2)9--9, 17(4)32--32, 18(1)4--4, 18(1)7--7, 18(2)8--8,
18(2)16--16, 18(4)27--27, 19(1)1--1, 19(3)22--22, 19(4)31--31,
20(4)20--20, 20(4)23--23, 21(3)25--25, 24(3)22--22
-
differential, 10(3)22--22, 17(1)1--1, 18(3)19--19, 20(4)19--19
-
differentially, 10(3)22--22
-
Differentiation, 24(3)23--23
-
Differently, 15(4)35--35
-
differing, 15(3)18--18, 24(3)27--27
-
difficult, 2(3)340--387, 9(3)17--17, 10(1)3--3, 10(3)17--17, 12(4)25--25,
14(3)20--20, 15(4)35--35, 16(1)7--7, 17(1)5--5, 19(4)24--24,
23(3)20--20
-
difficulty, 13(1)7--7, 18(1)3--3, 19(4)28--28
-
Diffie--Hellman, 9(4)24--24, 21(1)2--2
-
diffuse, 14(2)10--10
-
diffusion, 14(2)10--10
-
digit, 11(4)26--26
-
digital, 15(3)23--23, 21(1)2--2
-
DiGiusto:2012:EPM, 13(1)6--6
-
digraph, 17(2)10--10, 18(1)2--2
-
Dill, 2(1)93--134, 10(3)15--15
-
Dima, Catalin, 19(3)23--23
-
Dima:2018:RPT, 19(3)23--23
-
dimension, 8(2)z--99999999, 14(2)13--13, 14(3)24--24, 16(1)9--9,
20(4)19--19, 23(4)24--24, 24(1)2--2, 24(1)6--6
-
dimensional, 16(1)6--6
-
dimensional, one-, 20(3)14--14
-
dimensional, two-, 16(1)9--9
-
Dirac, 16(1)2--2
-
Dirac, non-, 16(1)2--2
-
direct, 1(1)33--59, 9(4)27--27, 11(3)16--16, 13(3)20--20, 13(4)29--29,
14(2)14--14, 16(3)19--19, 16(3)27--27, 16(4)34--34
-
directed, 1(2)247--284, 8(3)14--14, 12(4)26--26, 14(3)19--19, 16(1)3--3,
24(3)20--20
-
directed, goal-, 6(3)539--577, 13(4)32--32
-
directing, 9(3)17--17
-
direction, 11(3)19--19, 12(4)24--24, 13(1)6--6, 17(2)14--14, 17(3)17--17,
18(3)25--25
-
directional, bi-, 19(2)11--11
-
directly, 8(4)24--24, 10(1)2--2, 11(4)27--27, 12(1)3--3, 15(2)14--14,
20(2)7--7
-
directory-based, 9(1)4--4, 19(4)27--27
-
dirty, 14(4)34--34
-
disabling, self-, 20(3)16--16
-
disadvantages, 16(4)31--31, 17(2)14--14
-
disallowed, 9(4)27--27
-
disallowing, 13(3)21--21, 14(1)2--2
-
disallows, 20(1)4--4
-
discarding, 14(4)34--34
-
discharge, 10(3)20--20
-
discipline, 11(4)28--28
-
discordance, 18(2)8--8
-
discounted, 11(4)23--23
-
discover, 16(3)24--24, 19(4)27--27
-
discovered, 19(4)27--27
-
discovery, 9(1)7--7
-
discrete, 2(1)12--56, 8(3)15--15, 8(3)16--16, 9(2)12--12, 13(1)9--9,
17(1)1--1, 18(3)19--19, 18(3)22--22, 18(3)24--24, 24(2)17--17
-
Discrete-Time, 23(2)9--9
-
discrete-time, 1(1)162--170, 12(1)8--8, 18(3)19--19, 20(4)19--19,
21(4)32--32
-
discuss, 1(1)3--32, 8(3)16--16, 9(2)14--14, 10(3)22--22, 12(2)16--16,
13(3)23--23, 15(4)32--32, 16(1)8--8, 16(2)12--12, 17(1)4--4,
17(3)18--18, 18(1)3--3, 20(4)23--23, 24(1)2--2
-
discussed, 9(1)7--7, 18(1)1--1, 18(1)4--4, 19(2)13--13, 19(4)26--26
-
discussing, 10(1)1--1, 13(2)13--13, 16(4)33--33
-
disease, 14(2)10--10
-
dishonest, 14(4)34--34, 15(2)12--12
-
dishonesty, 14(4)34--34
-
disinformation, 15(2)12--12
-
disjoint, 13(1)9--9, 15(1)5--5, 16(1)9--9, 21(2)9--9
-
disjointness, 15(3)25--25, 19(2)13--13
-
disjunction, 6(3)519--538, 6(3)539--577, 7(1)1--37, 14(1)1--1, 14(1)2--2,
14(2)15--15, 16(4)35--35, 19(4)29--29, 23(3)16--16
-
disjunction-free, 17(1)7--7
-
disjunction-negation, conjunction-, 23(4)26--26
-
disjunctive, 6(2)295--327, 8(3)17--17, 11(2)14--14, 12(3)20--20,
14(1)3--3, 14(4)28--28, 16(2)12--12, 16(4)35--35, 17(1)7--7,
18(2)9--9
-
disjunctive, non-, 16(4)35--35
-
disjunctively, 16(4)35--35
-
disjuncts, 19(4)29--29
-
disparate, 10(1)3--3
-
display, 17(3)17--17, 22(3)20--20, 23(4)23--23, 24(2)13--13
-
Displayed, 24(2)13--13
-
disposal, 13(4)33--33
-
dispose, 15(4)31--31
-
disposition, 20(4)21--21
-
disprove, 20(3)17--17
-
disproved, 20(3)17--17
-
dispute, 10(1)1--1
-
distance, 9(2)13--13, 10(3)19--19, 14(2)14--14, 17(1)7--7, 20(4)25--25,
23(3)17--17
-
distance-based, 14(2)14--14, 17(3)20--20
-
distinct, 13(2)10--10, 16(4)32--32, 17(4)32--32, 20(2)11--11,
20(4)20--20, 20(4)22--22
-
distinction, 15(1)7--7, 24(3)20--20
-
distinctive, 9(2)13--13, 16(3)25--25
-
distinguish, 9(2)13--13, 12(4)24--24, 16(1)3--3, 16(3)21--21, 17(1)1--1,
21(1)7--7, 21(3)24--24, 22(1)3--3, 23(3)20--20, 24(3)22--22,
24(3)23--23, 24(3)25--25
-
distinguishable, 16(3)21--21
-
distinguished, 16(3)21--21, 16(4)35--35, 19(2)8--8
-
distinguishing, 16(3)21--21
-
distribute, 18(1)5--5, 20(4)22--22
-
distributed, 1(2)208--246, 1(2)247--284, 8(3)14--14, 12(2)9--9,
13(1)7--7, 14(2)9--9, 16(4)35--35, 17(2)11--11, 19(2)14--14,
19(4)31--31, 20(1)5--5, 20(3)16--16, 20(4)19--19, 21(1)5--5,
23(3)19--19
-
distributing, 8(3)14--14, 18(1)5--5
-
distribution, 10(1)5--5, 12(2)14--14, 14(3)20--20, 15(1)6--6,
15(2)16--16, 16(1)2--2, 20(3)18--18, 20(4)19--19
-
distribution, Resource-, 4(1)56--90
-
distributive, 8(2)z--99999999, 11(3)20--20, 20(1)3--3
-
distributivity, 11(3)20--20, 16(4)30--30
-
Ditmarsch, Hans van, 23(2)10--10
-
Ditmarsch, Hans van, see Balbiani, Philippe
-
diverge, 10(2)10--10, 10(3)20--20
-
diverse, 2(1)93--134, 21(1)2--2
-
diversity, 2(1)93--134
-
divide-and-conquer, 16(1)6--6
-
divided, 16(2)14--14, 17(1)5--5
-
divides, 13(1)9--9, 20(4)23--23
-
division, 10(1)2--2, 24(3)22--22
-
divisor, 10(1)2--2
-
Dix, Jürgen, 1(2)208--246, 5(1)129--176, 7(1)151--198,
see Brass, Stefan
-
Dix:2000:PAP, 1(2)208--246
-
Dix:2006:HTP, 7(1)151--198
-
Dixon, Clare, 2(1)12--56, 15(1)10--10, 20(4)23--23
-
Dixon, Clare, see Fisher, Michael,
see Nalon, Cláudia, \see{Zhang, Lan
-
DL, 14(1)2--2, 14(2)16--16, 16(4)31--31, 18(4)27--27
-
DL-Lite, 15(3)25--25, 16(4)31--31, 18(4)27--27
-
dl-programs, 12(2)11--11
-
DLs, 13(3)21--21, 14(1)2--2, 16(4)31--31, 18(4)27--27, 22(2)9--9
-
dLTS, 16(1)2--2
-
dLTSs, 16(1)2--2
-
DLV, 7(3)499--562, 14(1)3--3, 20(2)12--12
-
DNF, k-, 12(1)4--4
-
do, 1(1)33--59, 2(3)289--339, 8(4)20--20, 8(4)21--21, 10(3)20--20,
11(4)24--24, 11(4)26--26, 12(2)9--9, 13(1)6--6, 13(2)11--11,
13(3)21--21, 13(4)32--32, 13(4)34--34, 14(3)18--18, 15(3)20--20,
15(4)34--34, 15(4)35--35, 16(3)25--25, 16(4)32--32, 17(2)9--9,
17(3)19--19, 17(4)24--24, 19(3)18--18, 19(3)23--23, 19(4)24--24,
20(1)1--1, 20(2)10--10, 20(2)11--11, 21(2)11--11, 23(2)11--11,
23(2)12--12
-
documented, 2(2)255--287
-
documents, 17(4)32--32
-
Doder, D., 21(2)16--16
-
Doder, D., see Tomovi{\'c}, S.
-
Doherty, Simon, 23(4)27--27
-
Doherty:2022:UOW, 23(4)27--27
-
doing, 18(4)29--29
-
Dolev--Yao, 9(4)24--24, 11(3)17--17
-
domain, 1(2)175--207, 2(1)93--134, 2(2)155--181, 5(2)177--205,
5(4)669--705, 6(1)33--60, 7(4)798--833, 8(4)21--21, 9(1)7--7,
9(2)12--12, 9(4)26--26, 9(4)29--29, 10(1)1--1, 10(1)3--3,
11(4)27--27, 12(1)8--8, 12(4)27--27, 13(2)15--15, 13(3)27--27,
13(4)33--33, 14(1)1--1, 14(4)30--30, 15(1)8--8, 15(3)25--25,
15(4)33--33, 16(1)1--1, 16(2)11--11, 16(2)12--12, 16(3)27--27,
16(4)30--30, 17(2)13--13, 18(3)21--21, 18(4)28--28, 18(4)31--31,
19(2)10--10, 19(3)21--21, 20(2)8--8, 20(2)11--11, 20(3)17--17,
20(4)20--20, 20(4)25--25, 22(4)21--21, 24(1)2--2, 24(1)5--5,
24(1)9--9
-
domain-based, 19(1)3--3
-
domain-dependent, 7(4)613--657, 20(4)20--20
-
dominance, 15(4)28--28
-
dominating, 24(4)30--30
-
Domínguez, César, 15(3)23--23,
see Poza, María
-
domino, 20(3)16--16
-
done, 1(1)33--59, 10(1)5--5, 10(2)8--8, 11(3)18--18, 11(4)26--26,
12(1)2--2, 16(2)12--12, 16(3)19--19, 16(3)21--21, 17(1)7--7
-
Dong, Guozhu, 11(2)8--8
-
Dong, Guozhu, see Bailey, James
-
Dongol, Brijesh, 17(3)15--15, 23(4)27--27
-
Dongol, Brijesh, see Doherty, Simon
-
Dongol:2016:CUC, 17(3)15--15
-
Donini, Francesco M., 3(2)177--225
-
Donini:2002:DLM, 3(2)177--225
-
Donnelly, Kevin, 9(1)2--2
-
Donnelly, Kevin, see Avigad, Jeremy
-
door, 15(1)3--3
-
double, 13(1)4--4, 20(1)2--2
-
double-exponential, 2(3)408--429
-
double-linked, 15(4)33--33
-
doubly, 13(3)27--27, 16(1)9--9, 17(2)8--8, 17(4)30--30, 19(2)8--8,
20(3)14--14, 24(1)1--1
-
Dovier, 9(3)15--15
-
Dovier, Agostino, 7(2)269--301, 9(3)15--15
-
Dovier:2006:DRS, 7(2)269--301
-
Dovier:2008:UAC, 9(3)15--15
-
Dowek, Gilles, 13(3)20--20
-
Dowek:2012:PNL, 13(3)20--20
-
down, 13(2)12--12, 14(2)15--15, 15(3)21--21
-
down, top-, 15(3)24--24
-
downward, 12(3)19--19, 13(4)34--34, 17(2)14--14
-
downward-XPath, 13(4)34--34
-
Doyen, Laurent, 11(4)23--23, 15(2)16--16
-
Doyen, Laurent, see Chatterjee, Krishnendu
-
DP-complete, 15(3)19--19
-
DPDA, 17(2)13--13
-
DPLL, 7(1)84--107, 14(3)20--20
-
Drabent, Wlodzimierz, 17(3)18--18
-
Drabent:2016:CCL, 17(3)18--18
-
DRAs, 20(2)11--11
-
DRAs, 1-, 20(2)11--11
-
drastically, 19(1)1--1
-
draw, 2(3)289--339, 18(3)21--21
-
drawback, 15(3)23--23, 17(3)18--18
-
drawn, 12(4)26--26
-
Drescher, Conrad, 15(3)20--20
-
Drescher, Conrad, see Aschinger, Markus
-
Dries, Lou, Van Den, 10(1)2--2
-
drinking, 14(4)34--34
-
drive, 16(1)8--8
-
driven, conflict-, 14(2)15--15
-
Driven, Evaluation-, 16(1)8--8
-
driven, evaluation-, 16(1)8--8
-
Driven, Query-, 14(2)16--16
-
driven, query-, 14(2)16--16
-
driving, 15(3)23--23
-
drop, 15(1)8--8
-
dropped, 15(2)15--15
-
dropping, 12(2)10--10, 13(3)21--21, 16(2)15--15
-
DRS, 16(4)32--32
-
DSAs, 19(2)14--14
-
DSTJs, 19(2)14--14
-
DSTs, 19(2)14--14
-
dtc, 11(4)26--26
-
dtc-logic, 11(4)26--26
-
DTIME2, 16(3)26--26
-
DTL, 15(1)4--4
-
DTMC, 20(4)19--19
-
DTT, 14(4)32--32
-
dual, 13(2)15--15, 15(3)24--24, 20(4)22--22, 22(2)11--11
-
dual, self-, 12(4)23--23, 19(1)5--5, 20(4)22--22
-
duality, 10(2)12--12, 15(1)3--3, 20(1)2--2, 20(4)24--24, 21(3)22--22
-
dualize, 20(1)3--3
-
dually, 20(4)24--24
-
Duan, Kaiqiang, 19(4)27--27
-
Duan, Kaiqiang, see Li, Yongjian
-
Duan, Runyao, 10(3)19--19
-
Duan, Runyao, see Ying, Mingsheng
-
Dudenhefner, Andrej, 22(3)15--15
-
Dudenhefner:2021:KSI, 22(3)15--15
-
due, 1(2)247--284, 9(1)7--7, 9(3)22--22, 10(1)3--3, 10(2)11--11,
13(1)3--3, 14(1)2--2, 16(1)8--8, 16(2)12--12, 17(4)23--23,
17(4)26--26, 18(1)4--4, 18(4)27--27, 19(2)15--15, 19(4)29--29
-
Dung, 16(3)22--22, 17(4)27--27
-
duplicator, 1(1)33--59
-
Duque, David, Fernández-, 15(1)4--4, 21(2)14--14
-
durable, 16(4)35--35
-
Durand, Arnaud, 8(4)21--21, 13(4)31--31, 23(1)3--3
-
Durand:2007:FOQ, 8(4)21--21
-
Durand:2012:HDL, 13(4)31--31
-
Durand:2022:TFD, 23(1)3--3
-
duration, 9(2)12--12, 14(4)33--33
-
during, 8(3)15--15, 8(3)16--16, 10(2)10--10, 12(2)16--16, 12(3)21--21,
14(2)12--12, 16(1)8--8, 18(1)3--3, 18(3)18--18, 18(4)28--28,
19(2)12--12, 24(1)7--7
-
Dyck-languages, 13(3)19--19
-
Dyckhoff, Roy, 14(4)34--34
-
Dyckhoff:2013:APT, 14(4)34--34
-
dynamic, 1(1)60--76, 4(4)417--430, 5(3)470--507, 9(3)17--17, 9(4)27--27,
9(4)29--29, 12(3)21--21, 12(4)29--29, 13(3)19--19, 13(3)26--26,
14(4)34--34, 15(1)4--4, 16(4)30--30, 16(4)32--32, 17(1)1--1,
18(3)19--19, 20(4)20--20, 20(4)24--24, 21(2)8--8, 22(2)9--9,
23(1)4--4, 24(3)19--19
-
dynamical, 8(4)21--21, 14(1)7--7, 16(1)4--4, 17(3)15--15, 19(4)25--25,
23(2)9--9
-
dynamically, 1(1)131--161, 8(3)14--14, 19(4)25--25
-
DynFO, 13(3)19--19
-
DynPROP, 13(3)19--19
-
DynQF, 13(3)19--19