Last update: Thu Jun 29 03:43:11 MDT 2023
Return to index directory
C
-
C, 3(3)279--298, 5(4)377--393, 16(2)z--99999999
-
C++, 5(3)335--356
-
C, Frama-, 5(4)377--393
-
Cache, 3(4)433--442
-
CAD, 4(1)93--112
-
Cada, Roman, 5(1)21--25
-
Cada:2011:NDC, 5(1)21--25
-
Cai, Yongyang, 2(4)601--634
-
Cai, Yongyang, see Kapur, Deepak
-
calculation, 1(2)267--290, 11(3)363--381, 13(3)403--415, 14(2)253--270,
14(3)623--640
-
Calculator, 14(2)271--279, 17(1)z--z
-
calculus, 2(3)465--491, 4(2)243--258, 5(4)437--467, 6(4)475--497,
7(2)185--199, 7(2)201--227, 13(1)195--204, 13(1)217--236
-
called, 2(2)279--304, 3(3)265--278
-
CAM, 6(3)267--268, 6(3)297--313
-
Campi, C., 15(4)553--575
-
Campi, C., see Beltrametti, M. C.
-
Canal, 8(2)299--319
-
Canales-Martínez, Isaac, 12(3)319--337,
see Adj, Gora
-
Cano, José, 15(2)189--198
-
Cano:2021:ARP, 15(2)189--198
-
canonical, 1(2)239--251, 10(1)165--178
-
Cantin, Guillaume, 15(1)107--120
-
Cantin, Guillaume, see Silva, Cristiana J.
-
Capable, 8(3)525--542
-
Caputo, 15(1)91--105
-
Carleman, Non-, 10(3)365--386
-
Carlitz, 15(4)889--898
-
Carreño, Diana H., Bueno-, 14(2)415--421
-
carried, 2(2)195--209, 3(3)251--263
-
Cartesian, 2(1)37--61, 5(1)81--87, 7(3)255--273
-
CAS, 11(3)305--314, 11(3)393--399, 13(1)69--78, 14(1)45--67
-
CASash, 14(2)375--389
-
case, 2(2)279--304, 3(1)47--60, 3(2)201--208, 8(1)99--116, 11(2)159--176,
11(3)401--415, 13(1)205--216, 13(1)217--236
-
Castrejón-Lozano, J. G., 13(3)391--401,
see Juarez-del-Toro, R.
-
Catalan, 15(4)701--713
-
category, 11(3)253--268, 14(2)339--346
-
Catháin, Padraig Ó, 12(4)371--372, 12(4)453--458,
see Gillespie, Neil I.,
see Goyeneche, Dardo
-
Cauchy, 4(2)243--258
-
Cauich, Juan Carlos, Ku-, 14(2)209--222
-
Caylay, 15(4)743--755
-
Cell, 8(3)525--542, 13(1)169--183, 16(1)z--z
-
center, 10(1)57--73
-
Central, 11(3)315--328, 11(3)457--467
-
Centroid, 9(2)127--137
-
century, 3(3)227--241
-
Ceria, Michela, 16(4)z--99999999
-
Ceria:2022:ABC, 16(4)z--99999999
-
Ceria:2022:NGJ, 16(4)z--99999999
-
certain, 3(2)129--140, 9(2)193--199, 9(2)209--220, 9(2)253--263,
10(2)239--248, 13(3)441--447, 16(2)z--99999999
-
Certified, 10(1)57--73
-
Certify, 1(2)291--304
-
CFTG, LM-, 3(3)279--298
-
CFTGs, LM-, 3(3)279--298
-
chain, 4(2)185--201, 10(2)263--272, 15(2)177--188
-
challenge, 2(2)305--331, 3(2)201--208, 12(3)263--274, 13(1)117--130,
13(1)131--141, 15(4)577--588
-
Challenging, 10(1)75--96
-
Chan, E. Y. S., 13(1)41--56
-
Chan, H. L., 1(4)543--555
-
Chan, Joseph Wun-Tat, 1(4)541--542
-
Chan:2008:F, 1(4)541--542
-
Chan:2008:NOC, 1(4)543--555
-
Chan:2019:MHC, 13(1)41--56
-
Change, 10(4)429--457, 11(3)383--391, 17(2)z--99999999
-
changing, 2(2)279--304
-
channel, Multi-, 13(3)333--340
-
Channel, Side-, 12(3)295--307
-
Chaotic, 3(2)141--157
-
character, 2(2)195--209
-
characterisation, 3(3)227--241
-
characteristic, 3(2)173--183, 3(2)209--224, 10(4)479--492,
12(3)319--337
-
Characterization, 8(3)379--390, 12(4)429--451
-
Charalambidis, Angelos, 2(1)123--141
-
Charalambidis:2008:EII, 2(1)123--141
-
Chatterjee, Siddharth, 8(1)5--10
-
Chatterjee:2014:ARS, 8(1)5--10
-
Chaudhuri, Pranay, 5(1)27--39
-
Chaudhuri:2011:ISS, 5(1)27--39
-
Chavarr{\'{\i}}a, S., L{\'o}pez-, 13(3)391--401
-
Chaves, Ricardo R. C., 9(4)437--441
-
Chaves, Ricardo R. C., see Berkemer, Sarah J.
-
Chebyshev, 10(2)279--289, 15(1)5--13
-
check, parity-, 3(2)129--140
-
checking, 5(4)395--426, 9(3)327--344, 10(1)41--56
-
Chemical, 5(3)289--301, 7(3)275--292
-
Chen, Gang, 1(4)605--623
-
Chen, Tian, 16(2)z--99999999
-
Chen, William Y. C., 1(3)441--457
-
Chen, Xiaoyu, 7(4)379--386, 7(4)439--454, 14(4)671--672, 14(4)757--773
-
Chen, Xiaoyu, see Wang, Dongming
-
Chen, Yuqun, 11(1)7--33
-
Chen:2008:CSN, 1(3)441--457
-
Chen:2008:LZF, 1(4)605--623
-
Chen:2013:FSF, 7(4)379--386
-
Chen:2013:FSG, 7(4)439--454
-
Chen:2017:AOR, 11(1)7--33
-
Chen:2020:FSF, 14(4)671--672
-
Chen:2022:FMP, 16(2)z--99999999
-
Cheng, Albert M. K., 13(4)489--515
-
Cheng, Albert M. K., see Andrei, Stefan
-
Cheng, Eddie, 15(4)743--755
-
Cheng, Eddie, see Jia, Nan
-
Cheng, Jinsan, 4(1)113--137
-
Cheng:2010:TRA, 4(1)113--137
-
Cheviakov, Alexei F., 4(2)203--222
-
Cheviakov:2010:SCL, 4(2)203--222
-
Chhadé, Hiba Haj, 8(3)455--478
-
Chhade:2014:NPD, 8(3)455--478
-
Chiadjeu, Etienne Nana, 9(3)365--389
-
Chiadjeu, Etienne Nana, see Koepf, Wolfram
-
Chien, Bui Van, 17(1)z--99999999
-
Chien:2023:TTD, 17(1)z--99999999
-
Chitcharoen, Doungrat, 7(1)11--29
-
Chitcharoen, Doungrat, see Ramanna, Sheela
-
choice, 3(2)129--140, 8(1)5--10
-
choose, 3(2)129--140
-
choosing, 3(2)129--140
-
Choudhary, Aruni, 14(1)141--176
-
Choudhary:2020:CTG, 14(1)141--176
-
Chowdhury, Atish Datta, 1(4)673--688
-
Chowdhury, Atish Datta, see Banerjee, Satyajit
-
Chrapary, Hagen, 11(3)469--481
-
Chrapary:2017:DCS, 11(3)469--481
-
Christodoulakis, Manolis, 3(4)371--371
-
Christodoulakis:2010:F, 3(4)371--371
-
Christopher, Colin, 11(3)269--283
-
Christopher, Colin, see Hussein, Wuria Muhammad Ameen
-
Chu, Qiping, 8(3)425--442
-
Chu, Qiping, see Rego, Francisco
-
Cie{\'s}lak, Waldemar, 14(1)45--67,
see Dana-Picard, Thierry
-
Cinque, Luigi, 3(4)391--406, 7(2)155--166
-
Cinque:2010:SCP, 3(4)391--406
-
Cinque:2013:BIC, 7(2)155--166
-
cipher, 3(2)159--172
-
ciphertext, 3(2)185--200
-
circles, almost-, 15(4)789--801
-
circulant, 9(2)253--263
-
Circular, 11(3)439--448, 15(3)407--417
-
Clain, Stéphane Louis, 12(2)107--109,
see Loja, Amélia
-
Clark, John M., 12(1)33--50
-
Clark, John M., see Port, Alexander
-
Class, 8(3)329--340, 11(3)457--467
-
classes, 3(3)299--307, 7(4)455--472, 10(1)27--39, 10(2)291--309,
14(1)35--44, 15(1)63--90
-
Classical, 8(2)119--145, 12(1)91--106
-
classification, 1(1)9--19, 1(1)21--37, 1(1)39--69, 1(1)71--109,
1(1)111--175, 1(1)177--207, 1(2)211--223, 1(2)225--237,
1(2)239--251, 1(2)253--265, 1(2)267--290, 1(2)291--304,
1(2)305--320, 1(2)321--335, 1(2)337--352, 1(3)441--457,
1(3)459--472, 1(3)473--485, 1(3)487--505, 1(3)507--539,
1(4)543--555, 1(4)557--569, 1(4)571--603, 1(4)605--623,
1(4)625--638, 1(4)639--653, 1(4)655--672, 1(4)673--688,
1(4)689--699, 2(1)5--36, 2(1)37--61, 2(1)63--83, 2(1)85--102,
2(1)103--122, 2(1)123--141, 2(1)143--163, 2(1)165--191,
2(2)195--209, 2(2)211--229, 2(2)231--251, 2(2)253--277,
2(2)279--304, 2(2)305--331, 2(2)333--353, 2(2)355--378,
2(2)379--398, 2(3)401--420, 2(3)421--442, 2(3)443--464,
2(3)465--491, 2(3)493--515, 2(3)517--533, 2(3)535--556,
14(2)317--325
-
Classifying, 11(1)49--59
-
Classroom, 11(3)351--361, 16(4)z--99999999
-
Clause, 9(3)327--344
-
Claw-Free, 5(1)21--25
-
clearly, 3(3)265--278
-
Climent, Joan-Josep, 12(3)349--369
-
Climent:2018:BFD, 12(3)349--369
-
Clipping, 5(2)223--235
-
Clique, 5(1)113--118
-
Clocks, 2(1)143--163
-
Closed, 9(3)267--281, 10(2)263--272
-
Closedash, 5(1)69--80
-
Cluster, 1(2)393--425, 1(4)655--672, 7(3)293--313, 7(4)401--420
-
Clustering, 7(1)113--124, 15(2)271--292
-
CNC, 6(3)267--268
-
Coarseness, 5(1)7--10
-
Coboundary, 6(2)109--120
-
Cocyclic, 12(4)407--417
-
code, 3(2)129--140, 5(2)133--170, 6(2)147--165, 6(3)199--215,
6(3)327--344, 10(2)223--227, 11(1)79--90, 12(3)339--347,
12(4)419--428, 14(1)35--44, 14(2)415--421, 14(2)423--429,
16(4)z--99999999
-
codeword, 3(2)129--140
-
Coding, 5(2)171--178
-
coefficient, 1(2)211--223, 4(2)151--167, 12(2)183--195, 13(3)403--415,
13(3)441--447
-
Coen, Claudio Sacerdoti, 2(2)355--378, 10(4)409--427
-
Coen, Claudio Sacerdoti, see Guidi, Ferruccio
-
Coen:2008:SDE, 2(2)355--378
-
Cohen, A. M., 3(3)331--347
-
Cohen, Arjeh M., 2(2)211--229
-
Cohen, Rankin-, 11(3)401--415
-
Cohen:2008:APG, 2(2)211--229
-
Cohen:2010:MCI, 3(3)331--347
-
Colbourn, Charles J., 12(4)429--451
-
Colbourn:2018:CFF, 12(4)429--451
-
Collaborative, 8(1)71--97
-
collecting, 3(3)299--307
-
collection, 2(2)279--304, 3(3)265--278, 3(3)299--307
-
collections, 3(3)299--307
-
Colliers, 14(1)1--8
-
Collins, Pieter, 5(4)437--467
-
Collins:2011:VRF, 5(4)437--467
-
Coloring, 3(1)61--72, 10(2)239--248, 14(1)9--17
-
Coloring, -, 10(2)239--248
-
Column-Convex, 15(4)889--898
-
Combastel, Christophe, 8(3)407--423
-
Combastel, Christophe, see Maïga, Moussa
-
combination, 9(3)265--265
-
Combinatorial, 12(4)429--451, 15(4)715--739, 15(4)741--741
-
Combined, 3(2)201--208
-
Combining, 6(4)347--359
-
Comet, Jean-Paul, 5(3)263--288
-
Comet, Jean-Paul, see Mabrouki, Mbarka
-
Common, 1(4)543--555, 11(2)219--232, 11(2)233--249, 15(1)5--13,
15(4)589--608
-
Communication, 3(4)391--406
-
communications, 17(2)z--99999999
-
community, 1(3)441--457, 2(2)279--304
-
Companion, 13(1)41--56
-
comparison, 1(4)571--603, 6(2)181--198, 14(3)533--549
-
compiler, 3(3)279--298
-
complete, 3(2)129--140, 3(3)299--307, 5(3)335--356, 16(4)z--99999999
-
Completely, 1(2)225--237
-
Completeness, 7(1)107--111
-
Complex, 1(2)321--335, 12(4)453--458, 12(4)459--464, 13(3)433--439,
15(1)107--120, 15(2)271--292
-
complexity, 1(1)39--69, 2(4)557--566, 3(2)129--140, 7(3)275--292
-
Complexity, Low-, 3(4)391--406
-
component, 2(2)195--209, 6(4)475--497, 16(2)z--99999999
-
Composite, 12(4)473--490, 15(1)155--171
-
Composition, 6(4)475--497, 14(1)69--76, 16(1)z--z
-
Compositional, 15(4)609--630
-
comprehension, 14(3)607--621
-
Comprehensive, 9(3)267--281, 13(1)185--194, 17(1)z--99999999
-
Compressed, 11(2)151--157
-
Compression, 3(4)391--406, 7(2)137--153, 7(2)155--166
-
computation, 1(1)21--37, 1(2)239--251, 1(2)267--290, 2(1)5--36,
2(4)567--586, 3(2)159--172, 4(2)203--222, 4(4)539--556, 9(1)63--84,
10(2)291--309, 10(3)311--312, 10(3)365--386, 11(3)351--361,
11(3)401--415, 12(1)1--32, 12(2)107--109, 12(2)129--141,
13(1)31--40, 15(1)1--4, 15(1)63--90, 15(3)407--417, 15(3)419--452,
16(4)z--99999999
-
Computational, 1(4)655--672, 2(4)557--566, 4(4)389--429, 10(3)343--352,
13(3)367--389, 15(1)155--171
-
Computationally, 14(2)375--389
-
Compute, 8(2)289--298, 14(3)577--589
-
computer, 1(2)291--304, 2(2)279--304, 3(4)407--420, 7(4)473--485,
9(1)1--3, 11(1)1--6, 11(3)449--455, 13(1)95--104, 13(1)117--130,
13(3)417--431, 14(2)305--316, 14(2)391--398, 15(4)577--588,
16(2)z--99999999, 16(4)z--99999999, 17(1)z--z
-
Computing, 1(1)9--19, 1(2)211--223, 2(4)601--634, 3(2)209--224,
3(4)373--389, 4(1)25--44, 4(2)267--288, 5(2)179--194, 5(4)427--435,
6(1)79--105, 6(2)147--165, 6(3)261--266, 7(3)293--313, 9(4)453--459,
10(1)165--178, 10(2)249--261, 12(3)295--307, 13(1)185--194,
13(1)205--216, 14(1)123--140, 14(2)241--251, 15(2)353--367,
15(4)859--876, 16(2)z--99999999, 17(1)z--99999999
-
Conceição, Ana C., 10(2)291--309, 10(3)311--312,
10(3)365--386, 15(1)63--90, see Loja, Amélia
-
Conceicao:2016:ESS, 10(2)291--309
-
Conceicao:2016:SCA, 10(3)365--386
-
Conceicao:2021:SCA, 15(1)63--90
-
Concept, 1(4)689--699, 11(3)469--481
-
concerned, 2(2)379--398
-
concerns, 3(3)251--263
-
Concilio, A., Di, 7(1)31--42, 12(1)91--106
-
Concretely, 3(3)299--307
-
Concretizations, 4(1)67--91
-
Conde, Josep, 9(2)145--149
-
Conde:2015:NAM, 9(2)145--149
-
Conditional, 3(1)97--107, 5(1)89--99, 6(1)33--41
-
Conditions, 1(1)177--207, 5(1)21--25, 15(1)155--171
-
Cone, 3(4)457--463, 11(3)439--448
-
Conference, 12(4)465--471
-
configuration, 11(3)449--455, 11(3)457--467, 14(2)375--389,
17(2)z--99999999
-
Conformal, 4(4)389--429, 10(1)97--113
-
Conforming, 15(1)135--154
-
Confront, 13(1)217--236
-
Conic, 1(1)39--69, 11(3)439--448
-
conics, 1(1)39--69
-
conjecture, 9(2)209--220
-
Conjecturing, 16(4)z--99999999
-
Conjugation, 10(3)365--386
-
Conley, Ehud S., 7(2)137--153
-
Conley:2013:IAB, 7(2)137--153
-
Connected, 9(2)249--252, 15(3)407--417, 16(2)z--99999999
-
Connected, Cube-, 3(1)109--117
-
Connected, Two-, 9(2)249--252
-
connection, 10(4)479--492
-
Connectivity, 9(4)409--436, 10(2)229--237
-
conservation, 2(3)465--491
-
consider, 3(2)129--140, 3(2)185--200, 3(3)299--307
-
considerable, 2(2)305--331
-
considered, 3(2)129--140
-
consistent, 2(2)305--331, 3(3)227--241
-
consisting, 3(3)299--307
-
consists, 3(2)129--140
-
Constants, 1(1)21--37, 16(4)z--99999999
-
Constrained, 14(1)9--17
-
constraint, 3(2)129--140, 8(3)329--340, 8(3)503--523, 9(3)265--265
-
construct, 2(2)279--304
-
constructed, 3(3)279--298
-
Constructibility, 10(1)27--39, 10(1)41--56
-
Constructible, 10(1)165--178
-
Construction, 3(1)47--60, 5(1)81--87, 9(2)127--137, 10(1)41--56,
10(1)97--113, 10(2)223--227, 11(2)137--149, 11(2)159--176,
12(4)453--458, 14(1)35--44, 14(2)305--316, 14(2)415--421,
14(3)533--549, 17(1)z--99999999
-
Constructive, 4(2)359--383
-
consumers, 2(2)379--398
-
consuming, OpenMath-, 2(2)379--398
-
contain, 3(2)185--200
-
containing, 2(2)379--398
-
content, 2(2)379--398, 3(3)265--278
-
Context, 3(3)331--347
-
Context-Free, 3(3)279--298
-
context-free, 3(3)279--298
-
Continuation, 1(1)111--175, 8(2)253--262
-
continuously, 3(3)299--307
-
Contractions, 10(3)353--364
-
contribute, 3(3)227--241
-
contribution, 2(2)379--398, 12(3)255--262, 15(2)177--188
-
Control, 6(3)315--326, 7(2)229--236, 7(3)367--378, 8(3)525--542,
9(4)461--475, 10(3)331--342, 12(2)111--127, 13(3)391--401,
17(2)z--z
-
Controlled, 13(3)333--340
-
conventional, 2(2)305--331
-
Convergence, 1(2)291--304, 5(2)223--235
-
Convergent, 4(4)507--537, 13(1)185--194
-
conversion, 3(3)299--307, 11(1)61--77, 14(2)209--222
-
convert, 3(3)299--307
-
converted, 2(2)279--304, 3(3)299--307
-
converter, 3(3)299--307
-
Convex, 6(3)261--266, 9(3)283--325, 9(3)345--353, 13(3)433--439,
15(4)889--898
-
Convex, Column-, 15(4)889--898
-
Cooper, Colin, 3(4)489--496
-
Cooper:2010:SFP, 3(4)489--496
-
coping, 3(3)299--307
-
Coq, 5(4)377--393, 8(1)99--116, 9(1)41--62, 14(3)533--549
-
Coquelicot, 9(1)41--62
-
Corbella, Irene, Márquez-, 6(2)107--108, 6(2)147--165
-
Corless, R. M., 13(1)41--56
-
Corless, R. M., see Chan, E. Y. S.
-
Corless, Robert M., 1(2)353--374, 2(4)557--566
-
Corless, Robert M., see Ilie, Silvana
-
Corless:2007:PMP, 1(2)353--374
-
Cornell, 3(3)299--307
-
Corona, 9(1)105--111
-
Coronene, 9(2)169--175
-
corpora, 3(3)299--307
-
corpus, 2(2)279--304, 3(3)299--307, 10(1)41--56
-
Correcting, Error-, 5(2)133--170
-
correction, 15(4)715--739, 15(4)741--741
-
correspondence, 3(2)201--208
-
corresponding, 3(3)251--263
-
Cost, 3(1)47--60
-
could, 2(2)379--398, 3(3)227--241
-
Counterpart, 17(1)z--99999999
-
Counting, 9(4)437--441, 15(4)701--713, 17(2)z--99999999
-
Coupled, 14(1)123--140
-
course, 2(2)279--304
-
CoV2, AntiSARS-, 15(4)877--888
-
cover, 3(1)31--38, 3(1)85--96, 5(1)113--118, 13(1)21--29
-
Coverage, 6(1)33--41
-
Covering, 3(1)97--107, 6(1)33--41, 7(1)43--50, 7(3)255--273,
12(2)235--246, 15(4)715--739, 15(4)741--741
-
Coxeter, 14(1)141--176
-
Cracked, Through-, 10(3)343--352
-
created, 3(3)299--307
-
creating, 3(3)299--307
-
creation, 2(2)305--331
-
Creative, 4(2)259--266, 15(3)483--498
-
Crescenzo, Giovanni, Di, 14(3)641--656
-
Crnkovi{\'c}, Dean, 12(4)389--395, 17(1)z--99999999
-
Crnkovi{\'c}, Vedrana Mikuli{\'c}, 17(1)z--99999999,
see Crnkovi{\'c}, Dean
-
Crnkovic:2018:NST, 12(4)389--395
-
Crnkovic:2023:CTE, 17(1)z--99999999
-
Crochemore, Maxime, 1(4)541--542
-
Crochemore, Maxime, see Chan, Joseph Wun-Tat
-
Cross--Verification, 2(2)231--251
-
Cruz, Cristian, 7(4)401--420
-
Cruz:2013:SNC, 7(4)401--420
-
cryptanalyse, 3(2)129--140
-
cryptanalysis, 3(2)129--140, 3(2)201--208
-
cryptographic, 3(2)159--172
-
Cryptographical, 6(2)181--198
-
Cryptography, 12(3)309--318
-
cryptosystem, 3(2)129--140, 3(2)201--208
-
CSP, 8(3)407--423
-
CTL, 12(2)111--127
-
Cube-Connected, 3(1)109--117
-
cubic, 3(3)279--298
-
Cuckoo, 3(1)47--60
-
current, 2(2)279--304, 3(3)227--241, 3(3)243--250
-
currently, 3(3)265--278, 3(3)299--307
-
curvature, 1(1)39--69
-
Curvature-Based, 6(3)315--326
-
curve, 2(4)635--652, 3(2)173--183, 3(2)209--224, 4(1)3--24, 4(1)113--137,
4(4)463--479, 7(2)185--199, 8(2)289--298, 9(3)355--364,
10(1)179--205, 11(3)269--283, 12(3)295--307, 12(3)309--318,
14(1)45--67, 14(2)391--398, 15(4)757--774, 16(2)z--99999999
-
Curved, 6(3)261--266
-
Cutter, 6(3)281--296
-
Cuypers, H., 3(3)331--347
-
Cuypers, H., see Cohen, A. M.
-
CVC3, 5(4)377--393
-
cycle, 3(1)109--117, 6(2)167--180, 6(2)181--198, 9(2)193--199,
9(2)249--252
-
Cyclic, 14(2)415--421
-
Cyclic, Quasi-, 3(2)129--140
-
cyclic, quasi-, 3(2)129--140
-
Cylindrical, 5(2)209--221, 8(2)263--288, 13(4)461--488
-
Czeizler, Eugen, 1(4)625--638
-
Czeizler, Eugen, see Béal, Marie-Pierre