Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
C
-
C, 42(2)125--187, 42(2)265--300, 43(3)263--288, 44(1)z--z, 50(4)423--456,
57(4)319--387, 61(1)367--422, 63(2)369--392
-
C-like, 41(1)1--31
-
C11-Style, 66(1)141--171
-
Cached, 64(5)911--945
-
Cachera, David, 63(2)489--515
-
Cachera, David, see Zakowski, Yannick
-
caching, 11(1)83--113, 50(4)355--381, 64(1)21--52
-
CADE, 58(3)311--312, 64(3)511--511, 65(7)891--892
-
CADE-11, 11(3)315--316, 11(3)317--331
-
CADE-13, 18(2)137--138, 18(2)139--162, 18(2)163--169, 18(2)211--220,
18(2)237--246, 18(2)271--286, 18(2)287--296
-
CADE-14, 21(1)99--134
-
CADE-15, 23(1)1--23
-
CADE-16, 24(3)371--396
-
CADE-17, 27(3)227--250
-
CADE-18, 31(1)23--32
-
CADE-22, 47(2)107--109
-
CADE-23, 51(1)1--2
-
Cadoli, Marco, 28(2)101--142
-
Cadoli:2002:AEQ, 28(2)101--142
-
Caferra, Ricardo, 19(3)277--318
-
Caferra:1997:NTV, 19(3)277--318
-
Cairns, Paul, 39(2)141--160
-
Cairns:2007:ISA, 39(2)141--160
-
CakeML, 63(2)463--488, 64(7)1287--1306
-
calculi, 7(4)475--487, 9(1)1--24, 12(3)389--406, 13(3)297--337,
20(1)143--165, 30(1)59--98, 39(1)1--47, 51(2)129--149,
51(4)401--430, 52(1)67--97, 64(8)1663--1684
-
Calculi, Psi-, 56(1)1--47
-
calculus, 1(3)263--283, 2(2)109--126, 4(2)173--190, 6(3)341--359,
7(1)27--103, 9(1)99--139, 9(3)309--354, 12(1)89--102, 16(1)147--180,
16(3)355--368, 19(2)143--171, 20(3)283--316, 23(3)347--371,
23(3)373--409, 27(1)29--59, 29(2)107--124, 35(4)391--427,
37(1)3--20, 37(4)277--322, 38(1)79--126, 46(3)293--323,
47(2)191--227, 47(4)341--367, 49(2)161--183, 53(4)317--350,
57(2)97--134, 59(2)219--265, 60(2)133--156, 60(4)527--527,
61(1)455--484, 63(2)393--413, 65(1)1--29, 65(7)941--969,
67(4)z--99999999
-
Call, 2(2)217--217, 6(4)491--492
-
Call-by-Value, 63(2)393--413
-
Callaghan, Paul, 27(1)3--27
-
Callaghan:2001:ILC, 27(1)3--27
-
Calvagna, Andrea, 45(4)331--358
-
Calvagna:2010:FLA, 45(4)331--358
-
Calvanese, Diego, 39(3)385--429, 41(1)61--98, 65(7)941--969,
66(3)409--435
-
Calvanese, Diego, see Ortiz, Magdalena
-
Calvanese:2007:TRE, 39(3)385--429
-
Calvanese:2021:MCU, 65(7)941--969
-
Calvanese:2022:CUI, 66(3)409--435
-
Cambridge, 35(4)429--431, 49(1)107--109
-
Caminati, Marco Bright, 50(2)147--160
-
Caminati:2013:CAM, 50(2)147--160
-
Campo, Juan Diego, 63(1)1--51, 64(8)1685--1729
-
Campo, Juan Diego, see Barthe, Gilles
-
Cannata, Rosa Ruggeri, 34(1)49--72
-
Cannata, Rosa Ruggeri, see Cantone, Domenico
-
canonical, 3(4)379--381, 17(1)131--143, 49(2)185--207, 51(4)401--430
-
Canonicity, 63(2)173--210
-
Cantone, D., 6(2)173--187, 6(2)189--201, 7(2)193--230, 7(2)231--256
-
Cantone, Domenico, 33(3)251--269, 34(1)49--72, 38(1)31--56
-
Cantone, Domenico, see Zarba, Calogero G.
-
Cantone:1990:AS, 6(2)173--187
-
Cantone:1990:DPE, 6(2)189--201
-
Cantone:1991:DPEa, 7(2)193--230
-
Cantone:1991:DPEb, 7(2)231--256
-
Cantone:2005:TBD, 34(1)49--72
-
Cantone:2007:SFR, 38(1)31--56
-
Cao, Qinxiang, 61(1)367--422
-
Cao:2018:VFS, 61(1)367--422
-
Capable, 32(1)3--33
-
Capriglio, Filippo A. E. Nuccio Mortarino Majno di, 66(4)611--637
-
Capriglio, Filippo A. E. Nuccio Mortarino Majno di,
see Baanen, Anne
-
car-sequencing, 2(1)1--42
-
Carbonell, Enric, Rodríguez-, 46(1)81--102, 48(1)107--131
-
cardinal, 34(1)1--29
-
Carette, Jacques, 44(1)z--99999999
-
Carette:2010:P, 44(1)z--99999999
-
Carle, Georg, 61(1)191--242
-
Carle, Georg, see Diekmann, Cornelius
-
Carrying, Proof-, 31(3)191--229
-
Cartan, 47(3)319--336
-
Casal, Filipe, 60(2)221--236
-
Casal:2018:MSE, 60(2)221--236
-
case, 2(1)1--42, 3(1)91--107, 3(4)437--451, 11(2)289--291, 16(3)223--239,
25(4)247--289, 33(3)251--269, 45(4)415--435, 46(3)325--352,
49(2)209--239, 50(1)99--117, 59(2)267--286, 67(1)z--99999999
-
Case, Worst-, 24(1)127--143, 24(4)397--420
-
Castellini, Claudio, 35(1)237--263
-
Castellini, Claudio, see Armando, Alessandro
-
Catach, Laurent, 7(4)489--510
-
Catach:1991:TGT, 7(4)489--510
-
Categoricity, 63(2)415--438
-
category, 64(1)53--72
-
Cattaruzza, Dario, 65(2)157--203
-
Cattaruzza:2021:UTS, 65(2)157--203
-
Cauchy, 64(2)331--360
-
Cauderlier, Raphaël, 64(6)1001--1050,
see Burel, Guillaume
-
causal, 12(3)305--349
-
Cayrol, Claudette, 29(2)125--169
-
Cayrol, Claudette, see Amgoud, Leila
-
ccFD, 17(3)371--403
-
CCS, 43(1)53--80
-
CD, 20(3)283--316
-
CEGAR-Based, 64(6)1051--1091
-
Centered, Human-, 65(8)1153--1190
-
Central, 59(4)389--423
-
Cerna, David M., 65(5)599--645
-
Cerna:2021:SRF, 65(5)599--645
-
Cerrito, Serenella, 51(2)197--239
-
Cerrito:2013:TBD, 51(2)197--239
-
Certificate, 54(1)1--29, 62(1)69--91, 64(3)513--532
-
certification, 5(1)67--91, 23(3)319--346, 67(2)z--z
-
Certified, 46(1)81--102, 47(3)319--336, 65(5)691--709
-
Certify, 62(4)505--530
-
Certifying, 30(3)323--361, 42(2)301--347, 52(3)241--273
-
Cervesato, Iliano, 63(4)809--811
-
Cervesato:2019:PSI, 63(4)809--811
-
Ceylan, {\.I}smail {\.I}lkan, 58(1)67--95
-
Ceylan:2017:BOL, 58(1)67--95
-
Chadha, Rohit, 36(1)39--83
-
Chadha:2006:FAM, 36(1)39--83
-
Chaieb, Amine, 41(1)z--z, 47(3)291--318
-
Chaieb:2008:PSR, 41(1)z--z
-
Chaieb:2011:FPS, 47(3)291--318
-
chain, 59(3)345--387, 64(7)1361--1391
-
Chaining, 40(2)133--177
-
Chakrabarti, I., 14(3)427--462
-
Chakrabarti, P. P., 30(2)205--232
-
Chakrabarti, P. P., see Chatterjee, Krishnendu
-
Chakrabarti:1995:IIP, 14(3)427--462
-
Chalin, Patrice, 44(1)z--99999999
-
Chalin, Patrice, see James, Perry R.
-
challenge, 6(2)213--232, 6(3)341--359, 12(2)241--264, 20(3)255--282,
27(2)157--174, 49(3)303--326, 49(3)327--362, 55(4)307--372,
66(4)565--574
-
Champeaux, Dennis de, 66(4)845--860
-
Champion, Adrien, 64(7)1393--1418
-
Champion:2020:IBR, 64(7)1393--1418
-
Chan, Hing Lun, 65(2)205--256
-
Chan, Hing-Lun, 62(2)171--192, 63(3)667--693
-
Chan:2019:CFF, 63(3)667--693
-
Chan:2019:PPB, 62(2)171--192
-
Chan:2021:MAA, 65(2)205--256
-
Chance-Constrained, 60(1)43--62
-
Chandrasekaran, R., 66(2)239--274
-
Chandrasekaran, R., see Wojciechowski, Piotr
-
Chandru, V., 28(4)371--396
-
Chandru, V., see Hooker, J. N.
-
Chandru, Vijay, 29(1)91--106
-
Chandru, Vijay, see Borkar, Vivek S.
-
Chang, Jin-Fu, 8(1)77--90
-
Chang, Jin-Fu, see Chen, Shyi-Ming
-
Chang, Liang, 49(1)1--52
-
Chang:2012:FDD, 49(1)1--52
-
Change, 1(2)230--230, 3(1)109--109
-
changing, 7(3)403--433
-
Chantry, Xavier, 46(3)353--388
-
Chantry, Xavier, see Arsac, Wihem
-
Chapman, Roderick, 36(4)379--410
-
Chapman, Roderick, see Ireland, Andrew
-
Char, Bruce W., 5(3)339--362
-
Char:1989:DIC, 5(3)339--362
-
characteristic, 10(2)161--172, 10(2)173--189
-
characterization, 10(2)237--263, 13(2)223--242, 20(1)143--165,
32(2)121--166, 40(2)133--177, 51(1)3--26
-
Charguéraud, Arthur, 49(3)363--408, 62(3)331--365
-
Chargueraud:2012:LNR, 49(3)363--408
-
Chargueraud:2019:VCA, 62(3)331--365
-
Charlton, Nathaniel, 54(3)199--284
-
Charlton, Nathaniel, see Reus, Bernhard
-
Chase, 51(1)79--108, 66(4)805--844
-
Chatterjee, Krishnendu, 30(2)205--232
-
Chatterjee:2003:BTT, 30(2)205--232
-
Chaudhuri, Kaustuv, 40(2)133--177
-
Chaudhuri:2008:LCF, 40(2)133--177
-
Chazarain, Jacques, 21(2)233--275
-
Chazarain:1998:ASR, 21(2)233--275
-
Chechik, Marsha, 60(3)255--256
-
Chechik, Marsha, see Blazy, Sandrine
-
Check, 18(1)47--83, 57(2)135--156
-
Checked, Machine-, 26(2)107--137
-
checked, mechanically-, 7(1)109--158
-
checker, 10(1)115--136, 24(1)101--125, 31(3)231--260, 54(1)1--29,
60(1)3--21, 67(1)z--z
-
Checking, 19(3)319--346, 23(3)265--298, 28(4)337--369, 30(3)399--444,
37(1)45--66, 41(3)365--398, 42(2)229--264, 44(1)z--99999999,
45(4)397--414, 48(1)1--42, 49(4)493--550, 55(3)285--294,
63(4)857--885, 64(3)513--532, 64(6)1051--1091, 64(7)1307--1330,
64(7)1445--1481
-
Checking, Model-, 63(4)1077--1101
-
Chemouil, David, 66(4)861--904
-
Chemouil, David, see Macedo, Nuno
-
Chen, Hao, 61(1)141--189
-
Chen, Mao, 65(6)711--726, 67(4)z--99999999
-
Chen, Mao, see Peng, Xicheng
-
Chen, Qihang, 65(6)711--726
-
Chen, Qihang, see Peng, Xicheng
-
Chen, Shyi-Ming, 8(1)77--90
-
Chen:1992:IRA, 8(1)77--90
-
Chen:2018:TCV, 61(1)141--189
-
Cheney, James, 45(3)267--300, 49(2)209--239, 66(4)989--1030
-
Cheney, James, see Ricciotti, Wilmer
-
Cheney:2010:EU, 45(3)267--300
-
Cheney:2012:FAC, 49(2)209--239
-
Cheng, Che, 67(3)z--99999999
-
Cheng, Che, see Luo, Yun-Rong
-
Chevalier, Yannick, 48(2)263--292
-
Chevalier:2012:DES, 48(2)263--292
-
Chew, Leroy, 63(3)597--623
-
Chew, Leroy, see Beyersdorff, Olaf
-
Chiba, Tomoya, 64(7)1393--1418
-
Chiba, Tomoya, see Champion, Adrien
-
Chief, Editor-in-, 2(1)105--107, 65(2)155--155
-
Chihani, Zakaria, 59(3)287--330
-
Chihani:2017:SFP, 59(3)287--330
-
Chini, Peter, 64(7)1419--1444
-
Chini:2020:FGC, 64(7)1419--1444
-
Chisholm, G. H., 5(4)533--540
-
Chisholm:1989:ARP, 5(4)533--540
-
Chlipala, Adam, 62(2)193--213
-
Chlipala, Adam, see Grégoire, Thomas
-
Chocron, Paula, 64(1)97--134
-
Chocron:2020:PCM, 64(1)97--134
-
choice, 7(2)257--270, 33(2)89--132, 43(3)289--304, 47(4)451--479
-
choosing, 3(2)201--209, 3(4)395--431, 4(3)327--329, 4(4)463--464,
6(1)77--78, 6(4)463--464, 7(3)435--438, 7(4)631--634, 8(2)307--309
-
Choreographic, 67(2)z--99999999
-
Chou, Ching-Tsun, 23(3)265--298
-
Chou, Shang-Ching, 2(3)253--273, 3(3)291--299, 4(3)237--267,
10(2)161--172, 10(2)173--189, 14(2)257--291, 17(3)325--347,
17(3)349--370, 25(3)219--246, 45(3)213--241, 45(3)243--266
-
Chou, Shang-Ching, see Ye, Zheng
-
Chou, Timothy S. C., 12(2)157--208
-
Chou:1986:PGT, 2(3)253--273
-
Chou:1987:MMD, 3(3)291--299
-
Chou:1988:IWM, 4(3)237--267
-
Chou:1993:ARDa, 10(2)161--172
-
Chou:1993:ARDb, 10(2)173--189
-
Chou:1994:MBB, 12(2)157--208
-
Chou:1995:APT, 14(2)257--291
-
Chou:1996:AGRa, 17(3)325--347
-
Chou:1996:AGRb, 17(3)349--370
-
Chou:1999:FVP, 23(3)265--298
-
Chou:2000:DDA, 25(3)219--246
-
Christ, Jürgen, 57(1)67--95
-
Christ:2016:PTP, 57(1)67--95
-
Christian, Jim, 10(1)95--113
-
Christian:1993:FDN, 10(1)95--113
-
Chrpa, Luká{\v{s}}, 65(6)727--773, see Vallati, Mauro
-
Chu, Heng, 18(2)183--188
-
Chu:1997:CSG, 18(2)183--188
-
Church--Rosser, 26(1)51--66
-
Ciaffaglione, Alberto, 39(1)1--47
-
Ciaffaglione:2007:RAO, 39(1)1--47
-
Ciancia, Vincenzo, 49(2)161--183
-
Ciancia, Vincenzo, see Bonchi, Filippo
-
CIC, 44(1)z--99999999
-
Cimatti, Alessandro, 35(1)265--293
-
Cimatti, Alessandro, see Bozzano, Marco
-
Ciobâc{\u{a}}, {\c{S}}tefan, 48(2)219--262
-
Ciobaca:2012:CKS, 48(2)219--262
-
Ciolli, Gianni, 47(3)319--336
-
Ciolli:2011:CPC, 47(3)319--336
-
Cipher, 56(1)49--94
-
circle, 15(3)279--315, 53(2)105--127
-
circuit, 14(3)427--462, 63(4)941--966
-
Circuit-Level, 49(4)583--619
-
circumscription, 1(4)391--405, 4(1)1--13, 10(2)143--160, 18(3)297--336
-
Citizens, 40(2)117--132
-
Claessen, Koen, 47(2)111--132, 65(8)1097--1124
-
Claessen:2011:AIF, 47(2)111--132
-
Claessen:2021:HTR, 65(8)1097--1124
-
claims, 5(4)533--540
-
Clarke, Edmund, 21(3)295--325
-
Clarke, Edmund, see Bauer, Andrej
-
Clarke, Edmund M., 8(2)153--181
-
Clarke, Edmund M., see Bose, Soumitra
-
class, 2(4)391--418, 8(3)345--366, 12(3)305--349, 22(3)311--339,
33(1)29--49, 34(1)73--101, 65(4)479--520, 66(4)611--637
-
Class, First-, 40(2)117--132
-
classical, 16(3)321--353, 20(1)107--142, 28(2)143--171, 47(4)399--425
-
classical, non-, 7(4)635--637
-
Classification, 20(3)337--364, 35(1)201--235, 44(4)337--369,
63(3)667--693
-
Classifiers, 45(1)21--37
-
Classroom, 32(1)35--73
-
clausal, 7(3)325--336, 33(2)133--170, 50(1)1--49, 57(1)3--36,
65(5)647--690
-
clause, 2(2)155--170, 2(3)287--327, 3(1)1--34, 4(3)287--325,
6(2)211--212, 7(2)285--286, 8(2)153--181, 9(1)43--76, 9(1)77--97,
11(2)269--288, 13(1)83--115, 20(3)317--336, 35(1)97--142,
40(1)35--60, 60(2)133--156, 60(4)527--527, 67(3)z--99999999
-
clause, definite-, 11(1)83--113
-
Clause-Learning, 44(3)277--301
-
Claw-Free, 52(1)1--29
-
Clean, 47(1)57--105
-
clear, 3(4)343--377
-
Clément, François, 50(4)423--456, 66(2)175--213,
see Boldo, Sylvie
-
Clifford, 21(1)1--21
-
Clight, 43(3)263--288
-
CLIN-E, 18(2)177--182
-
CLIN-S, 18(2)183--188
-
Clochard, Martin, 60(3)365--383
-
Clochard:2018:MRV, 60(3)365--383
-
Close, 55(3)295--306
-
closed, 4(2)173--190, 5(3)293--307
-
Closed-Form, 46(2)161--203
-
Closed-World, 18(3)357--398, 25(4)247--289
-
Closure, 31(2)129--168, 51(3)281--324, 67(3)z--99999999
-
Clouston, Ranald, 63(2)211--253
-
Clouston, Ranald, see Birkedal, Lars
-
CLP\mathfrakR, 9(2)231--260
-
CNF, 18(3)337--356, 49(4)583--619
-
CNFs, 28(4)417--434
-
Coarsest, 31(1)73--103
-
CoCon, 65(2)321--356
-
Codatatypes, 58(3)341--362
-
code, 5(4)493--518, 31(3)191--229, 42(2)125--187, 42(2)189--227,
42(2)265--300, 55(2)117--183, 56(3)283--308, 64(6)1123--1164,
67(1)z--99999999, 67(3)z--99999999
-
Code, Machine-, 60(3)257--277
-
Coded, 32(2)103--120
-
Codish, Michael, 49(1)53--93
-
Codish:2012:SST, 49(1)53--93
-
Codognet, Philippe, 17(1)97--128
-
Codognet:1996:SEB, 17(1)97--128
-
coefficient, 5(1)25--35
-
Coelho, Helder, 2(4)329--390
-
Coelho:1986:ARG, 2(4)329--390
-
Coen, Claudio Sacerdoti, 39(2)109--139, 44(1)z--99999999,
49(3)427--451
-
Coen, Claudio Sacerdoti, see Asperti, Andrea
-
Coen:2010:DRP, 44(1)z--99999999
-
Coercive, 27(1)3--27
-
Cohen, Cyril, 64(5)947--999, 67(3)z--99999999
-
Cohen, Cyril, see Affeldt, Reynald,
see Sozeau, Matthieu
-
Coherent, 40(1)61--85, 66(4)689--746
-
Cohn, Anthony G., 3(2)113--200
-
Cohn, Avra, 5(2)127--139
-
Cohn:1987:MEF, 3(2)113--200
-
Cohn:1989:NPH, 5(2)127--139
-
CoInductive, 39(1)1--47
-
Coinductive, 58(1)149--179
-
Cok, David R., 55(1)61--90
-
Cok:2015:ESC, 55(1)61--90
-
Collaborative, 46(3)389--421
-
Collatz, 67(2)z--99999999
-
collections, 62(1)93--126
-
Collector, 63(2)463--488, 63(2)489--515
-
Colored, 25(2)123--164
-
Coloring, 18(3)399--442
-
Colton, Simon, 40(2)221--243
-
Colton, Simon, see Sorge, Volker
-
column, 2(4)iii--iii, 66(4)575--584
-
combination, 2(2)171--190, 45(1)61--87, 48(4)441--487, 64(1)97--134,
64(3)579--609, 66(1)43--91, 66(3)331--355, 66(3)409--435
-
Combinatorial, 43(1)19--51, 45(4)331--358, 58(3)313--339
-
combinatory, 2(4)419--431, 3(1)91--107, 7(4)597--630, 10(3)287--343,
14(3)413--426
-
Combined, 33(3)221--249, 47(2)191--227
-
combining, 17(1)23--81, 21(3)279--294, 21(3)295--325, 28(3)257--305,
33(2)171--218, 34(1)1--29, 34(3)209--238, 58(3)313--339,
64(2)253--294, 67(2)z--99999999, 67(4)z--99999999
-
Commafree, 67(1)z--99999999
-
Commitment, 45(1)61--87, 65(4)521--567
-
Commitment, Assumption-, 41(3)365--398
-
Common, 21(2)233--275, 62(2)171--192
-
commonsense, 14(1)1--1, 15(1)v--v
-
community, 12(1)33--45
-
commutative, 12(2)209--223
-
Commutative, Associative-, 28(1)35--51, 37(3)205--229
-
commutative, associative-, 3(3)285--289, 9(2)261--288,
17(1)131--143
-
Commutativity, 64(7)1333--1359
-
Comon-Lundh, Hubert, 48(2)133--134
-
Comon-Lundh:2012:SIS, 48(2)133--134
-
COMP, SMT-, 35(4)373--390, 50(3)243--277, 55(1)61--90
-
Compagna, Luca, 46(3)353--388
-
Compagna, Luca, see Arsac, Wihem
-
Compagnoni, Adriana, 31(3)261--302
-
Compagnoni, Adriana, see Aspinall, David
-
Comparing, 8(3)367--394, 38(1)57--78
-
comparison, 3(3)285--289, 29(3)389--411, 35(1)143--179, 63(1)53--94
-
CompCert, 62(4)433--480
-
CompCertS, 63(2)369--392
-
Compendium, 29(3)189--224
-
Competing, 11(2)185--212
-
competition, 11(3)315--316, 11(3)333--351, 18(2)137--138, 18(2)139--162,
18(2)163--169, 18(2)211--220, 18(2)271--286, 18(2)287--296,
21(1)99--134, 23(1)1--23, 24(3)371--396, 27(3)227--250,
28(3)307--320, 31(1)23--32, 35(4)373--390, 59(4)455--482
-
Compilation, 32(2)93--102, 40(4)307--326, 45(1)39--59, 54(2)135--163
-
compile-time, 1(1)75--101
-
compiler, 4(4)353--380, 30(3)323--361, 43(4)z--z, 44(1)z--z,
60(3)337--363, 61(1)243--332, 63(2)369--392
-
Compiling, 7(3)337--358, 18(2)227--236
-
Complemented, 55(3)211--221
-
complete, 5(2)235--237, 5(3)399--401, 5(4)531--532, 7(4)587--596,
11(1)1--22, 12(2)241--264, 44(1)z--99999999, 53(4)317--350,
57(1)37--65, 59(2)219--265, 66(4)1031--1063
-
Completely, 29(2)171--182
-
completeness, 2(2)155--170, 8(1)45--75, 10(3)371--388, 16(3)355--368,
17(2)199--214, 30(3)323--361, 37(1)45--66, 52(1)31--65,
56(3)343--365, 58(1)149--179, 59(2)165--218, 64(3)579--609,
65(7)941--969
-
completion, 6(2)147--172, 17(2)145--169, 23(1)25--42, 28(3)235--256,
30(1)99--120
-
Completion, Multi-, 50(3)317--354
-
Complex, 64(2)331--360, 67(4)z--99999999
-
complexity, 9(2)261--288, 9(3)381--389, 14(2)317--323, 22(1)45--63,
23(2)107--136, 33(3)271--317, 35(1)89--95, 41(1)61--98,
50(3)279--315, 51(1)27--56, 55(4)373--388, 58(1)3--31,
58(4)483--508, 59(1)3--45, 59(1)121--163, 62(3)331--365,
62(3)367--391, 63(4)813--855, 64(7)1419--1444, 65(8)1191--1229,
66(1)1--41
-
Components, 63(4)1031--1053
-
Composite, 22(3)311--339
-
Compositional, 61(1)141--189, 63(4)1031--1053
-
Comprehensive, 50(4)423--456, 66(4)499--539
-
Compression, 41(3)193--218
-
Computation, 18(1)25--46, 21(3)295--325, 26(4)333--356, 54(1)1--29,
54(4)285--326, 61(1)33--71, 63(2)393--413, 65(5)691--709
-
computational, 4(2)117--172, 21(1)69--97, 23(2)107--136, 37(4)231--260,
46(3)225--259, 63(4)813--855, 66(4)1031--1063
-
Computationally, 47(1)17--56
-
computations, 7(4)537--561, 28(3)321--336, 34(2)141--177, 49(2)241--273,
52(3)241--273, 54(2)135--163, 62(2)281--300
-
computer, 6(3)251--286, 21(3)327--355, 22(3)311--339, 36(3)259--285,
43(3)237--242, 46(3)223--224, 58(3)313--339, 64(4)677--688
-
Computer-Aided, 26(2)139--160, 67(1)z--99999999
-
computer-aided, 7(4)587--596
-
Computer-Assisted, 22(3)341--378
-
computer-assisted, 7(4)453--474
-
computing, 17(3)259--289, 18(3)297--336, 18(3)337--356, 40(1)1--33,
42(1)35--76, 46(2)103--160, 48(2)219--262, 61(1)33--71
-
Concatenation, 67(1)z--99999999
-
concept, 1(2)161--208
-
conceptual, 1(1)49--74
-
Conchon, Sylvain, 56(4)387--457, 64(7)1307--1330
-
Conchon, Sylvain, see Dross, Claire
-
Conchon:2020:PMC, 64(7)1307--1330
-
Conclusions, 18(2)287--296
-
concrete, 6(3)299--317, 38(1)227--259, 66(3)357--407
-
concurrency, 1(1)75--101
-
Concurrent, 51(3)241--280, 59(1)47--85, 63(2)489--515
-
Condensed, 7(4)587--596
-
condition, 5(3)339--362, 6(4)465--489, 48(4)419--439, 64(7)1333--1359
-
conditional, 2(1)63--74, 10(2)191--235, 14(2)189--235, 60(4)421--463,
64(8)1611--1662
-
Cone, 47(1)1--16
-
Conference, 20(3)387--387, 65(2)321--356
-
Confidentiality, 46(3)389--421, 65(2)321--356
-
Confidentiality-Verified, 61(1)113--139
-
configuration, 65(6)727--773
-
Conflict, 60(2)133--156, 60(4)527--527
-
Conflict-Driven, 60(2)133--156, 60(4)527--527, 64(1)1--20,
64(3)579--609, 66(1)43--91
-
Confluence, 58(2)231--251
-
confluent, 2(4)391--418, 20(1)143--165
-
Conformance, 30(2)153--177
-
Congruence, 31(2)129--168
-
conjecture, 20(1)27--45, 36(1)149--176, 47(3)251--289, 58(3)313--339,
62(3)301--329, 66(3)277--300, 67(2)z--99999999
-
conjunction, 7(4)511--536
-
Conjunctive, 67(4)z--99999999
-
connection, 4(4)425--444, 5(3)257--291, 6(3)287--297, 13(3)297--337,
40(2)179--194, 65(2)287--320
-
Connection-based, 51(1)3--26
-
Conquer, 58(4)483--508
-
Conquering, 27(2)175--199
-
consed, Hash-, 53(3)271--304
-
Considered, 18(3)337--356
-
Consistency, 24(1)145--163, 37(1)45--66
-
Consistent, 22(3)263--309, 62(4)531--555
-
Constable, R. L., 1(3)285--326
-
Constable, Robert L., 22(2)171--221
-
Constable, Robert L., see Aitken, William E.
-
Constable:1985:WPC, 1(3)285--326
-
constant, 7(4)453--474
-
constant-abstraction, 3(3)285--289
-
Constant-Time, 63(1)1--51, 64(8)1685--1729
-
Constants, 48(3)363--390, 56(3)205--219, 67(2)z--99999999
-
Constrained, 45(4)331--358
-
Constrained, Chance-, 60(1)43--62
-
constraint, 6(1)51--75, 9(3)373--379, 17(1)97--128, 19(2)143--171,
22(3)241--262, 23(1)83--104, 24(1)67--100, 26(2)139--160,
33(1)51--88, 33(3)221--249, 40(1)1--33, 43(2)121--137,
48(1)107--131, 49(4)493--550, 51(4)371--400, 52(1)99--122,
59(1)3--45, 64(1)1--20, 64(2)295--330, 66(4)689--746
-
construct, 1(3)285--326, 7(2)231--256
-
Constructing, 17(1)1--22
-
construction, 4(2)173--190, 23(3)347--371, 26(2)139--160, 29(3)253--275,
32(1)3--33, 40(2)221--243, 44(1)z--99999999, 63(2)255--284,
63(2)415--438, 67(1)z--99999999, 67(3)z--99999999
-
constructive, 16(3)369--425, 44(3)207--243, 44(4)371--399, 52(1)99--122,
56(3)343--365, 61(1)521--553, 64(7)1197--1219
-
Contejean, Evelyne, 34(4)z--z
-
Contejean:2005:MPT, 34(4)z--z
-
Contents, 22(4)489--490, 25(4)333--334, 26(4)437--438, 27(4)427--428,
28(4)439--440, 29(3)417--418, 30(3)449--450, 31(3)375--376
-
contest, 11(3)317--331
-
context, 4(4)445--462, 10(1)79--93, 27(1)29--59, 32(2)103--120,
33(2)89--132, 39(1)1--47, 52(2)215--239, 67(4)z--99999999
-
Context-Sensitive, 65(8)1191--1229
-
Continuations, 43(3)305--336
-
Continued, 27(2)97--122
-
Continuity, 62(1)1--68
-
Continuous, 29(3)189--224, 63(4)1005--1029
-
Contract, 36(1)39--83
-
contraction, 3(4)433--435
-
Contraction-Free, 51(2)129--149
-
contradictions, 12(1)1--31
-
contrapositives, 4(3)287--325, 13(3)339--359
-
Contribution, 66(4)575--584
-
control, 4(1)101--107, 18(3)399--442, 54(1)31--68
-
Controlled, 13(3)297--337
-
Controller, 67(1)z--99999999
-
Convergent, 48(2)219--262
-
Converse, 51(2)197--239
-
Conversions, 43(3)305--336
-
Convex, 62(3)301--329, 63(2)323--345
-
Cook, Andrew, 36(4)379--410
-
Cook, Andrew, see Ireland, Andrew
-
Cooperation, 30(1)1--31
-
Coq, 23(3)319--346, 29(3)277--307, 40(4)307--326, 43(1)19--51,
49(2)141--159, 49(3)409--426, 53(2)105--127, 53(3)271--304,
57(3)187--217, 61(1)33--71, 61(1)423--453, 61(1)521--553,
62(1)1--68, 63(2)393--413, 64(5)795--825, 65(1)75--124,
66(2)175--213, 67(1)z--99999999, 67(4)z--z
-
Coquand, Thierry, 63(2)159--171
-
Coquand, Thierry, see Bezem, Marc
-
Corella, F., 10(1)79--93
-
Corella:1993:WHC, 10(1)79--93
-
Cornet, Ronald, 39(3)317--349
-
Cornet, Ronald, see Schlobach, Stefan
-
Corpus, 52(2)191--213
-
Correct, 18(1)25--46, 53(2)129--139, 64(1)73--95
-
Correcting, 19(3)277--318
-
Correcting, Error-, 64(6)1123--1164
-
correction, 41(2)143--189, 60(3)299--335, 65(3)461--461, 66(1)173--173,
66(4)639--666, 66(4)953--988, 66(4)1065--1095, 66(4)1097--1097,
66(4)1099--1099, 67(1)z--99999999
-
correctness, 2(2)109--126, 7(1)109--158, 37(1)67--92, 42(2)349--388,
47(1)1--16, 60(3)279--298, 61(1)367--422, 62(3)331--365
-
Corsini, Marc-Michel, 19(2)143--171
-
Corsini:1997:TCF, 19(2)143--171
-
Cortier, Véronique, 46(3)225--259, 48(4)441--487, 65(4)479--520
-
Cortier:2011:SSM, 46(3)225--259
-
Cortier:2012:DCR, 48(4)441--487
-
Cortier:2021:DCS, 65(4)479--520
-
CoSMed, 61(1)113--139
-
Cost, 46(2)161--203, 59(1)47--85, 59(1)87--120
-
cost, Multi-, 64(7)1483--1522
-
Costa, Gabriele, 64(7)1445--1481
-
Costa:2020:NPP, 64(7)1445--1481
-
Countable, 66(4)585--610
-
counter, 3(3)301--317, 65(3)425--460
-
Counter-Models, 51(2)129--149
-
Counting, 58(4)413--481, 64(2)331--360
-
Courant, J., 46(3)261--291
-
Courant:2011:APA, 46(3)261--291
-
Courtieu, Pierre, 35(4)295--354
-
Courtieu, Pierre, see Barthe, Gilles
-
Coverage, 45(4)397--414
-
Cowles, J., 38(4)273--301
-
Cowles, J., see Gamboa, R.
-
Cox--Ross--Rubinstein, 64(4)737--765
-
Craig, 65(5)647--690
-
Cramming, 30(2)179--204
-
Crato, Nuno, 24(1)67--100
-
Crato, Nuno, see Gomes, Carla P.
-
Credits, 62(3)331--365
-
Cremanns, Robert, 28(3)235--256
-
Cremanns:2002:CPF, 28(3)235--256
-
Creus, Carles, 51(3)281--324, 51(4)371--400
-
Creus:2013:EFT, 51(4)371--400
-
Creus:2013:NLR, 51(3)281--324
-
Cristiá, Maximiliano, 64(2)295--330, 65(4)463--478, 65(6)809--890,
65(8)1125--1151, 67(2)z--99999999
-
Cristia:2020:SQF, 64(2)295--330
-
Cristia:2021:APB, 65(4)463--478
-
Cristia:2021:ARR, 65(6)809--890
-
Cristia:2021:AVP, 65(8)1125--1151
-
Cristia:2023:AVP, 67(2)z--99999999
-
criteria, 2(2)109--126
-
Critical, 45(3)301--325
-
Critical, Safety-, 45(4)397--414
-
Cross, 22(3)311--339
-
Cruanes, Simon, 66(4)541--564
-
Cruanes, Simon, see Vukmirovi{\'c}, Petar
-
Cruz-Filipe, Luís, 59(4)425--454, 67(2)z--99999999
-
Cruz-Filipe, Lu{\'{\i}}s, 63(3)695--722
-
Cruz-Filipe:2017:FPS, 59(4)425--454
-
Cruz-Filipe:2019:FVS, 63(3)695--722
-
Cruz-Filipe:2023:FTC, 67(2)z--99999999
-
Cryptanalysis, 24(1)165--203
-
CryptHOL, 65(4)521--567
-
Cryptographic, 46(3)225--259, 46(3)293--323, 63(4)813--855
-
Cryptography, 63(1)1--51, 64(8)1685--1729
-
Crystal, 44(1)z--99999999
-
CSP, 41(3)365--398
-
CSPs, 48(3)391--417
-
CTL, 5(1)49--65, 56(3)343--365
-
Cubical, 63(2)159--171, 63(2)173--210, 63(2)211--253
-
Cuellar, Jorge, 36(1)1--3
-
Cuellar, Jorge, see Armando, Alessandro
-
Cunha, Alcino, 66(4)861--904
-
Cunha, Alcino, see Macedo, Nuno
-
Current, 27(1)1--2, 55(1)39--59
-
curve, 43(1)19--51, 50(2)161--172
-
Custom, 50(2)147--160
-
cut, 13(3)297--337, 67(4)z--99999999
-
Cut, Min-, 66(4)585--610
-
Cut-Free, 44(3)245--276
-
Cutello, V., 6(2)189--201
-
Cutello, V., see Cantone, D.
-
Cutting, 51(1)79--108, 66(2)239--274
-
Cyber-Physical, 63(4)1031--1053
-
cycle, 28(3)235--256, 39(1)77--106
-
Cyclic, 64(3)555--578, 67(3)z--99999999
-
Czajka, {\L}ukasz, 61(1)423--453
-
Czajka:2018:HCA, 61(1)423--453
-
Czarnecki, Krzysztof, 58(3)313--339
-
Czarnecki, Krzysztof, see Zulkoski, Edward