Index file section C for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
C
-
C, 1(1)33--59, 8(3)14--14, 9(4)28--28, 10(3)22--22, 14(4)26--26, 16(1)6--6,
17(4)25--25, 17(4)31--31, 20(1)3--3, 21(2)9--9
-
c, 14(3)19--19, 15(2)16--16, 15(4)27--27, 19(4)29--29
-
C-definable, 1(1)33--59
-
C-relation, 18(3)23--23
-
C-semiring, 12(1)5--5
-
C-separation, 21(2)9--9
-
C.2.2, 1(1)162--170
-
C^2, 23(1)1--1
-
Cabrer, Leonardo M., 20(1)2--2
-
Cabrer:2019:CAU, 20(1)2--2
-
cache, 9(1)4--4, 19(4)27--27
-
cache-coherence, 9(1)4--4
-
Cadoli, 1(1)131--161
-
Cadoli, Marco, 6(2)232--272, 10(3)17--17
-
Cadoli, Marco, see Bordeaux, Lucas
-
Cadoli:2005:CPN, 6(2)232--272
-
Cai, Shaowei, 19(4)27--27, 24(4)32--32
-
Cai, Shaowei, see Li, Yongjian
-
Cai--Fürer--Immerman, 19(2)7--7
-
Cai-Fürer-Immerman, 19(2)7--7
-
Cai:2023:LSS, 24(4)32--32
-
Calautti, Marco, 18(4)28--28
-
Calautti:2017:DDC, 18(4)28--28
-
calc, IR-, 19(1)1--1
-
Calcagno, 19(2)13--13
-
calculate, 20(1)6--6
-
calculating, 13(1)7--7
-
Calculator, 10(1)1--1
-
calculi, 2(2)182--215, 2(3)340--387, 3(2)226--278, 6(3)578--613,
8(4)22--22, 9(1)6--6, 10(3)18--18, 10(3)21--21, 11(4)25--25,
11(4)28--28, 14(1)7--7, 14(2)15--15, 14(4)30--30, 16(1)5--5,
17(3)15--15, 17(3)17--17, 19(1)1--1, 19(2)11--11, 19(2)13--13,
20(2)7--7, 20(3)13--13, 21(2)8--8, 21(3)18--18, 21(3)22--22,
23(4)23--23, 24(2)13--13
-
calculus, -, 4(4)493--529, 11(4)28--28
-
calculus, lambda-, 8(3)14--14, 9(1)6--6, 13(2)10--10,
13(2)18--18, 13(3)20--20
-
calculus, mu-, 19(3)23--23
-
Calculus, Mu-, 19(3)23--23
-
calculus, pi-, 14(1)4--4
-
Calculus-always, 21(1)4--4
-
calculus-based, Predicate-, 7(1)38--83
-
Calimeri, 15(4)32--32
-
call, 2(1)93--134, 12(4)23--23, 13(1)2--2, 13(1)3--3, 14(2)8--8,
14(4)27--27, 15(1)4--4, 15(1)8--8, 15(4)32--32, 16(4)34--34,
17(2)11--11, 17(2)13--13, 18(2)14--14, 18(4)29--29, 19(3)23--23,
19(4)29--29, 20(1)5--5, 20(3)13--13, 21(3)21--21, 22(1)4--4
-
call, SAT-, 20(3)15--15
-
call-by-name, 10(2)12--12, 13(2)18--18
-
call-by-value, 10(2)12--12
-
called, 8(4)19--19, 8(4)22--22, 9(2)9--9, 9(3)21--21, 9(4)26--26,
9(4)27--27, 10(2)8--8, 10(4)24--24, 10(4)26--26, 11(3)20--20,
12(1)7--7, 12(2)17--17, 12(3)22--22, 12(4)23--23, 13(2)10--10,
13(2)11--11, 13(4)30--30, 14(2)10--10, 14(2)12--12, 14(4)28--28,
15(3)18--18, 15(4)32--32, 15(4)34--34, 16(3)25--25, 16(4)31--31,
17(3)16--16, 17(3)22--22, 18(1)3--3, 18(1)4--4, 18(3)25--25,
19(2)7--7, 19(2)13--13, 19(3)19--19, 19(4)30--30, 20(4)20--20,
20(4)22--22, 22(1)5--5, 22(1)7--7, 23(4)21--21, 24(2)17--17,
24(3)22--22
-
called, ACT-R-, 19(3)22--22
-
called, so-, 2(2)182--215, 10(3)15--15, 12(4)26--26,
13(4)31--31, 14(4)30--30, 16(4)31--31, 16(4)34--34, 17(4)24--24,
19(3)16--16, 19(3)21--21, 20(2)10--10, 20(2)12--12
-
Calvanese, Diego, 9(3)22--22, 18(4)27--27
-
Calvanese, Diego, see Ahmetaj, Shqiponja
-
Calvanese:2008:CQC, 9(3)22--22
-
camera, 5(4)732--767
-
campaign, 14(2)10--10
-
cancellativity, 19(2)13--13
-
candidate, 16(2)11--11, 19(2)7--7, 20(3)15--15
-
cannot, 1(1)33--59, 9(3)17--17, 10(1)4--4, 11(3)15--15, 11(3)16--16,
11(4)23--23, 11(4)26--26, 13(1)2--2, 13(1)4--4, 14(3)23--23,
14(4)30--30, 15(2)17--17, 15(4)30--30, 15(4)33--33, 16(1)3--3,
16(4)31--31, 17(2)14--14, 17(3)17--17, 18(2)15--15, 18(3)23--23,
18(4)31--31, 19(2)7--7, 19(3)23--23, 22(1)3--3, 23(3)18--18,
24(4)30--30
-
canonical, 6(1)61--101, 8(1)z--z, 9(1)3--3, 11(4)28--28, 13(3)24--24,
14(4)29--29, 15(1)6--6, 16(1)1--1, 16(3)26--26, 20(4)20--20
-
Canonisation, 24(1)6--6
-
Cantor, 15(2)13--13
-
capability, 13(4)33--33, 16(3)27--27, 16(4)29--29, 22(1)1--1
-
capable, 2(1)57--92, 15(1)5--5, 19(2)14--14
-
capturable, 13(2)10--10
-
capture, 1(1)33--59, 1(1)77--111, 1(2)247--284, 2(1)135--153,
4(4)578--651, 8(4)19--19, 9(3)19--19, 9(3)22--22, 12(1)6--6,
12(1)8--8, 12(2)14--14, 12(3)21--21, 13(1)1--1, 13(1)2--2,
14(2)15--15, 14(2)16--16, 14(4)28--28, 15(2)15--15, 15(3)25--25,
15(4)34--34, 15(4)35--35, 16(1)1--1, 16(3)25--25, 16(3)26--26,
16(4)33--33, 17(2)13--13, 18(4)32--32, 19(4)25--25, 19(4)31--31,
20(4)21--21, 21(4)29--29, 22(1)5--5, 23(4)27--27, 24(2)17--17
-
captured, 10(2)9--9, 10(4)27--27, 15(1)8--8, 17(3)17--17, 19(3)16--16,
23(4)23--23
-
capturing, 2(1)135--153, 8(3)18--18, 17(2)12--12, 19(2)7--7
-
capturing, atom-, 19(1)6--6
-
Carapelle, Claudia, 21(2)12--12
-
Carapelle, Claudia, see Feng, Shiguang
-
Carayol, Arnaud, 15(3)24--24, 16(4)36--36, 21(3)21--21, 22(2)12--12,
22(3)16--16
-
Carayol, Arnaud, see Broadbent, Christopher H.
-
Carayol:2014:RAI, 15(3)24--24
-
Carayol:2015:ERA, 16(4)36--36
-
Carayol:2020:HGS, 21(3)21--21
-
carbon, 14(3)23--23
-
Carbonell, Enric, Rodríguez-, 20(4)25--25
-
Cardelli, Luca, 20(4)19--19
-
Cardelli, Luca, see Bortolussi, Luca
-
cardinality, 11(4)24--24, 12(2)12--12, 14(2)15--15, 15(3)25--25,
16(2)17--17, 16(3)24--24, 16(3)26--26, 20(1)2--2
-
care, 16(1)3--3, 19(3)19--19
-
carefully, 15(3)20--20
-
Carlucci, Lorenzo, 17(4)26--26
-
Carlucci:2016:PCP, 17(4)26--26
-
Carreiro, Facundo, 21(2)15--15
-
Carreiro:2020:PW, 21(2)15--15
-
carried, 15(4)31--31, 18(4)27--27
-
carry, 2(3)289--339, 12(4)27--27, 15(1)8--8, 17(1)5--5, 19(2)15--15,
20(2)12--12
-
carrying, 15(1)8--8
-
Cartesian, 15(3)25--25, 16(3)23--23, 19(2)14--14
-
Carvalho, Catarina, 24(1)5--5
-
Carvalho:2023:CQC, 24(1)5--5
-
case, 1(1)131--161, 1(2)175--207, 1(2)247--284, 2(1)57--92, 2(1)135--153,
2(2)155--181, 2(2)216--254, 2(3)289--339, 2(3)340--387, 8(3)17--17,
8(4)20--20, 9(1)1--1, 9(3)22--22, 10(1)1--1, 10(1)3--3, 10(1)5--5,
10(3)17--17, 11(3)18--18, 11(4)26--26, 12(1)2--2, 12(2)9--9,
12(2)13--13, 12(3)21--21, 13(2)13--13, 13(3)21--21, 13(3)23--23,
13(3)25--25, 13(3)26--26, 13(4)30--30, 13(4)31--31, 14(1)3--3,
14(1)7--7, 14(2)14--14, 14(3)20--20, 14(3)24--24, 15(1)7--7,
15(1)8--8, 15(2)16--16, 15(4)31--31, 16(1)1--1, 16(1)3--3,
16(3)25--25, 16(4)29--29, 17(1)2--2, 17(1)3--3, 17(3)15--15,
17(3)20--20, 18(1)1--1, 18(2)12--12, 18(2)16--16, 18(3)21--21,
19(2)7--7, 19(3)18--18, 19(3)19--19, 20(1)2--2, 20(1)3--3,
20(2)10--10, 20(4)20--20, 20(4)25--25, 21(1)4--4, 21(1)6--6,
21(3)20--20, 21(4)32--32, 23(3)15--15, 24(2)16--16
-
Case, Adam, 23(4)24--24
-
case, best-, 14(2)15--15, 14(3)22--22
-
Case, Worst-, 20(1)6--6
-
case, worst-, 2(3)340--387, 14(1)2--2, 14(3)22--22, 17(1)4--4,
20(1)6--6
-
case-and, 16(3)20--20
-
Case:2022:IAR, 23(4)24--24
-
case:we, 1(2)175--207
-
Casini, Giovanni, 22(1)1--1
-
Casini, Giovanni, see Britz, Katarina
-
cast, 12(3)20--20
-
Castiglioni, Valentina, 23(4)22--22
-
Castiglioni, Valentina, see Aceto, Luca
-
CAT0, 20(3)17--17
-
Cate, Balder, Ten, 17(2)8--8, 22(2)13--13
-
categorical, 9(3)23--23, 13(1)3--3, 15(1)3--3, 16(3)23--23, 23(4)25--25
-
category, 13(1)3--3, 14(1)7--7, 16(3)23--23, 16(4)31--31, 17(4)29--29,
18(4)30--30, 19(2)15--15, 20(1)3--3, 23(4)25--25
-
cater, 24(2)17--17
-
causal, 1(1)131--161, 10(1)1--1, 21(4)34--34
-
causality, 9(3)20--20
-
causes, 9(3)20--20, 10(3)16--16, 11(4)29--29, 12(2)10--10, 12(3)19--19
-
cautious, 13(2)17--17
-
Cavalcanti, Ana, 21(3)24--24, 24(2)17--17
-
Cavalcanti, Ana, see Baxter, James
-
Cavalcanti:2020:IOC, 21(3)24--24
-
Cavallo, Evan, 23(3)18--18
-
Cavallo, Evan, see Gratzer, Daniel
-
CBQA, 14(2)12--12
-
CCA1, IND-, 21(1)2--2
-
CCA2, IND-, 21(1)2--2, 22(1)3--3
-
CCS, 10(1)6--6, 19(4)28--28
-
CCS-like, 18(1)4--4
-
cedents, 19(4)29--29
-
CEGAR, 12(1)1--1
-
CEK, 9(1)6--6
-
central, 10(2)12--12, 14(4)32--32, 14(4)33--33, 15(3)19--19, 17(2)10--10,
18(1)6--6, 19(1)4--4, 20(4)19--19
-
centred, CM-, 16(4)35--35
-
Cenzer, 23(4)24--24
-
Cenzer, Douglas, 18(3)18--18
-
Cenzer, Douglas, see Barmpalias, George
-
Cerna, David, 21(2)10--10
-
Cerna:2020:IAU, 21(2)10--10
-
Cerný, Pavol, 13(3)27--27, see Alur, Rajeev
-
Cerrito, Serenella, 17(1)4--4
-
Cerrito:2015:OTM, 17(1)4--4
-
certain, 1(2)247--284, 2(1)57--92, 2(3)289--339, 2(3)340--387,
2(3)408--429, 8(4)20--20, 9(2)13--13, 11(3)17--17, 12(2)16--16,
12(4)24--24, 13(2)13--13, 13(3)22--22, 13(4)28--28, 14(1)3--3,
14(2)12--12, 14(3)18--18, 14(4)32--32, 14(4)33--33, 15(3)22--22,
15(4)33--33, 16(1)5--5, 16(3)23--23, 16(4)35--35, 17(1)5--5,
17(2)13--13, 17(3)17--17, 17(3)21--21, 17(4)27--27, 18(1)1--1,
18(2)9--9, 19(2)7--7, 19(2)13--13, 20(3)13--13, 20(3)15--15,
20(4)24--24, 23(4)24--24, 24(4)32--32
-
certainty, 10(1)3--3
-
certificates, 16(3)24--24, 20(1)1--1
-
certified, 9(3)16--16, 14(4)26--26, 15(3)23--23
-
certifying, 10(4)28--28, 11(3)18--18, 24(1)8--8
-
CFI, 19(2)7--7
-
CFI-construction, 19(2)7--7
-
CFI-graph, 19(2)7--7
-
CFI-graphs, 19(2)7--7
-
CFI-query, 19(2)7--7
-
CFI-recognising, 19(2)7--7
-
Chadha, Rohit, 12(1)1--1, 17(4)23--23, 21(1)2--2
-
Chadha, Rohit, see Bana, Gergei
-
Chadha:2010:CGA, 12(1)1--1
-
Chadha:2016:AVE, 17(4)23--23
-
chain, 1(1)162--170, 12(1)6--6, 13(2)12--12, 14(4)33--33, 16(1)4--4,
18(2)12--12, 20(4)19--19, 21(4)32--32
-
chaining, backward-, 9(4)27--27
-
Chaitin, 18(3)18--18
-
challenge, 12(1)1--1, 16(1)6--6, 16(2)11--11, 19(4)27--27, 20(4)22--22,
23(2)8--8
-
challenging, 9(4)27--27, 14(3)22--22, 19(2)7--7, 19(4)28--28,
19(4)31--31
-
Chalopin, 20(3)17--17
-
Chalopin, Jérémie, 20(3)17--17
-
Chalopin:2019:SPN, 20(3)17--17
-
Chan, 11(3)20--20
-
Chandy, 1(1)3--32
-
change, 1(2)208--246, 10(4)29--29, 13(3)21--21, 13(4)30--30, 14(2)12--12,
14(2)14--14, 15(1)10--10, 16(2)11--11, 16(4)31--31, 17(3)20--20,
18(1)6--6, 18(2)16--16, 18(4)27--27, 19(2)12--12, 20(4)20--20,
21(1)6--6, 24(2)18--18, 24(3)27--27
-
change, size-, 10(4)27--27
-
changed, 18(2)16--16, 20(4)25--25
-
changing, 1(1)131--161, 24(1)2--2
-
channel, 9(1)5--5, 13(1)7--7, 17(3)16--16, 21(1)5--5
-
channeling, 8(4)23--23
-
character, 13(3)20--20, 14(4)26--26
-
characterisation, 10(4)29--29, 15(1)8--8, 15(2)14--14, 16(4)33--33,
19(1)3--3, 19(3)21--21, 20(3)14--14, 23(4)27--27, 24(2)10--10
-
characterised, 19(3)21--21
-
characterising, 17(3)15--15, 17(3)17--17
-
characteristic, 1(2)247--284, 2(1)93--134, 9(2)13--13, 10(1)1--1,
12(2)17--17, 23(1)5--5
-
characterization, 2(1)135--153, 4(1)120--147, 8(1)z--99999999,
8(3)17--17, 9(4)26--26, 10(1)7--7, 10(4)24--24, 10(4)27--27,
11(3)20--20, 11(4)23--23, 11(4)25--25, 13(2)18--18, 13(3)24--24,
13(4)33--33, 14(2)15--15, 14(4)27--27, 15(1)5--5, 15(2)13--13,
15(2)15--15, 15(3)18--18, 15(4)32--32, 16(1)2--2, 16(4)31--31,
17(1)3--3, 17(1)7--7, 18(1)7--7, 18(3)20--20, 18(3)24--24,
18(4)30--30, 19(3)20--20, 20(3)15--15, 20(3)17--17, 21(1)6--6,
21(4)28--28
-
characterize, 9(2)12--12, 10(2)11--11, 10(4)24--24, 13(1)5--5,
13(2)17--17, 13(2)18--18, 14(1)2--2, 14(1)6--6, 15(1)2--2,
15(2)11--11, 15(4)35--35, 16(3)26--26, 18(4)29--29, 20(4)20--20,
20(4)24--24
-
characterized, 2(2)216--254, 10(3)21--21, 12(2)17--17, 13(4)30--30,
17(3)20--20, 18(2)8--8, 19(4)26--26, 20(1)1--1
-
characterizing, 4(4)417--430, 10(1)3--3, 11(4)28--28, 13(2)18--18,
14(2)15--15, 17(1)1--1, 20(4)19--19, 20(4)20--20
-
Charalambidis, Angelos, 14(3)21--21
-
Charalambidis:2013:EHO, 14(3)21--21
-
Charatonik, Witold, 17(4)31--31, 17(4)32--32
-
Charatonik, Witold, see Benaim, Saguy
-
Charatonik:2016:TVL, 17(4)31--31
-
Charlesworth, Arthur, 7(3)590--612
-
Charlesworth:2006:CSC, 7(3)590--612
-
Chatterjee, 15(4)34--34
-
Chatterjee, Krishnendu, 11(1)1--1, 11(4)23--23, 12(4)28--28,
15(2)16--16, 15(4)27--27, 18(4)31--31
-
Chatterjee, Krishnendu, see Boker, Udi
-
Chatterjee:2009:FWR, 11(1)1--1
-
Chatterjee:2010:QL, 11(4)23--23
-
Chatterjee:2011:QCP, 12(4)28--28
-
Chatterjee:2014:POS, 15(2)16--16
-
Chatterjee:2017:NWA, 18(4)31--31
-
Chatzikokolakis, 13(4)28--28
-
Chatzikokolakis, Konstantinos, 13(4)28--28
-
Chatzikokolakis:2012:ESG, 13(4)28--28
-
Chechik, Marsha, 13(1)1--1
-
Chechik, Marsha, see Gurfinkel, Arie
-
check, 9(3)19--19, 9(3)20--20, 10(3)17--17, 12(1)1--1, 13(2)13--13,
14(2)12--12, 15(2)14--14, 15(3)18--18, 15(4)34--34, 16(1)4--4,
17(2)13--13, 17(2)14--14, 18(2)14--14, 19(4)28--28, 20(1)2--2,
22(4)22--22
-
checkable, 2(1)1--11
-
checked, 9(1)1--1, 13(2)13--13
-
checked, machine-, 21(1)2--2
-
checker, 2(1)93--134, 10(1)4--4, 19(3)19--19, 19(4)28--28, 20(1)6--6
-
checker, type-, 14(4)32--32
-
checking, inclusion-, 16(4)34--34
-
Checking, Model-, 15(3)22--22, 15(4)34--34, 21(2)11--11
-
checking, Model-, 1(1)162--170
-
checking, model-, 8(4)21--21, 9(2)12--12, 10(3)15--15,
12(2)13--13, 13(1)1--1, 15(3)22--22, 15(4)27--27, 15(4)34--34,
19(1)2--2, 21(2)11--11, 21(4)29--29, 21(4)34--34, 22(1)5--5
-
Chen, 24(1)5--5
-
Chen, Hubie, 15(1)9--9, 18(4)29--29
-
Chen, Jinsheng, 23(4)23--23
-
Chen, Liang-Ting, 22(4)23--23
-
Chen, Liang-Ting, see Adámek, Jirí
-
Chen, Taolue, 14(4)33--33
-
Chen, Xiaoping, 14(1)3--3
-
Chen:2013:CLM, 14(1)3--3
-
Chen:2013:VLD, 14(4)33--33
-
Chen:2014:CEP, 15(1)9--9
-
Chen:2017:OHS, 18(4)29--29
-
Chen:2022:SCP, 23(4)23--23
-
Cheney, James, 12(2)15--15
-
Cheney, James, see Urban, Christian
-
Chepoi, 20(3)17--17
-
Chepoi, Victor, 20(3)17--17
-
Chepoi, Victor, see Chalopin, Jérémie
-
Chesani, Federico, 9(4)29--29
-
Chesani, Federico, see Alberti, Marco
-
Cheval, Vincent, 17(4)23--23
-
Cheval, Vincent, see Chadha, Rohit
-
Chevalier, Yannick, 9(4)24--24
-
Chevalier:2008:CRS, 9(4)24--24
-
Chevalley, Beck-, 16(3)23--23
-
Chew, Leroy, 19(1)1--1
-
Chew, Leroy, see Beyersdorff, Olaf
-
chi, 2(2)216--254, 10(3)15--15
-
child, 13(4)34--34
-
children, 14(2)10--10, 14(4)34--34
-
China, 19(4)28--28
-
Chistikov, Dmitry, 23(2)9--9
-
Chistikov, Dmitry, see Almagor, Shaull
-
Chlebowski, Szymon, 18(2)8--8
-
Chlebowski:2017:AGE, 18(2)8--8
-
Chockler, Hana, 9(3)20--20, 11(4)29--29
-
Chockler:2008:WCS, 9(3)20--20, 11(4)29--29
-
Chockler:2010:EWC, 9(3)20--20, 11(4)29--29
-
Choi, C. W., 8(4)23--23
-
Choi:2007:RPR, 8(4)23--23
-
choice, 2(3)388--407, 14(2)15--15, 15(2)16--16, 16(3)23--23, 17(1)1--1,
18(4)27--27, 20(2)7--7, 20(2)10--10
-
choice, committed-, 10(2)11--11, 13(1)6--6
-
choiceless, 19(2)7--7
-
choose, 10(1)1--1, 12(4)28--28, 15(2)16--16, 17(3)22--22, 19(3)20--20
-
choosing, 12(4)28--28, 15(4)30--30, 20(1)3--3
-
chop, 17(3)15--15
-
chosen, 9(1)7--7, 15(4)35--35, 16(3)23--23, 18(1)1--1
-
CHP-Sl, 15(4)34--34
-
CHR, 10(2)11--11, 13(1)6--6, 14(1)1--1, 19(3)22--22
-
Chrétien, Rémy, 17(1)3--3, 21(1)1--1
-
Chretien:2015:SPP, 17(1)3--3
-
Chretien:2020:TMF, 21(1)1--1
-
Christie, Marc, 5(4)732--767
-
Christie, Marc, see Benhamou, Frédéric
-
Chrzaszcz, Daria, Walukiewicz-, 17(4)30--30
-
Church, 16(2)13--13, 19(1)6--6
-
Church--Rosser, 14(4)31--31, 16(2)10--10
-
Ciabattoni, Agata, 16(1)5--5, 17(3)17--17, 19(2)11--11, 22(3)20--20
-
Ciabattoni:2015:TPO, 16(1)5--5
-
Ciabattoni:2016:PLS, 17(3)17--17
-
Ciabattoni:2018:HSR, 19(2)11--11
-
Ciabattoni:2021:DLP, 22(3)20--20
-
Ciancaglini, M., Dezani-, 4(1)120--147
-
Ciancaglini, Mariangiola, Dezani-, 11(4)25--25
-
Cimatti, Alessandro, 12(1)7--7, 19(3)19--19
-
Cimatti:2010:EGC, 12(1)7--7
-
Cimatti:2018:ILS, 19(3)19--19
-
Ciobâca, Stefan, 17(4)23--23, see Chadha, Rohit
-
Ciobanu, Gabriel, 20(4)22--22
-
Ciobanu, Gabriel, see Horne, Ross
-
CIP, 24(4)34--34
-
circle, 16(2)15--15, 17(4)29--29
-
circuit, 9(3)19--19, 11(3)18--18, 20(1)6--6, 22(2)11--11, 23(1)6--6,
24(2)10--10
-
circular, 11(3)16--16, 24(3)20--20
-
circumscription, 2(3)340--387, 6(2)232--272, 20(2)8--8
-
circumvents, 2(3)408--429, 20(3)16--16
-
cities, 19(4)28--28
-
CL4, 15(1)1--1
-
claim, 14(2)9--9, 15(3)19--19, 15(4)34--34
-
claimed, 15(2)16--16
-
clarified, 10(2)11--11
-
Clark, 9(4)26--26
-
Clarke, 12(2)13--13
-
clasp, 14(1)3--3
-
classic, 2(2)216--254, 14(4)34--34, 16(4)32--32, 18(1)5--5, 19(2)15--15,
19(3)23--23
-
classical, 2(3)289--339, 2(3)340--387, 9(2)14--14, 10(2)12--12,
10(3)17--17, 10(3)19--19, 10(4)26--26, 11(2)11--11, 11(4)23--23,
11(4)28--28, 12(1)8--8, 12(3)20--20, 12(3)21--21, 13(2)11--11,
13(4)30--30, 14(1)1--1, 14(1)5--5, 14(2)14--14, 14(3)21--21,
15(1)9--9, 15(3)20--20, 15(3)21--21, 15(3)24--24, 15(4)30--30,
16(1)5--5, 16(3)23--23, 16(4)31--31, 16(4)33--33, 16(4)34--34,
16(4)35--35, 17(2)10--10, 18(3)24--24, 18(4)29--29, 19(1)1--1,
19(2)7--7, 19(4)28--28, 20(1)1--1, 20(3)13--13, 20(4)19--19,
23(2)13--13, 23(4)26--26, 24(2)13--13, 24(2)18--18
-
classification, 1(2)285--320, 6(1)1--32, 13(1)5--5, 15(1)9--9,
15(3)19--19, 17(1)2--2, 18(1)1--1, 18(1)2--2, 18(2)8--8, 18(3)23--23,
18(4)29--29, 20(2)8--8, 22(4)23--23, 23(1)1--1
-
classified, 20(2)8--8
-
classifier, 19(2)10--10
-
Classifiers, 19(2)10--10
-
classify, 13(2)17--17, 15(1)9--9, 15(2)16--16, 16(1)7--7, 18(4)29--29,
19(1)2--2, 19(1)5--5, 20(2)8--8, 23(1)1--1
-
clausal, 2(1)12--56, 15(3)25--25, 19(3)18--18, 20(4)23--23
-
clause, 1(1)131--161, 2(3)289--339, 9(4)27--27, 9(4)28--28, 10(2)11--11,
11(4)27--27, 14(1)3--3, 14(4)28--28, 17(3)18--18, 17(4)23--23,
18(3)21--21, 19(3)18--18, 20(2)7--7, 20(4)23--23, 24(1)7--7,
24(3)23--23
-
Clavel, Manuel, 5(3)528--576
-
Clavel, Manuel, see Basin, David
-
clean, 18(4)29--29
-
clear, 9(4)27--27, 23(1)3--3
-
clearly, 16(2)12--12
-
Clegg, 12(1)4--4
-
Clemente, 20(3)14--14
-
Clemente, Lorenzo, 20(3)14--14
-
Clemente:2019:BRT, 20(3)14--14
-
click, point-and-, 9(3)17--17
-
Clifford, 19(4)28--28
-
clique, 14(3)20--20
-
Clique-Width, 16(3)24--24
-
clique-width, 16(3)24--24, 17(2)10--10
-
clock, 9(2)10--10, 21(4)32--32
-
clones, 11(4)24--24, 18(1)1--1
-
close, 12(4)28--28, 14(3)20--20, 16(1)9--9, 16(3)23--23, 16(3)27--27
-
closed, 9(2)10--10, 9(4)26--26, 13(1)9--9, 13(2)11--11, 14(2)13--13,
15(3)22--22, 16(2)17--17, 16(3)23--23, 16(3)25--25, 17(4)25--25,
18(2)9--9, 19(2)9--9, 22(4)23--23, 23(4)24--24
-
closed, zone-, 10(3)15--15
-
closed-world, 14(2)16--16
-
closely, 2(3)289--339, 11(3)16--16, 11(4)28--28, 12(2)15--15, 13(1)7--7,
13(4)30--30, 13(4)32--32, 16(2)15--15, 18(4)27--27
-
closest, 14(2)14--14, 16(2)12--12
-
closing, 14(1)1--1
-
closure, 9(1)6--6, 10(1)3--3, 11(4)24--24, 11(4)26--26, 13(4)34--34,
14(2)9--9, 15(1)4--4, 15(2)13--13, 15(2)15--15, 15(3)24--24,
17(3)20--20, 17(4)24--24, 21(1)4--4, 21(4)31--31
-
cloud, 14(4)26--26
-
Clouston, Ranald, 19(2)13--13
-
Clouston, Ranald, see Hóu, Zhé
-
clue, 20(4)25--25
-
CM, 16(4)35--35
-
CM-centred, 16(4)35--35
-
CMA, UF-, 21(1)2--2
-
cmodels, 14(1)3--3
-
CNF, 11(3)18--18, 13(2)16--16, 16(4)28--28, 18(3)21--21
-
CNF, 3-, 17(3)19--19
-
co, 17(4)30--30
-
Co--Büchi, 13(4)29--29
-
co-Büchi, 2(3)408--429, 13(4)29--29
-
co-NEXPTIME-complete, 20(2)11--11
-
co-NP-complete, 13(1)5--5
-
coalescing, 9(1)6--6
-
coalgebra, 10(2)13--13, 14(1)7--7, 15(1)3--3, 20(1)3--3
-
coalgebra, Algebra-, 15(1)3--3
-
coalgebraic, 10(2)13--13, 14(1)7--7, 19(1)4--4, 21(3)23--23, 23(2)11--11
-
coalition, 10(2)13--13, 13(3)22--22, 22(3)17--17
-
coalitional, 23(4)21--21
-
coarse, 12(1)1--1
-
coarser, 14(1)7--7
-
COCA, 24(1)3--3
-
coclones, 11(4)24--24
-
Cocon, 23(4)25--25
-
cocontraction, 19(4)25--25
-
code, 1(2)208--246, 9(3)16--16, 20(1)6--6
-
coded, 13(3)25--25
-
codified, 9(1)7--7
-
coefficient, 16(4)33--33
-
cognition, 19(3)22--22
-
cognitive, 19(3)22--22, 20(4)21--21
-
Cohen, 14(4)30--30, 19(2)15--15
-
Cohen, Ernie, 1(1)171--174
-
Cohen, Liron, 21(4)31--31
-
Cohen, Sara, 6(2)328--360
-
Cohen:2000:NCP, 1(1)171--174
-
Cohen:2005:EAA, 6(2)328--360
-
Cohen:2020:NWF, 21(4)31--31
-
coherence, 9(1)4--4, 13(1)3--3, 16(3)23--23, 19(4)27--27
-
coherence, cache-, 9(1)4--4
-
coherent, 1(2)175--207
-
coincide, 1(1)131--161, 14(4)29--29, 16(1)2--2, 17(4)23--23, 17(4)25--25,
18(2)9--9, 18(4)33--33, 20(1)1--1, 20(2)10--10, 24(2)16--16
-
coinductive, 18(1)4--4
-
coinductive, non-, 18(1)4--4
-
Colcombet, 14(4)25--25
-
collaborate, 1(2)208--246
-
collapse, 11(4)22--22, 16(2)17--17, 16(3)21--21
-
Collapsibility, 24(1)5--5
-
collapsible, 14(2)8--8, 18(3)25--25, 22(2)12--12, 22(3)16--16
-
collapsing, 19(4)25--25
-
collect, 18(4)31--31, 20(2)10--10
-
collecting, 15(4)30--30
-
collection, 15(4)30--30, 19(4)28--28, 23(1)4--4
-
collections, 9(2)9--9, 17(4)25--25, 19(4)25--25, 19(4)30--30
-
collective, 9(2)9--9, 20(1)5--5
-
collinearity, 9(2)13--13
-
colorability, 8(4)20--20
-
colored, 16(3)21--21
-
coloring, three-, 20(1)1--1
-
colorings, bi-, 17(4)26--26
-
colour, 19(2)7--7
-
combination, 9(1)4--4, 9(2)8--8, 10(1)3--3, 10(1)4--4, 12(1)7--7,
12(2)11--11, 12(2)13--13, 12(3)20--20, 14(2)12--12, 14(2)16--16,
14(3)18--18, 14(4)28--28, 15(1)5--5, 15(4)34--34, 19(3)19--19,
19(4)24--24
-
combinator, 14(4)29--29
-
combinatorial, 1(2)285--320, 10(1)3--3, 12(2)12--12, 12(4)25--25,
14(3)20--20, 15(2)17--17, 16(1)1--1, 17(1)7--7, 17(4)26--26,
20(3)17--17, 23(1)7--7, 24(1)6--6
-
combinatorially, 18(1)2--2
-
combinatorics, 16(3)24--24, 18(2)10--10
-
combinatory, 14(4)29--29
-
combine, 1(2)285--320, 8(4)23--23, 12(1)4--4, 13(4)33--33, 15(1)4--4,
16(1)1--1, 16(3)22--22, 17(1)1--1, 17(1)5--5, 18(2)10--10,
18(3)19--19, 18(3)23--23, 22(2)9--9
-
combined, 2(1)57--92, 8(4)23--23, 9(2)8--8, 9(3)22--22, 12(3)21--21,
14(1)2--2, 14(2)11--11, 15(1)5--5, 18(3)19--19, 18(4)28--28,
20(4)19--19, 20(4)23--23
-
combining, 2(1)57--92, 10(3)19--19, 12(2)11--11, 12(3)20--20,
16(2)12--12, 18(1)6--6, 19(2)10--10, 20(4)23--23, 21(1)2--2,
21(2)16--16
-
combustion, 8(3)14--14
-
come, 13(2)12--12, 14(2)9--9, 15(1)8--8, 19(2)13--13, 22(3)16--16,
24(3)25--25
-
commercial, 10(1)3--3, 19(4)28--28, 20(4)20--20
-
commit, 19(4)24--24
-
committed-choice, 10(2)11--11, 13(1)6--6
-
common, 8(4)19--19, 8(4)23--23, 9(1)6--6, 10(1)2--2, 13(2)17--17,
13(4)29--29, 14(3)23--23, 16(1)7--7, 17(2)9--9, 18(2)10--10,
19(1)4--4, 20(1)6--6, 20(4)20--20
-
common-sense, 9(2)14--14
-
commonality, 16(4)35--35
-
commonly, 8(3)15--15, 15(1)5--5, 16(1)2--2, 20(4)25--25
-
commonsense, 20(2)8--8
-
communality, 16(4)35--35
-
communicate, 1(2)247--284, 9(1)5--5, 13(1)7--7, 14(2)9--9, 14(3)23--23,
21(1)5--5
-
communication, 8(3)14--14, 8(4)20--20, 9(1)5--5, 10(1)6--6, 10(3)19--19,
13(1)7--7, 14(4)34--34, 16(1)3--3, 16(4)35--35, 19(4)28--28,
23(4)22--22
-
Communication, Computer-, 1(1)162--170
-
communication-free, 20(3)18--18
-
communications, 10(3)19--19, 14(2)9--9
-
community, 2(1)57--92, 13(4)33--33, 15(4)26--26, 18(2)16--16
-
commutative, 17(3)15--15
-
Commutative, Non-, 20(4)22--22
-
commutative/noncommutative, 12(4)23--23
-
commuting, 9(4)24--24, 16(3)27--27
-
Comon, 9(4)28--28, 21(1)2--2, 22(1)3--3
-
Comon, Hubert, 4(1)33--55
-
Comon-Lundh, Hubert, 11(2)9--9
-
Comon-Lundh:2010:DSP, 11(2)9--9
-
Comon:2003:DCO, 4(1)33--55
-
compact, 1(1)131--161, 5(3)436--469, 9(3)15--15, 12(1)6--6, 15(3)18--18,
16(4)33--33
-
compactability, 14(3)24--24
-
compactly, 10(1)5--5
-
compare, 10(1)4--4, 10(4)27--27, 14(1)4--4, 17(3)18--18, 18(4)28--28,
19(2)12--12, 20(2)8--8, 20(2)10--10, 20(2)11--11
-
compared, 2(2)182--215, 8(4)21--21, 10(3)16--16, 12(2)10--10,
12(3)19--19, 13(2)15--15, 13(4)30--30, 15(3)21--21, 18(1)7--7,
19(2)10--10, 20(1)4--4, 20(1)6--6
-
comparing, 9(2)11--11, 13(2)16--16, 14(2)15--15, 16(4)29--29,
18(2)10--10, 19(3)23--23, 20(4)23--23, 24(3)26--26
-
comparison, 2(1)93--134, 6(2)295--327, 10(3)16--16, 14(4)28--28,
18(2)10--10, 18(2)12--12, 20(1)4--4
-
compatible, 16(3)25--25
-
compelling, 17(4)27--27
-
compete, 10(1)4--4
-
competence, 20(4)21--21
-
competitive, 2(2)182--215, 16(2)12--12, 19(2)10--10
-
competitors, 16(2)12--12
-
compexity, 9(3)22--22
-
compilability, 1(1)131--161, 8(1)z--99999999, 15(1)9--9
-
compilation, 1(1)131--161
-
complement, 4(4)493--529, 8(3)17--17, 13(1)4--4, 15(3)24--24,
16(2)17--17, 17(1)7--7, 17(2)8--8, 18(2)9--9
-
complementary, 13(3)24--24
-
complementation, 2(3)408--429, 16(4)34--34, 17(4)24--24
-
complete, 1(2)175--207, 1(2)208--246, 1(2)247--284, 2(2)155--181,
4(1)120--147, 8(2)z--99999999, 8(3)15--15, 8(3)16--16, 9(2)8--8,
9(2)13--13, 9(3)16--16, 9(3)20--20, 10(1)4--4, 10(1)5--5, 10(1)6--6,
10(2)12--12, 10(3)16--16, 10(3)20--20, 11(1)7--7, 11(3)16--16,
11(4)23--23, 11(4)27--27, 12(3)21--21, 12(4)29--29, 13(1)2--2,
13(1)5--5, 13(2)18--18, 13(3)22--22, 13(4)32--32, 14(1)6--6,
14(1)7--7, 14(2)16--16, 14(3)21--21, 14(4)27--27, 15(1)1--1,
15(1)2--2, 15(1)4--4, 15(1)7--7, 15(1)10--10, 15(3)19--19,
15(4)31--31, 16(1)3--3, 16(2)16--16, 16(3)22--22, 16(4)29--29,
16(4)31--31, 17(1)1--1, 17(1)4--4, 17(1)6--6, 17(1)7--7, 17(2)13--13,
17(2)14--14, 18(1)3--3, 18(2)11--11, 19(1)2--2, 19(2)7--7,
19(3)18--18, 19(3)22--22, 20(1)4--4, 20(2)8--8, 20(3)16--16,
20(4)21--21, 20(4)23--23, 21(1)2--2, 21(1)3--3, 21(1)4--4,
21(2)10--10, 22(2)13--13, 22(4)22--22, 24(1)1--1, 24(1)2--2,
24(1)6--6, 24(2)13--13
-
complete, 2EXPTIME-, 21(1)6--6
-
complete, 2ExpTime-, 15(4)34--34
-
complete, Ackermann-, 16(3)20--20, 17(3)16--16
-
Complete, Ackermann-, 17(3)16--16
-
complete, almost-, 18(4)31--31
-
complete, Böhm-, 11(4)28--28
-
complete, co-NEXPTIME-, 20(2)11--11
-
complete, co-NP-, 13(1)5--5
-
complete, coNEXPTIME-, 20(3)18--18
-
complete, coNP-, 13(3)23--23, 15(3)19--19, 16(1)7--7, 20(2)8--8
-
complete, DEXPTIME-, 9(4)28--28
-
complete, DP-, 15(3)19--19
-
complete, ExpSpace-, 12(2)10--10
-
complete, EXPTIME-, 9(4)26--26, 13(2)12--12, 13(4)34--34,
15(2)16--16, 21(1)7--7
-
complete, ExpTime-, 13(3)21--21, 14(2)13--13, 17(1)2--2
-
complete, ground-, 10(1)6--6
-
complete, model-, 18(3)23--23
-
complete, NEXP-, 16(1)9--9
-
complete, NEXPTIME-, 9(4)28--28, 17(4)32--32
-
complete, NExpTime-, 13(3)21--21, 17(4)31--31
-
complete, NL-, 12(2)13--13
-
complete, NLOGSPACE-, 20(2)11--11
-
complete, NP-, 9(1)3--3, 9(4)24--24, 12(2)13--13, 12(4)24--24,
13(1)5--5, 13(3)23--23, 14(2)13--13, 15(1)9--9, 15(3)19--19,
16(1)1--1, 17(1)2--2, 17(3)22--22, 18(1)2--2, 18(3)23--23
-
complete, NP-, 6(2)361--388
-
complete, pace-, 17(1)2--2
-
complete, PSPACE-, 12(2)13--13, 15(1)1--1, 20(2)11--11
-
complete, PSpace-, 11(3)20--20, 14(1)2--2, 17(1)2--2
-
complete, Pspace-, 13(1)5--5, 13(3)27--27, 18(1)2--2
-
complete, PSPACE-, 1(1)60--76
-
complete, TIME-, 5(4)669--705
-
complete, Turing-, 17(1)5--5
-
complete, W[1]-, 18(3)21--21
-
completely, 1(2)208--246, 8(4)19--19, 10(3)17--17, 10(3)20--20,
15(4)31--31, 15(4)33--33, 18(4)29--29, 20(2)8--8, 21(1)5--5
-
completeness, 1(1)131--161, 1(2)175--207, 1(2)247--284, 8(4)19--19,
9(4)29--29, 10(3)20--20, 10(3)21--21, 11(3)16--16, 13(1)6--6,
13(2)17--17, 14(1)1--1, 14(1)7--7, 14(4)27--27, 14(4)34--34,
15(3)21--21, 15(4)31--31, 16(4)29--29, 17(2)12--12, 17(2)14--14,
17(3)18--18, 18(1)3--3, 18(2)15--15, 19(1)3--3, 19(1)4--4,
19(2)13--13, 19(3)23--23, 20(3)13--13, 20(4)23--23, 21(2)16--16,
22(3)15--15, 22(3)17--17, 23(4)23--23
-
completeness, 2-EXPTIME-, 9(4)26--26
-
completeness, A[2]-, 18(3)21--21
-
completeness, Ackermann-, 20(2)11--11
-
completeness, coNP-, 19(3)20--20
-
Completeness, EXPSPACE-, 22(4)24--24
-
completeness, NEXPTIME-, 20(2)11--11, 21(1)7--7
-
completeness, NP-, 14(2)10--10
-
completeness, parallel-, 20(3)18--18
-
completeness, Tower-, 16(3)20--20
-
completion, 9(4)26--26, 10(3)20--20, 14(1)3--3, 20(4)21--21
-
complex, 2(3)289--339, 9(1)2--2, 9(1)3--3, 9(2)14--14, 9(3)22--22,
10(3)20--20, 12(4)25--25, 16(1)6--6, 17(1)5--5, 17(2)11--11,
18(4)27--27, 20(1)5--5, 20(3)17--17, 20(4)20--20, 20(4)22--22,
20(4)24--24, 21(1)4--4
-
complexity, lower-, 16(3)27--27
-
complexity, Proof-, 2(3)340--387
-
complexity-theoretic, 17(1)7--7, 18(1)2--2
-
complicated, 16(1)1--1
-
complicating, 19(3)22--22
-
comply, 19(2)12--12
-
component, 8(3)17--17, 9(1)5--5, 9(3)17--17, 9(3)19--19, 9(3)20--20,
9(4)29--29, 10(2)11--11, 10(3)20--20, 11(3)16--16, 12(1)5--5,
13(1)7--7, 14(3)17--17, 15(1)5--5, 15(2)13--13, 15(3)20--20,
16(3)27--27, 18(1)3--3, 18(1)5--5, 18(2)12--12, 18(2)16--16,
20(1)4--4, 21(1)5--5, 21(4)31--31
-
composability, 20(1)5--5
-
composed, 13(1)7--7, 17(2)11--11
-
Composing, 24(2)12--12
-
composition, 1(1)3--32, 10(1)6--6, 11(3)16--16, 16(4)30--30, 17(4)24--24,
17(4)28--28, 19(2)13--13, 20(4)20--20, 23(4)22--22, 24(4)33--33
-
compositional, 1(1)3--32, 10(2)11--11, 11(3)16--16, 13(2)11--11,
19(2)10--10, 19(3)17--17
-
compositional, and-, 10(2)11--11
-
compositionality, 8(1)z--99999999, 12(4)23--23
-
compositionally, 11(3)16--16
-
comprehend, 15(4)28--28
-
comprehending, 7(3)590--612
-
comprehension, 16(3)23--23
-
comprehensive, 9(2)8--8, 17(4)32--32, 18(4)29--29, 19(1)5--5
-
comprehensively, 24(3)19--19
-
compress, 18(4)26--26
-
compressed, 12(4)26--26
-
compression, 12(4)26--26, 18(4)26--26, 20(1)6--6
-
comprise, 10(3)15--15, 12(1)6--6, 16(4)32--32
-
Comput, 19(1)1--1
-
computability, 3(2)279--333, 7(2)302--330, 7(2)331--362, 15(1)1--1
-
computable, 2(1)1--11, 8(4)21--21, 9(2)13--13, 10(2)8--8, 10(3)22--22,
10(4)24--24, 10(4)27--27, 14(4)31--31, 16(2)10--10, 16(4)32--32,
18(3)18--18, 19(2)7--7, 20(3)14--14
-
computably, 13(3)24--24
-
computation-tree-based, 20(1)4--4
-
computation, logspace-, 11(4)26--26
-
computational, 1(1)131--161, 1(2)247--284, 2(2)155--181, 2(3)289--339,
2(3)340--387, 2(4)581--622, 4(2)149--180, 8(3)17--17, 8(4)21--21,
9(1)7--7, 9(3)17--17, 9(3)22--22, 10(1)1--1, 10(1)5--5, 10(2)8--8,
10(2)12--12, 10(3)16--16, 10(4)23--23, 10(4)24--24, 10(4)25--25,
10(4)28--28, 10(4)29--29, 11(3)15--15, 11(3)19--19, 11(4)23--23,
11(4)24--24, 11(4)28--28, 12(2)11--11, 12(2)17--17, 12(3)22--22,
13(2)17--17, 13(3)21--21, 13(4)33--33, 14(2)10--10, 14(3)24--24,
14(4)26--26, 15(1)1--1, 15(3)23--23, 15(3)25--25, 16(1)8--8,
16(3)24--24, 16(3)26--26, 16(3)27--27, 16(4)33--33, 17(1)5--5,
17(3)16--16, 18(2)8--8, 18(3)23--23, 19(1)2--2, 19(3)20--20,
19(3)21--21, 19(3)22--22, 19(4)26--26, 20(1)5--5, 20(2)12--12,
21(1)2--2, 21(1)7--7, 22(1)3--3, 22(2)11--11, 23(1)7--7
-
computationally, 2(3)289--339, 9(2)13--13, 12(1)6--6, 15(3)19--19,
15(4)34--34, 18(4)29--29, 21(1)2--2, 22(1)3--3
-
compute, 1(2)208--246, 8(3)18--18, 8(4)24--24, 9(4)27--27, 10(1)5--5,
10(3)20--20, 10(4)25--25, 10(4)29--29, 11(4)27--27, 12(1)2--2,
13(2)12--12, 13(2)13--13, 14(1)3--3, 14(4)26--26, 14(4)33--33,
16(1)3--3, 16(3)24--24, 18(4)31--31, 19(1)6--6, 21(1)4--4
-
computed, 8(2)z--99999999, 8(4)21--21, 10(4)28--28, 11(4)23--23,
14(1)3--3, 15(1)1--1, 15(4)33--33, 17(1)7--7, 18(2)12--12,
18(2)16--16, 18(4)28--28
-
ComputeeS, 9(4)29--29
-
computer, 1(1)162--170, 2(2)255--287, 9(3)15--15, 12(4)26--26,
15(4)30--30, 19(1)4--4, 19(4)26--26, 19(4)28--28, 21(4)31--31,
23(2)9--9, 23(3)19--19, 24(3)21--21
-
Computer-Communication, 1(1)162--170
-
computing, 1(1)60--76, 1(1)77--111, 1(1)131--161, 1(1)162--170,
1(1)171--174, 1(2)175--207, 1(2)208--246, 1(2)247--284, 2(1)12--56,
2(2)155--181, 2(2)182--215, 2(2)255--287, 2(3)289--339,
2(3)340--387, 8(3)14--14, 9(3)22--22, 10(1)2--2, 10(2)10--10,
12(1)2--2, 12(1)7--7, 13(1)7--7, 14(1)3--3, 14(1)4--4, 14(2)14--14,
14(4)26--26, 15(3)20--20, 16(3)22--22, 16(3)24--24, 17(1)1--1,
17(1)7--7, 18(1)7--7, 18(2)13--13, 18(2)16--16, 19(4)28--28,
20(3)15--15, 20(3)18--18, 23(1)6--6
-
concentrate, 18(2)10--10, 19(3)22--22
-
concentrated, 11(3)17--17, 13(3)21--21
-
concept, 1(2)208--246, 9(1)7--7, 9(3)22--22, 9(3)23--23, 10(2)12--12,
10(3)17--17, 12(1)3--3, 12(3)18--18, 13(3)21--21, 14(2)8--8,
14(4)32--32, 15(1)7--7, 15(1)9--9, 15(3)25--25, 16(4)32--32,
17(3)15--15, 18(1)1--1, 19(2)15--15, 19(4)30--30, 20(1)3--3,
20(2)11--11, 20(4)21--21, 22(1)4--4, 24(1)9--9
-
concepts/roles, 15(3)25--25
-
conceptual, 13(3)21--21, 15(3)25--25, 16(1)3--3
-
conceptually, 8(4)19--19, 10(1)4--4, 11(3)19--19, 15(1)7--7, 18(4)29--29
-
concerned, 8(3)15--15, 8(3)16--16, 13(1)3--3, 14(2)8--8, 17(3)21--21,
18(1)6--6, 24(1)9--9
-
concerning, 2(1)12--56, 9(2)13--13, 11(2)12--12, 13(3)19--19, 16(1)4--4,
18(2)8--8
-
concerns, 15(1)2--2, 18(2)8--8
-
concise, 15(3)21--21
-
conclude, 13(3)22--22, 14(2)10--10, 14(2)12--12, 16(4)28--28,
16(4)33--33, 19(1)3--3
-
conclusions, 17(2)13--13
-
concrete, 1(1)3--32, 5(4)611--668, 5(4)669--705, 8(4)20--20, 9(1)6--6,
12(1)3--3, 14(1)7--7, 14(2)16--16, 16(2)15--15, 17(2)12--12,
18(1)6--6, 19(2)10--10, 19(2)13--13
-
Concretely, 17(1)5--5
-
concurrency, 1(1)3--32, 9(3)17--17, 10(1)6--6, 11(3)16--16, 13(2)15--15,
15(4)31--31, 17(2)11--11, 17(3)15--15, 19(1)4--4, 19(4)28--28,
19(4)31--31, 21(4)34--34
-
concurrent, 1(1)3--32, 5(4)706--731, 7(3)563--589, 11(3)16--16,
12(3)18--18, 12(4)28--28, 13(2)15--15, 13(4)28--28, 14(1)1--1,
15(4)31--31, 15(4)34--34, 16(4)30--30, 17(2)11--11, 19(4)28--28,
22(2)9--9, 23(4)21--21
-
concurrently, 11(3)16--16
-
condensing, 6(1)33--60
-
condition, 1(1)33--59, 2(1)57--92, 2(1)93--134, 8(4)20--20, 9(2)8--8,
9(2)9--9, 9(3)17--17, 10(1)4--4, 10(2)10--10, 12(4)28--28,
13(4)29--29, 13(4)30--30, 14(1)7--7, 14(2)10--10, 14(2)11--11,
14(2)12--12, 15(1)5--5, 15(3)24--24, 15(4)31--31, 16(2)14--14,
16(3)23--23, 17(1)6--6, 17(2)10--10, 17(3)17--17, 18(1)3--3,
18(2)16--16, 18(4)29--29, 19(1)5--5, 19(3)23--23, 20(3)16--16,
21(1)6--6
-
condition-in, 19(4)25--25
-
conditional, 1(2)175--207, 2(3)289--339, 8(4)22--22, 10(1)5--5,
10(3)18--18, 10(3)21--21, 13(2)18--18, 17(2)14--14, 17(4)26--26,
18(4)27--27
-
conditions, post-, 1(1)60--76, 1(1)171--174
-
CondLean, 8(4)22--22
-
conducted, 13(1)8--8, 15(4)28--28, 16(4)29--29, 16(4)31--31
-
coNEXPTIME-complete, 20(3)18--18
-
conference, 19(2)13--13
-
confidence, 11(3)16--16, 18(2)12--12
-
confidential, 16(1)3--3
-
confidentiality, 17(4)23--23
-
configuration, 1(2)247--284, 15(2)14--14, 15(3)20--20, 18(3)24--24
-
confined, 17(1)7--7, 19(4)30--30
-
confirm, 17(1)2--2, 18(2)13--13
-
conflict, 19(3)22--22
-
conflict-driven, 14(2)15--15
-
conflicting, 10(1)1--1, 24(3)26--26
-
confluence, 4(1)33--55, 5(2)321--331, 10(3)20--20, 11(4)28--28,
14(4)31--31, 16(2)14--14, 18(2)17--17
-
confluent, 10(3)20--20, 14(4)31--31, 16(2)10--10
-
confluent, non-, 14(1)5--5
-
conform, 10(1)1--1
-
confound, 1(2)175--207
-
congruence, 10(2)9--9, 11(4)25--25, 12(3)21--21, 15(4)35--35, 16(1)1--1
-
conjecture, 10(3)20--20, 13(4)31--31, 16(1)7--7, 16(1)9--9, 17(1)2--2,
18(3)20--20, 20(3)17--17
-
conjectured, 15(1)4--4, 16(2)17--17, 20(3)17--17
-
conjoin'', ``forget-then-, 14(3)24--24
-
conjoining, 14(3)24--24
-
conjunction, 14(4)33--33, 15(3)19--19, 17(2)12--12, 17(3)15--15,
20(4)22--22, 21(3)19--19, 21(4)27--27
-
conjunction-disjunction-negation, 23(4)26--26
-
conjunctive, 9(3)22--22, 10(2)11--11, 14(2)16--16, 15(3)19--19,
16(1)7--7, 16(4)28--28, 18(3)21--21, 18(4)29--29, 20(2)12--12,
20(3)15--15, 20(3)18--18, 21(1)6--6, 21(3)20--20, 24(2)16--16
-
connected, 8(4)23--23, 13(1)9--9, 14(2)9--9, 14(2)13--13, 15(4)26--26,
17(4)31--31, 18(1)5--5, 18(2)12--12, 19(2)7--7, 20(2)9--9, 23(1)4--4,
24(1)4--4
-
Connectedness, 14(2)13--13
-
connecting, 13(4)30--30
-
connection, 9(4)27--27, 11(4)24--24, 13(1)5--5, 13(3)27--27, 13(4)30--30,
15(3)24--24, 15(4)26--26, 16(3)27--27, 18(3)21--21, 18(4)26--26,
19(2)15--15, 20(2)7--7, 21(1)6--6, 22(3)16--16
-
connective, 9(3)21--21, 12(2)9--9, 12(3)21--21, 12(4)23--23, 12(4)25--25,
15(4)30--30, 16(1)5--5, 16(2)15--15, 17(2)10--10, 19(1)5--5,
19(2)13--13, 19(3)18--18, 19(4)29--29, 24(1)1--1
-
Connectivity, 24(4)30--30
-
connector, 12(1)5--5
-
coNP, 16(1)7--7
-
coNP-complete, 13(3)23--23, 15(3)19--19, 16(1)7--7, 20(2)8--8
-
coNP-completeness, 19(3)20--20
-
coNP-hard, 16(1)7--7
-
coNP-hardness, 20(2)8--8
-
conquer, divide-and-, 16(1)6--6
-
Conradie, Willem, 20(4)24--24
-
Conradie:2019:PEU, 20(4)24--24
-
consecutive, 14(4)25--25
-
consensus, 14(4)29--29
-
consequence, 2(3)289--339, 8(3)18--18, 9(3)23--23, 10(3)17--17,
14(1)3--3, 14(3)21--21, 14(3)23--23, 17(1)7--7, 18(2)16--16,
18(4)30--30, 19(1)6--6, 19(3)18--18
-
consequently, 2(2)216--254, 16(1)1--1, 18(3)24--24, 21(1)4--4
-
conservative, 12(2)9--9, 12(4)24--24, 20(2)8--8, 24(2)13--13
-
conservatively, 13(1)8--8
-
consider, 1(1)33--59, 1(1)77--111, 1(1)131--161, 2(3)340--387,
8(3)17--17, 9(1)4--4, 9(2)12--12, 9(3)17--17, 9(3)19--19, 10(1)7--7,
10(3)21--21, 10(4)27--27, 11(3)20--20, 12(3)19--19, 12(4)28--28,
13(2)15--15, 13(3)27--27, 14(1)3--3, 14(2)9--9, 14(2)13--13,
14(2)14--14, 14(3)23--23, 14(4)25--25, 15(1)7--7, 15(1)8--8,
15(1)9--9, 15(1)10--10, 15(2)11--11, 15(2)15--15, 15(2)16--16,
15(3)19--19, 15(3)24--24, 15(4)33--33, 16(1)3--3, 16(1)6--6,
16(2)17--17, 17(1)2--2, 17(1)7--7, 17(2)13--13, 17(4)31--31,
18(1)3--3, 18(2)16--16, 18(3)18--18, 18(3)20--20, 18(3)21--21,
18(3)25--25, 18(4)27--27, 19(1)5--5, 19(2)7--7, 19(2)8--8,
19(2)12--12, 19(2)13--13, 19(3)23--23, 19(4)29--29, 20(1)3--3,
20(1)4--4, 20(2)8--8, 20(4)19--19, 20(4)21--21, 21(2)14--14,
21(3)21--21, 22(2)12--12, 23(3)15--15, 24(2)15--15, 24(3)22--22
-
considerable, 9(3)18--18, 10(2)11--11, 12(4)26--26, 16(3)24--24,
22(1)2--2
-
considerably, 2(1)57--92, 2(2)182--215, 21(1)1--1
-
consideration, 11(4)24--24, 15(1)9--9, 17(2)14--14, 17(3)20--20,
18(1)6--6
-
considered, 8(3)17--17, 8(4)21--21, 9(2)9--9, 9(4)27--27, 10(3)18--18,
12(2)10--10, 12(3)20--20, 12(4)27--27, 13(2)10--10, 13(2)15--15,
14(1)6--6, 15(2)14--14, 15(2)15--15, 15(3)19--19, 17(1)7--7,
18(1)7--7, 18(4)26--26, 19(1)6--6, 19(2)8--8, 19(2)15--15,
19(3)21--21, 19(4)30--30, 20(4)23--23, 21(2)11--11, 24(1)4--4
-
considering, 2(1)93--134, 9(3)15--15, 11(4)24--24, 13(3)25--25,
16(1)2--2, 16(3)27--27, 17(3)20--20, 19(1)5--5
-
consist, 9(3)17--17, 10(2)11--11, 10(4)27--27, 12(1)5--5, 13(1)6--6,
14(3)19--19, 14(3)24--24, 14(4)34--34, 16(1)9--9, 16(4)35--35,
17(1)6--6, 17(1)7--7, 18(4)26--26, 20(4)25--25
-
consistency, 2(1)93--134, 10(3)17--17, 11(3)15--15, 11(4)27--27,
13(2)13--13, 14(3)24--24, 15(2)13--13, 16(4)32--32, 17(3)22--22,
18(2)11--11, 18(3)23--23, 20(3)16--16
-
consistent, 11(3)15--15, 15(3)18--18, 15(3)19--19, 15(3)24--24,
16(1)7--7, 18(1)6--6, 22(2)11--11
-
consisting, 2(1)1--11, 12(4)28--28, 13(1)7--7, 14(2)10--10, 16(1)8--8,
16(4)31--31, 18(4)28--28, 19(3)18--18, 20(2)12--12, 20(3)16--16
-
constant, 8(4)21--21, 9(4)26--26, 10(2)8--8, 11(3)18--18, 11(4)26--26,
12(4)29--29, 13(2)15--15, 14(4)25--25, 14(4)31--31, 15(3)25--25,
15(4)27--27, 16(3)21--21, 16(3)27--27, 17(3)19--19, 19(2)7--7,
19(2)14--14, 19(3)18--18, 20(1)1--1, 20(3)16--16
-
constant-degree, 15(1)6--6
-
CONSTANT-DELAY, 14(4)25--25
-
constant-Delay, 8(4)21--21
-
Constant-Depth, 19(4)29--29
-
constant-depth, 7(2)199--218, 19(4)29--29
-
constant-size, 8(4)20--20
-
constituents, 20(3)18--18
-
constitute, 15(2)14--14, 19(1)6--6, 20(3)14--14
-
constitutive, 14(2)15--15
-
constrained, 2(1)93--134, 18(2)14--14, 18(4)32--32
-
constrained, resource-, 11(4)23--23
-
constrains, 15(2)15--15, 16(3)25--25
-
constraint, soft-, 12(1)5--5
-
constraint-based, 2(1)57--92
-
constraint-solving, 9(3)15--15, 11(3)17--17, 19(2)10--10
-
constraints., 10(3)17--17
-
construct, 1(1)60--76, 1(1)171--174, 1(2)285--320, 9(1)4--4, 11(3)20--20,
12(1)1--1, 12(1)3--3, 12(2)9--9, 12(4)25--25, 13(1)3--3, 14(2)11--11,
14(2)15--15, 15(2)16--16, 15(3)25--25, 16(3)23--23, 18(2)8--8,
18(3)23--23, 19(4)25--25, 19(4)31--31, 20(1)1--1, 20(1)5--5,
20(3)13--13, 22(1)7--7
-
constructed, 9(3)16--16, 13(1)4--4, 17(3)15--15, 17(4)30--30
-
constructing, 9(2)9--9, 13(1)4--4, 19(2)14--14, 19(3)17--17, 20(1)6--6,
20(3)16--16, 24(4)31--31
-
construction, 9(1)6--6, 9(2)11--11, 10(2)10--10, 11(4)28--28,
12(3)18--18, 13(2)18--18, 13(3)26--26, 13(4)29--29, 14(1)7--7,
15(2)16--16, 16(2)18--18, 16(3)23--23, 16(4)34--34, 17(2)8--8,
17(3)15--15, 17(4)26--26, 17(4)29--29, 19(2)8--8, 19(2)12--12,
19(4)28--28, 20(1)1--1, 20(2)11--11, 20(4)24--24
-
construction, CFI-, 19(2)7--7
-
construction, subset-, 13(4)29--29, 15(2)16--16
-
constructive, 12(2)9--9, 16(2)14--14, 17(1)4--4, 17(4)25--25,
17(4)30--30, 19(2)15--15
-
constructively, 15(1)1--1
-
constructiveness, 9(3)21--21
-
constructor, 10(3)19--19, 10(3)20--20, 12(3)22--22, 16(3)23--23
-
consumed, 10(4)29--29
-
consuming, time-, 20(4)19--19
-
consumption, 17(2)11--11
-
contain, 1(2)175--207, 9(3)17--17, 9(4)27--27, 11(3)15--15, 11(4)28--28,
12(4)29--29, 13(3)19--19, 14(3)22--22, 15(3)24--24, 15(4)26--26,
16(1)3--3, 16(1)5--5, 17(4)31--31, 17(4)32--32, 18(3)23--23,
18(3)24--24, 19(2)13--13, 19(4)29--29, 21(3)25--25, 22(4)21--21,
23(2)10--10
-
contained, 10(3)22--22, 13(2)13--13, 23(1)6--6
-
containers, 12(2)9--9
-
containing, 2(2)155--181, 9(1)4--4, 20(1)5--5, 21(2)9--9
-
containment, 9(3)22--22, 16(1)6--6, 18(1)1--1, 20(3)18--18, 21(1)6--6
-
content, 12(3)22--22, 13(1)7--7, 22(2)13--13
-
context, 1(2)175--207, 2(1)1--11, 2(2)255--287, 8(3)18--18, 9(1)7--7,
9(3)22--22, 9(3)23--23, 9(4)27--27, 10(2)8--8, 10(4)25--25,
11(3)19--19, 11(4)24--24, 12(1)1--1, 12(3)20--20, 13(1)9--9,
13(2)16--16, 13(2)18--18, 14(3)17--17, 14(4)26--26, 14(4)29--29,
15(2)15--15, 15(3)21--21, 15(4)34--34, 15(4)35--35, 16(1)1--1,
16(2)12--12, 16(3)25--25, 16(4)30--30, 16(4)32--32, 17(2)14--14,
17(3)15--15, 17(4)28--28, 17(4)32--32, 18(1)4--4, 19(2)9--9,
20(3)13--13, 22(3)20--20, 22(4)21--21, 24(1)8--8
-
context-free, 11(3)20--20, 13(2)12--12, 13(3)19--19, 22(4)22--22,
24(3)24--24
-
contextual, 9(3)23--23, 18(1)4--4, 23(4)25--25
-
contingent, 24(2)18--18
-
continuation, 10(2)12--12, 12(3)22--22, 15(4)28--28
-
continue, 11(4)22--22, 13(4)29--29, 23(1)4--4
-
continuity, 3(3)402--417
-
continuous, 1(1)162--170, 13(4)33--33, 14(4)33--33, 15(1)4--4,
16(4)33--33, 17(1)1--1, 18(3)19--19, 18(3)24--24, 20(4)19--19,
24(1)3--3
-
continuous-space, 20(4)19--19
-
continuous-time, 1(1)162--170, 12(1)8--8, 14(4)33--33, 18(3)19--19,
20(4)19--19
-
continuum, 13(4)33--33, 15(2)14--14
-
contract, 11(3)17--17, 17(1)6--6, 18(3)25--25
-
contract-net, 10(1)1--1
-
contract-signing, 11(3)17--17
-
contraction, 13(4)30--30, 16(1)8--8, 17(3)20--20, 18(1)4--4, 18(1)6--6,
19(2)12--12
-
contractive, 16(3)20--20
-
contradiction, 18(2)11--11
-
Contrarily, 13(2)10--10
-
contrary, 10(1)4--4, 18(3)22--22
-
contrast, 9(1)5--5, 9(2)9--9, 10(3)20--20, 12(2)13--13, 15(2)15--15,
15(2)16--16, 15(4)34--34, 16(1)1--1, 16(2)15--15, 17(1)3--3,
17(2)14--14, 18(2)14--14, 18(2)17--17, 18(3)18--18, 19(3)23--23,
19(4)31--31, 21(3)25--25, 21(4)30--30, 23(2)13--13
-
contribute, 8(4)23--23, 13(2)16--16, 14(2)15--15, 17(1)5--5, 18(2)16--16,
20(1)6--6, 20(4)24--24
-
contribution, 8(4)20--20, 12(1)7--7, 13(1)8--8, 13(2)16--16, 13(2)17--17,
15(3)21--21, 15(4)34--34, 16(1)7--7, 16(3)19--19, 17(4)24--24,
18(3)25--25, 19(2)7--7, 21(1)1--1, 24(4)33--33
-
control, 1(1)60--76, 1(1)171--174, 1(2)285--320, 2(1)93--134,
5(4)732--767, 9(3)17--17, 10(2)10--10, 10(4)27--27, 10(4)29--29,
11(4)28--28, 12(4)23--23, 13(1)7--7, 13(4)28--28, 14(2)8--8,
15(3)24--24, 16(3)27--27, 17(1)3--3, 18(1)3--3, 18(3)25--25,
19(1)5--5, 19(3)22--22, 20(4)22--22, 21(3)24--24
-
controlled, 9(3)17--17, 14(2)9--9, 15(4)27--27
-
controller, 14(4)33--33, 16(3)25--25, 16(4)32--32
-
controlling, 17(4)32--32
-
convenient, 12(1)5--5, 14(2)9--9
-
conveniently, 10(2)13--13, 12(2)15--15, 17(4)23--23
-
conventional, 12(3)21--21, 16(4)32--32, 17(1)5--5
-
converge, 18(1)3--3, 21(1)4--4
-
convergence, 6(4)727--748, 13(2)13--13, 19(4)25--25, 20(4)19--19
-
convergent, 5(2)264--281, 14(1)4--4, 17(4)23--23
-
converse, 10(4)26--26, 11(4)22--22, 16(2)16--16, 17(3)17--17,
20(3)17--17
-
Conversely, 13(2)18--18, 14(4)31--31, 18(1)1--1, 20(2)12--12
-
conversion, 12(3)22--22, 14(4)31--31, 19(4)25--25
-
convex, 15(1)5--5, 20(4)19--19
-
convexity, 17(3)21--21
-
convolution, 17(3)15--15
-
Cook, 10(4)24--24, 11(4)22--22
-
Cook, Stephen, 7(4)749--764, 13(1)9--9
-
Cook, Stephen, see Nguyen, Phuong
-
Cook:2006:SRW, 7(4)749--764
-
Cookbook, 15(3)25--25
-
cooperation, 13(3)22--22
-
coordinate, 22(3)19--19
-
coordination, 9(2)9--9
-
coordination-free, 18(1)5--5
-
Coppola, Paolo, 7(2)219--260
-
Coppola:2006:OOR, 7(2)219--260
-
coprimeness, 10(1)2--2
-
copy, 14(2)8--8, 14(3)23--23, 15(1)6--6, 17(2)10--10
-
copying, 9(4)28--28, 13(2)15--15
-
Coq, 21(1)2--2
-
Coqash, 14(4)26--26
-
Coquand, 19(2)15--15
-
Coquand, Thierry, 14(4)26--26
-
Coquand, Thierry, see Heras, Jónathan
-
core, 14(1)6--6, 15(3)20--20, 17(2)14--14, 18(3)23--23, 18(4)29--29,
19(3)22--22, 20(1)1--1, 20(1)5--5, 20(3)15--15, 20(4)25--25,
21(1)2--2, 23(1)5--5
-
cornerstone, 18(3)24--24
-
corollary, 16(1)9--9, 17(3)22--22, 18(1)5--5, 19(1)5--5, 20(3)14--14
-
Correas, Jesús, 19(4)31--31, see Albert, Elvira
-
correct, 2(1)1--11, 8(4)20--20, 8(4)24--24, 9(3)19--19, 9(3)20--20,
10(3)20--20, 12(2)15--15, 13(1)1--1, 15(3)18--18, 15(4)35--35,
16(1)8--8, 16(4)32--32, 17(4)29--29, 23(2)8--8
-
corrected, 9(3)19--19
-
correction, 9(3)19--19, 17(2)9--9, 19(4)28--28
-
correctly, 9(2)14--14, 20(4)19--19, 24(3)25--25
-
correctness, 1(1)60--76, 1(1)171--174, 2(1)12--56, 2(1)93--134,
4(3)355--378, 5(4)706--731, 7(3)590--612, 8(4)20--20, 12(1)1--1,
12(2)15--15, 15(1)2--2, 15(1)3--3, 15(3)23--23, 15(4)31--31,
15(4)34--34, 16(1)6--6, 17(1)5--5, 17(1)6--6, 17(3)18--18,
18(2)14--14, 19(4)25--25, 19(4)27--27, 19(4)31--31, 23(2)8--8
-
Correctness, Parallel-, 20(3)18--18
-
correctness, parallel-, 20(3)18--18
-
correspond, 1(2)247--284, 2(1)135--153, 9(4)26--26, 10(4)26--26,
12(1)5--5, 13(1)9--9, 13(4)28--28, 13(4)30--30, 14(1)5--5,
14(2)14--14, 15(1)8--8, 17(4)30--30, 19(1)3--3, 19(2)13--13,
19(3)23--23, 19(4)25--25, 20(1)3--3, 20(2)7--7, 20(3)17--17,
22(2)9--9, 24(2)15--15
-
correspondence, 1(2)247--284, 8(4)24--24, 17(3)22--22, 19(4)25--25,
20(1)3--3
-
corresponding, 2(3)289--339, 8(3)18--18, 9(1)3--3, 10(1)7--7,
12(4)29--29, 13(1)4--4, 13(1)9--9, 13(4)31--31, 14(2)13--13,
14(3)22--22, 15(1)2--2, 15(1)9--9, 15(4)34--34, 16(1)2--2,
16(3)23--23, 17(1)1--1, 17(1)2--2, 17(3)19--19, 18(1)1--1,
18(4)29--29, 19(4)27--27, 20(4)19--19, 24(3)23--23
-
Cortier, 9(4)28--28
-
Cortier, Véronique, 11(2)9--9, 14(1)4--4, 17(1)3--3, 21(1)1--1,
see Baudet, Mathieu,
see Chrétien, Rémy,
see Comon-Lundh, Hubert
-
CoS, 16(3)19--19
-
Cosmadakis, Stavros, 6(3)481--518, 11(2)12--12
-
Cosmadakis, Stavros, see Afrati, Foto
-
Cosmadakis:2010:UIR, 11(2)12--12
-
Cosmo, Roberto, Di, 11(4)25--25
-
cost, 10(1)2--2, 12(1)5--5, 14(2)12--12, 14(3)22--22, 16(1)6--6,
16(2)12--12, 16(3)26--26, 18(4)32--32, 19(4)24--24, 19(4)31--31,
23(1)7--7
-
Cost-based, 14(2)12--12
-
costly, 15(3)19--19
-
could, 13(3)25--25, 15(4)33--33, 18(1)7--7, 18(4)28--28, 20(1)2--2
-
count, 1(1)33--59, 19(2)9--9
-
countable, 19(3)18--18
-
counter, 2(2)155--181, 10(3)16--16, 12(3)19--19, 16(3)27--27, 24(1)3--3
-
Counter, One-, 21(2)12--12
-
counter, One-, 24(1)3--3
-
counter, one-, 24(1)3--3
-
counterexample, 9(1)1--1, 12(1)1--1, 16(2)14--14, 17(4)26--26,
19(2)10--10, 20(3)17--17
-
counterexample-guided, 12(1)1--1
-
counterfactual, 15(4)34--34
-
countermodel, 9(3)21--21, 16(1)8--8
-
counterpart, 9(3)15--15, 10(3)19--19, 10(4)26--26, 14(1)2--2,
15(4)30--30, 16(1)6--6, 16(4)35--35, 18(3)24--24, 19(3)23--23,
20(4)24--24, 21(4)34--34
-
counting, 1(1)33--59, 2(1)135--153, 6(3)634--671, 7(2)199--218,
10(1)7--7, 11(4)24--24, 13(2)17--17, 16(3)27--27, 17(3)19--19,
17(4)31--31, 18(4)27--27, 19(2)7--7, 21(3)20--20, 22(4)21--21,
23(1)1--1, 23(1)6--6
-
counting, modulo-, 18(4)33--33
-
Courcelle, 12(1)3--3, 18(1)1--1, 20(3)17--17
-
course, 14(1)1--1
-
covariant, 17(4)30--30
-
cover, 9(2)8--8, 9(3)20--20, 12(4)25--25, 14(1)4--4, 15(1)5--5,
16(2)14--14, 17(1)7--7, 19(2)12--12, 19(4)24--24, 20(1)3--3,
20(3)17--17
-
coverability, 18(3)24--24
-
coverage, 9(3)20--20
-
covered, 9(3)18--18, 9(3)20--20, 20(1)3--3
-
covering, 9(3)18--18, 10(2)13--13, 19(1)4--4, 21(2)9--9
-
CP, 10(1)3--3
-
CPA, IND-, 21(1)2--2
-
CPDA, 18(3)25--25
-
CPT, 19(2)7--7
-
CPT-definability, 19(2)7--7
-
CPT-definable, 19(2)7--7
-
CPT-program, 19(2)7--7
-
Crafa, Silvia, 3(4)562--603, 16(1)2--2
-
Crafa, Silvia, see Bono, Viviana
-
Crafa:2015:LCB, 16(1)2--2
-
Craig, 12(1)7--7, 17(2)8--8, 24(4)34--34
-
Crane, 18(3)20--20
-
Cranen, Sjoerd, 16(4)29--29
-
Cranen:2015:AFL, 16(4)29--29
-
Crary, Karl, 8(2)z--99999999, 9(3)16--16
-
Crary:2007:SCE, 8(2)z--99999999
-
Crary:2008:FCC, 9(3)16--16
-
create, 9(3)19--19, 13(4)30--30, 14(2)8--8, 19(2)7--7
-
creation, 9(3)19--19
-
Creignou, Nadia, 11(4)24--24, 13(2)17--17, 15(3)19--19, 17(3)20--20
-
Creignou:2010:NBC, 11(4)24--24
-
Creignou:2012:CRF, 13(2)17--17
-
Creignou:2014:CCL, 15(3)19--19
-
Creignou:2016:BMW, 17(3)20--20
-
crisp, 15(4)30--30
-
criteria, 2(1)57--92, 2(2)182--215, 2(3)388--407, 9(1)7--7, 15(4)28--28,
18(2)8--8, 18(4)28--28
-
criterion, 9(3)18--18, 10(3)20--20, 10(4)27--27, 15(4)31--31,
19(4)25--25, 20(3)13--13, 24(2)18--18
-
criterion-the, 19(4)25--25
-
critical, 10(3)20--20, 14(3)20--20, 17(3)22--22
-
critical, security-, 19(4)28--28
-
Critically, 20(1)5--5
-
critique, 16(4)33--33
-
Crolard, Tristan, 10(4)26--26
-
Crolard:2009:ELL, 10(4)26--26
-
cross-split, 19(2)13--13
-
crucial, 16(2)16--16, 16(3)25--25, 17(1)3--3, 18(4)26--26, 19(2)7--7,
20(3)15--15
-
crucially, 18(2)15--15, 19(3)23--23
-
crude, 9(2)11--11
-
Cruz-Filipe, Luís, 22(1)6--6, see Bogaerts, Bart
-
cryptographic, 9(4)28--28, 11(2)9--9, 11(3)17--17, 17(4)23--23,
19(4)28--28, 21(1)1--1, 22(1)3--3
-
cryptography, 19(4)28--28, 22(1)3--3
-
CSL, 11(4)21--21, 20(4)19--19
-
CSP, 10(3)17--17, 12(4)24--24, 14(4)30--30, 17(3)22--22, 18(3)21--21,
20(1)1--1, 21(3)24--24, 24(2)17--17
-
Csp, 14(3)18--18
-
CSPlib, 8(4)23--23
-
CSPs, 10(3)17--17, 12(4)24--24, 14(4)30--30, 23(1)7--7
-
CTL, 9(1)1--1, 9(4)26--26, 13(3)25--25, 15(1)10--10, 15(4)27--27,
16(3)25--25, 17(2)14--14, 19(1)4--4, 20(1)4--4
-
CTL*, 20(1)4--4
-
CTMC, 14(4)33--33, 20(4)19--19
-
CTMCs, 14(4)33--33, 20(4)19--19
-
cube, 20(3)17--17
-
cumulated, 14(4)33--33
-
cumulative, 10(3)18--18
-
cumulative, loop-, 10(3)18--18
-
Curien, 9(1)6--6
-
current, 10(3)16--16, 12(4)28--28, 14(1)3--3, 15(4)27--27, 15(4)31--31,
16(1)8--8, 17(2)11--11, 18(1)6--6, 20(1)6--6, 20(3)17--17, 22(1)3--3,
24(1)4--4
-
currently, 13(4)29--29
-
Curry, 19(1)6--6
-
Curry-Howard, 12(3)22--22
-
currying, 16(2)14--14
-
curve, 13(1)9--9
-
customers, 14(2)10--10
-
customized, 15(4)30--30
-
cut, 12(3)22--22, 14(1)1--1, 14(1)5--5, 14(4)27--27, 14(4)34--34,
15(3)21--21, 19(1)5--5, 19(4)25--25, 20(4)22--22, 23(4)23--23,
24(2)13--13
-
cut-elimination, 12(3)22--22, 12(4)23--23, 14(1)5--5, 19(1)3--3,
19(2)13--13
-
cut-free, 2(3)340--387, 8(4)22--22, 12(3)22--22, 13(1)2--2, 14(4)34--34,
16(3)19--19, 19(2)13--13, 21(3)22--22
-
cut-reduction, 14(1)5--5
-
CVC, 10(1)4--4
-
cycle, 9(3)17--17, 9(4)27--27, 11(2)9--9, 13(1)9--9, 15(4)33--33,
17(4)31--31, 19(4)25--25
-
cycle-free, 10(1)5--5, 16(2)16--16
-
cyclic, 9(4)27--27, 20(3)16--16
-
cyclicity, 15(4)33--33
-
cylindrical, 19(2)8--8