Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
C
-
Calculi, 186(1)143--153
-
Calculus, 177(2)157--179
-
Call, 183(3)169--201
-
called, 185(4)285--311
-
Caltais, Georgiana, 173(2)217--251
-
Caltais:2020:CRS, 173(2)217--251
-
Cancer, 176(3)299--319
-
Cantone, Domenico, 176(3)349--384, 178(4)315--346, 181(1)37--69
-
Cantone:2020:STA, 176(3)349--384
-
Cantone:2021:CAD, 181(1)37--69
-
Cantone:2021:ISB, 178(4)315--346
-
Capacity, 180(1)123--150
-
Carmona, Josep, 175(1)123--141, 183(3)293--317, 187(2)i--iii
-
Carmona, Josep, see Buchs, Didier,
see Kalenkova, Anna
-
Carmona:2020:FPM, 175(1)123--141
-
Cartan, Quasi-, 181(4)313--337
-
Cartesian, 178(3)187--202
-
Casagrande, Alberto, 181(1)v--vi
-
Casagrande:2021:P, 181(1)v--vi
-
Case, 181(1)37--69
-
Cassez, Franck, 178(1)31--57
-
Cassez:2021:VPS, 178(1)31--57
-
Catalano, Costanza, 180(4)289--314
-
Catalano:2021:LBR, 180(4)289--314
-
Caty, Olivier, 172(2)203--219
-
Caty, Olivier, see Turpin, Léonard
-
Causal, 173(2)217--251, 180(3)179--249
-
Causal-Consistent, 178(3)229--266
-
Cause-Effect, 179(2)93--111
-
Cégielski, Patrick, 186(1)27--44,
see Arnold, André
-
Cellular, 185(1)27--82, 187(1)31--59
-
center, 183(3)169--201
-
Centrality, 172(2)169--186, 182(3)219--242
-
centric, Object-, 175(1)1--40
-
Chakraborty, Abhinav, 187(1)1--30
-
Chakraborty, Abhinav, see Bhagat, Subhash
-
Chakraborty, Mihir Kumar, 179(3)239--274
-
Chakraborty, Mihir Kumar, see Lin, Zhe
-
Chandra, Preetam, 176(2)141--166
-
Chandra, Preetam, see Dasgupta, Abhijit
-
Chandran, S. V. Ullas, 178(3)267--281
-
Chandran, S. V. Ullas, see Neethu, P. K.
-
Changat, Manoj, 178(3)267--281
-
Changat, Manoj, see Neethu, P. K.
-
Change, 188(2)103--126
-
Chapaneri, Santosh, 176(2)183--203
-
Chapaneri:2020:SGP, 176(2)183--203
-
Characterisation, 178(1)77--99, 180(4)333--350
-
Characterising, 172(2)169--186
-
Characteristics, 185(4)313--336
-
Charkari, Nasrollah Moghaddam, 182(3)301--319
-
Charkari, Nasrollah Moghaddam,
see Zarrabi, Mohammad Reza
-
Charlier, Ludovic, 180(4)289--314
-
Charlier, Ludovic, see Catalano, Costanza
-
Check, 174(2)137--165
-
checker, 178(4)347--378, 185(4)313--336
-
Checking, 173(4)285--314, 178(4)283--313, 187(2)103--138
-
Checking, Model-, 178(1)1--30, 183(3)319--342
-
Chehreghani, Mostafa Haghir, 182(3)219--242
-
Chehreghani:2021:EAA, 182(3)219--242
-
Chen, Guo, 176(2)103--128
-
Chen, Guo, see Cheng, Baolei
-
Chen, Qian Matteo, 174(3)229--258
-
Chen:2020:MPB, 174(3)229--258
-
Cheng, Baolei, 176(2)103--128
-
Cheng:2020:CNI, 176(2)103--128
-
Cho, Gook Hwa, 177(2)115--139
-
Cho:2020:AGN, 177(2)115--139
-
Choffrut, Christian, 188(1)15--39
-
Choffrut, Christian, see Bès, Alexis
-
choice, Free-, 181(4)273--302, 182(4)363--393
-
Chudzik, Artur, 176(2)167--181
-
Chudzik, Artur, see Przybyszewski, Andrzej W.
-
CIFF, 176(3)321--348
-
Çiftçi, Canan, 174(1)15--26
-
Ciftci:2020:DTD, 174(1)15--26
-
circuit, 174(3)259--281
-
Circular, 181(2)213--238
-
Classification, 172(3)261--297, 177(1)39--67, 181(4)313--337,
184(1)49--82
-
Classroom, 174(1)83--101
-
Clemente, Lorenzo, 188(3)127--178
-
Clemente, Lorenzo, see Barozzini, David
-
Clinical, 174(3)283--310, 176(2)141--166, 182(2)181--218
-
clock-controlled, 185(4)285--311
-
Clock-Dependent, 178(1)101--138
-
Closed, 177(3)385--415
-
Closeness, 176(1)1--15
-
Closure, 176(3)235--269, 179(1)59--74, 188(3)127--178
-
Cluster, 176(1)79--102, 181(4)273--302
-
Clustering, 184(3)205--231
-
codes, BCK-, 174(2)137--165
-
Coinductive, 180(4)351--373
-
Colcombet, Thomas, 188(3)127--178
-
Colcombet, Thomas, see Barozzini, David
-
Coloring, 174(2)103--119, 185(2)99--113
-
column, 173(1)47--72
-
Combi, Carlo, 178(4)283--313
-
Combi:2021:CSP, 178(4)283--313
-
combination, 177(3)297--329
-
Combinatorial, 174(2)121--136
-
Combining, 173(4)285--314, 174(1)43--59
-
Communication, 176(1)61--78
-
Commutativity, 177(3)297--329
-
Commuting, 172(4)327--341
-
Compactness, 172(1)73--95
-
Companion, 175(1)187--199, 181(4)313--337
-
Comparative, 179(2)165--182
-
Comparing, 175(1)41--58
-
comparison, 172(4)379--397, 174(3)201--228, 176(2)167--181
-
Compilation, 174(3)259--281
-
Complementary, 178(3)267--281
-
Complete, 178(3)187--202, 179(4)361--384, 180(1)77--101, 185(2)99--113,
186(1)155--173
-
Completeness, 186(1)27--44, 188(2)63--90
-
Complex, 173(2)139--176, 179(2)113--134
-
complexity, 173(4)253--283, 178(1)1--30, 180(1)103--122, 181(1)37--69,
181(2)129--161, 181(2)189--211, 183(1)125--167, 185(4)285--311,
187(2)139--165, 187(2)167--196
-
Composition, 174(1)83--101
-
Compositional, 173(2)139--176
-
Compression, 181(4)303--312, 184(2)107--139
-
Computable, 182(4)345--361
-
Computation, 174(3)283--310, 177(2)95--113, 184(4)273--296
-
Computational, 177(1)39--67, 181(2)129--161, 185(4)337--356
-
Computationally, 179(4)361--384
-
computer, 181(2)213--238
-
Computing, 174(1)1--13, 176(1)43--59, 177(2)189--201, 179(3)227--238,
182(2)181--218, 182(2)i--ii, 182(3)219--242, 184(4)297--306,
187(2)197--243
-
Concept, 179(3)295--319
-
Conchon, Sylvain, 178(4)347--378
-
Conchon:2021:DPV, 178(4)347--378
-
Concurrent, 177(3)331--357, 178(3)229--266, 187(2)71--102
-
Conditional, 173(1)33--45
-
Conditional, Semi-, 181(2)189--211
-
Conditions, 182(1)1--29
-
configured, 185(4)285--311
-
Congress, 186(1)133--141
-
Congruence-Based, 184(1)1--47
-
Connected, 172(1)97--104
-
Connectivity, 172(2)169--186, 173(1)33--45
-
Connectivity, edge-, 173(1)33--45
-
Consensus, 173(1)73--89
-
Conservation, 187(1)31--59
-
Consistency, 172(4)361--377, 174(3)311--344
-
Consistent, 172(4)379--397
-
Consistent, Causal-, 178(3)229--266
-
consistently, 185(4)285--311
-
constraint, 173(4)253--283, 174(3)311--344, 177(3)331--357,
177(3)359--383, 182(1)31--67, 182(3)301--319, 183(3)293--317
-
Constructing, 176(2)103--128
-
Construction, 184(4)307--354
-
Constructive, 184(3)233--271
-
Constructor-Based, 173(4)315--382
-
Consumption-Preserving, 177(3)203--234
-
Context, 179(4)361--384
-
Context-Free, Non-, 179(4)361--384
-
Contextual, 180(1)123--150
-
Contingent, 174(1)63--81
-
Continuous, 179(3)295--319
-
Contract, 173(4)285--314, 177(3)235--273
-
Control, 181(2)239--271, 182(1)31--67
-
controlled, clock-, 185(4)285--311
-
Cooperative, 177(3)203--234
-
Copyful, 178(1)59--76
-
Coquard, Emmanuel, 182(1)31--67
-
Coquard, Emmanuel, see André, Étienne
-
Core, 176(3)271--297
-
Corrector, 172(4)343--359
-
corrector, Predictor-, 177(2)141--156
-
Correlations, 172(4)399--412
-
Cost, 172(4)399--412, 183(1)97--123, 188(2)63--90, 188(3)127--178
-
Costantini, Stefania, 181(1)71--98
-
Costantini:2021:AMF, 181(1)71--98
-
Counters, 181(2)99--127
-
Counting, 180(4)375--393
-
Courcelle, Bruno, 186(1)89--120
-
Courcelle:2022:OTT, 186(1)89--120
-
Coverability, 183(1)33--66
-
Coxeter, 185(3)221--246
-
CP, 182(4)363--393
-
creating, 185(4)285--311
-
Cristani, Matteo, 172(2)169--186
-
Cristani, Matteo, see Menegaz, Gloria
-
Critical, 174(3)229--258
-
critical, ID-factor-, 187(1)61--69
-
Crossover, 174(3)201--228
-
crucial, 185(4)285--311
-
cryptographic, 185(4)285--311
-
cryptographically, 185(4)285--311
-
Crystal, 184(3)181--203
-
CSP, 174(1)27--42
-
CSPRNG, 185(4)285--311
-
CSPRNGs, 185(4)285--311
-
Cubes, 176(2)103--128
-
Cubicle, 178(4)347--378
-
Cuenca-Ortega, Angel, 177(3)297--329
-
Cuenca-Ortega, Angel, see Alpuente, María
-
Curry, 173(4)285--314
-
curve, 179(1)59--74, 180(3)275--287, 184(2)107--139, 185(4)285--311
-
cycle, 178(3)187--202, 185(2)185--199, 188(1)1--14
-
Cyclic, 184(4)273--296
-
Cylinders, 185(2)185--199
-
Czaja, Ludwik, 179(2)93--111
-
Czaja:2021:EEC, 179(2)93--111
-
Czech, Zbigniew J., 178(3)203--227
-
Czech, Zbigniew J., see Jastrzab, Tomasz