Index file section C for tocl.bib

Last update: Sun Jul 27 02:05:08 MDT 2025               

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, 25(1)2--2
• 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, 25(4)19--19
• 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
• Cantone, Domenico, 25(1)5--5
• Cantone:2024:DSP, 25(1)5--5
• Cantor, 15(2)13--13
• capability, 13(4)33--33, 16(3)27--27, 16(4)29--29, 22(1)1--1, 26(1)5--5
• 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, 25(1)6--6
• 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, 25(1)3--3
• 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, 25(1)5--5
• 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
• Cate, Balder ten, 25(2)12--12
• 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, 25(1)1--1
• CCS-like, 18(1)4--4
• CDCL, 25(3)18--18
• ·, 25(1)3--3
• 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, 25(4)21--21
• 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, David M., 25(3)16--16
• Cerna:2020:IAU, 21(2)10--10
• Cerna:2024:ONA, 25(3)16--16
• 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, 25(1)6--6
• 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
• CGS, 26(1)5--5
• CGSs, 26(1)5--5
• 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, 25(4)19--19
• 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, 25(2)12--12
• characterised, 19(3)21--21
• characterising, 17(3)15--15, 17(3)17--17, 25(2)12--12
• 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
• check, model-, 26(1)5--5
• 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, 26(1)5--5
• 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, 25(1)8--8
• 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, Zhibo, 26(1)4--4
• 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
• Chen:2025:SBU, 26(1)4--4
• 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
• Ciardo, Lorenzo, 26(2)10--10
• Ciardo:2025:VAE, 26(2)10--10
• Cimatti, Alessandro, 12(1)7--7, 19(3)19--19, 25(4)24--24
• Cimatti, Alessandro, see Redondi, Gianluca
• 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, 25(4)20--20
• 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, 26(1)3--3
• 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
• Cleaveland, Rance, 25(1)2--2
• Cleaveland:2024:EPS, 25(1)2--2
• 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, 26(2)10--10
• 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, 25(1)7--7
• 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
• Cocke, William L., 26(2)11--11
• Cocke, William L., see Attie, Paul C.
• 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, 25(2)12--12
• 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
• Collodi, Luisa, 25(1)7--7
• Collodi, Luisa, see Boreale, Michele
• 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, 25(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, 26(1)1--1
• 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, 26(2)7--7
• 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, 25(1)1--1
• 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, 25(2)10--10, 26(1)1--1, 26(1)3--3
• 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, 25(1)2--2
• 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
• compound, 26(1)2--2
• 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, 25(4)23--23
• 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, 25(4)19--19
• 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, 25(4)19--19
• 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, 25(4)19--19
• 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, 26(2)7--7
• 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, 26(1)1--1
• 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, 25(2)11--11, 25(4)23--23, 26(1)5--5
• 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, 26(2)8--8
• 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, 26(2)7--7
• 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, 25(1)7--7
• 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, 25(3)15--15
• 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, 25(1)5--5
• 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, 25(2)10--10, 26(2)11--11
• 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, 25(3)16--16
• 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, 26(1)1--1, 26(2)9--9
• 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, 25(4)25--25
• 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
• continuum-many, 25(4)20--20
• 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, 26(2)10--10
• 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, 26(2)8--8
• 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, 26(1)2--2
• 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, 26(1)3--3
• 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, 26(2)7--7
• 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
• Cristiá, Maximiliano, 25(1)3--3
• Cristia:2024:DPT, 25(1)3--3
• 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, 25(4)25--25, see Bogaerts, Bart
• Cruz-Filipe:2024:HAC, 25(4)25--25
• 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
• Cutting, 25(4)21--21
• 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