Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
C
-
Cadoli, Marco, 21(1)103--112, 23(1)123--143
-
Cadoli:1994:AID, 21(1)103--112
-
Cadoli:1995:AID, 23(1)123--143
-
Calbrix, Hugues, 39(3)305--325
-
Calbrix, Hugues, see Knapik, Teodor
-
calculate, 16(3)355--370
-
calculi, 19(1)1--49, 29(4)341--368, 30(2)169--181, 39(1)123--143
-
calculus, 19(1)167--184, 20(4)333--352, 26(2)167--203, 27(4)349--383,
31(2)107--116, 32(1)47--90, 32(3)193--250, 33(2)149--200,
36(2)235--263, 37(4)343--368, 37(4)369--412
-
Calmet, J., 39(1)39--57
-
Calmet, J., see Bertoli, P. G.
-
Calude, Cristian S., 33(2)105--120
-
Calude:1998:CAR, 33(2)105--120
-
Campbell, John A., 39(1)z--z
-
Campbell, John A., see Plaza, Jan A.
-
Can't, 21(1)149--159
-
Canonical, 24(1)125--155, 31(1)1--12
-
capacity, 16(1)93--97, 22(3)217--226
-
Cartesian, 25(2)123--174
-
case, 16(2)149--169, 29(4)383--390
-
Case, Average-, 36(4)307--315
-
Case-Based, 30(3)227--240
-
Castilho, Marcos A., 32(3)281--297
-
Castilho:1997:MTP, 32(3)281--297
-
Castro, Carlos, 34(3)263--293
-
Castro:1998:BCS, 34(3)263--293
-
categorical, 16(2)127--147, 22(1)153--166, 32(1)27--45, 33(4)339--368
-
Categorisation, 27(4)319--348
-
category, 22(1)93--116, 22(1)187--202, 24(3)209--250, 27(2)221--227,
31(3)379--400, 31(3)401--421
-
causal, 17(4)319--331, 17(4)369--397
-
Causality, 38(3)223--255
-
Cause-Effect, 31(3)305--335, 33(1)1--16, 33(1)17--42, 37(4)343--368
-
C{\u{a}}z{\u{a}}nescu, V. E., 13(2)171--210
-
Cazanescu:1990:TNA, 13(2)171--210
-
CCS, 16(2)171--199, 20(1)193--229
-
Cecylia, 32(2)z--z
-
Cederbaum, Mila, Majster-, 29(3)225--256
-
cellular, 14(1)75--90, 38(1)93--107
-
Cerioli, Maura, 16(2)101--126
-
Cerioli, Maura, see Astesiano, Egidio
-
Cerro, Luis Fariñas del, 32(3)281--297, 40(4)317--333,
see Castilho, Marcos A.
-
Certain, 22(3)217--226, 37(4)413--422, 39(3)259--272
-
chain, 26(1)59--80, 35(1)67--89
-
Chakraborty, Mihir K., 28(3)211--221, 32(2)107--120, 32(3)299--311
-
Chakraborty, Mihir K., see Banerjee, Mohua
-
Chakraborty:1997:GCS, 32(3)299--311
-
Chakraborty:1997:SPS, 32(2)107--120
-
chameleonic, 13(4)465--483
-
Change, 27(4)385--411, 34(1)33--51
-
Channel, 37(4)343--368
-
Chaotic, 37(1)31--50
-
Characteristics, 36(1)71--101
-
characterization, 13(2)211--226, 19(1)167--184, 20(4)381--392,
36(2)145--182
-
Chen, Jianhua, 21(3)205--220, 29(4)383--390
-
Chen, Jianhua, see Kundu, Sukhamay
-
Chen:1994:LOK, 21(3)205--220
-
Chikalov, Igor, 31(2)145--156, 39(4)337--357
-
Chikalov, Igor, see Moshkov, Mikhail
-
Chikalov:1999:ATC, 39(4)337--357
-
Children, 20(1)113--131
-
Chitil, Olaf, 31(3)253--294
-
Chitil:1997:SCS, 31(3)253--294
-
Chlebus, Bogdan S., 32(3)313--328
-
Chlebus:1997:TOT, 32(3)313--328
-
Cho, Sehyeong, 15(3)333--356
-
Cho, Sehyeong, see Maida, Anthony S.
-
Cholak, Peter, 21(4)333--344
-
Cholak:1994:CLS, 21(4)333--344
-
Chomsky, 29(4)325--339, 30(1)45--57
-
Chu, Heng, 21(3)221--235
-
Chu:1994:MFS, 21(3)221--235
-
Ciancaglini, Mariangiola, Dezani-, 32(3)193--250, 38(4)325--364
-
Cieplinski, Leszek, 34(4)347--367, 34(4)389--396
-
Cieplinski:1998:ECM, 34(4)389--396
-
Cieplinski:1998:RIV, 34(4)347--367
-
circuit, 31(1)79--105, 38(1)93--107
-
Circumscribed, 28(3)261--271
-
Circumscribing, 29(4)383--390
-
Circumscription, 21(1)103--112, 21(1)113--123, 23(1)123--143,
36(1)23--55
-
{\'C}iri{\'c}, M., 38(1)51--60, see Bogdanovi{\'c}, S.
-
Clark, 14(3)323--337
-
Clark, Peter, 30(3)227--240
-
Clark:1997:IIC, 30(3)227--240
-
Clashes, 23(2)355--370
-
Class, 33(3)211--238
-
classes, 13(3)275--316, 14(3)323--337, 16(2)127--147, 20(4)277--285,
22(3)217--226, 23(1)91--100, 37(4)413--422, 38(1)25--37,
39(4)375--387
-
Classical, 21(3)237--253, 22(1)53--67
-
classification, 13(1)1--17, 13(4)485--499, 14(3)339--343, 22(3)227--255,
22(3)257--288, 30(3)227--240, 30(3)255--267, 30(3)373--382,
35(1)163--177
-
classifier, {VGA}-, 37(1)177--199
-
Clausal, Non-, 31(2)107--116
-
Clause-Diffusion, 24(1)177--207
-
Clauses, 39(1)123--143
-
Clifford, 39(1)85--104
-
Closed, 14(3)367--385, 32(2)163--181
-
closure, 13(1)67--83
-
Co-Operative, 30(3)269--281
-
code, 23(1)1--32, 38(1)149--161
-
Coded, 23(1)1--32
-
Coding, 34(4)347--367, 34(4)389--396, 36(2)285--305, 39(1)1--20
-
Coherent, 37(4)369--412
-
coincides, 13(4)445--463
-
Coinductive, 33(4)309--338
-
Collage, 25(3)295--325
-
Combinational, 31(1)79--105
-
Combinatorial, 30(2)151--160
-
Combinators, 22(1)153--166
-
Combining, 20(1)193--229, 30(3)227--240, 32(2)163--181, 39(1)85--104
-
Common, 27(2)273--288
-
communicating, 13(3)263--274, 28(3)315--330
-
Communication, 37(4)343--368
-
Commutative, 31(1)13--25
-
Comonads, 22(1)3--22
-
Compact, 22(1)23--52
-
compactness, 16(1)39--57
-
comparison, 14(1)1--38, 27(2)289--298
-
Comparitive, 25(2)201--214
-
Compatible, 22(4)371--384
-
Compiler, 29(3)257--303
-
Complete, 26(2)103--113
-
completed, 13(1)35--49
-
Completenesess, 30(1)83--95
-
completeness, 16(1)59--92, 21(4)257--305, 28(1)183--195
-
completion, 13(4)465--483, 14(3)323--337, 39(1)145--165
-
complexity, 13(3)387--399, 17(1)117--155, 17(4)363--368, 20(4)353--379,
21(4)333--344, 22(3)289--298, 25(2)201--214, 25(3)327--352,
30(2)161--167, 31(2)157--184, 32(2)139--147, 36(4)307--315,
38(1)25--37, 39(1)59--83, 39(3)249--258, 39(3)259--272,
39(4)337--357
-
Composed, 27(2)183--195
-
Composition, 25(2)123--174, 40(2)125--163
-
compositional, 13(2)141--170, 14(1)109--128, 20(1)231--275,
28(1)183--195, 30(1)83--95
-
Comprehensive, 31(3)253--294, 39(3)273--304
-
Compression, 32(3)359--371, 34(4)369--388, 34(4)413--428, 34(4)455--467,
34(4)z--z, 36(4)345--365
-
Computable, 27(4)319--348, 32(1)91--105, 33(2)105--120
-
Computation, 22(4)353--370, 27(2)183--195, 29(4)305--324, 31(2)117--124,
35(1)1--16, 35(1)67--89, 35(1)247--259, 40(1)79--102, 40(2)199--219
-
Computational, 25(3)285--293, 30(2)161--167
-
Computed, 26(3)267--285
-
computer, 32(1)1--25, 39(1)1--20, 39(1)39--57
-
Computing, 22(3)203--215, 22(4)353--370, 35(1)211--230, 35(1)231--245,
37(1)101--119, 37(1)z--z, 39(1)85--104
-
Concatenable, 28(3)403--421
-
Concept, 27(2)169--181, 30(3)383--399, 37(1)71--87
-
Conception, 27(2)109--136
-
concepts, 13(2)227--235, 30(3)383--399
-
concerning, 16(3)275--287, 26(1)23--30, 32(3)341--348, 38(1)209--221
-
concurrence, 25(1)79--98
-
concurrency, 16(3)201--229, 19(3)403--416, 20(1)3--34, 29(4)341--368,
40(2)221--250
-
concurrent, 13(3)275--316, 14(1)1--38, 14(1)39--74, 28(3)353--376,
29(1)27--50, 29(3)225--256, 31(3)357--377, 34(3)323--346,
40(2)109--124
-
Conditional, 15(3)301--323, 21(4)307--319, 24(3)303--312
-
Conditions, 26(3)287--313
-
configuration, 22(4)385--394
-
Confluence, 24(1)3--23, 40(4)317--333
-
conformisms, 30(2)193--226
-
congruence, 16(2)171--199
-
Congruences, 30(1)31--44
-
consequence, 21(1)7--21, 32(3)299--311, 33(1)43--70
-
Conservativity, 19(1)1--49
-
consistency, 16(1)59--92, 29(3)225--256
-
Constantopoulos, Panos, 36(2)109--144
-
Constantopoulos, Panos, see Analyti, Anastasia
-
Constrained, Entropy-, 34(4)389--396
-
constraint, 15(3)357--380, 30(1)109--123, 34(3)225--262, 34(3)263--293,
34(3)295--321, 34(3)323--346, 34(3)z--z, 39(1)167--187
-
Constraint-Based, 23(2)303--353
-
Constructing, 29(3)203--223
-
Construction, 25(3)241--246, 26(2)133--139, 38(1)149--161
-
Constructive, 39(1)59--83
-
Constructor, 25(1)1--15
-
Context, 23(2)145--148, 23(2)225--246, 23(2)355--370, 30(2)183--191
-
Context-Based, 23(2)175--223
-
Context-based, 34(4)369--388
-
Context-Free, 25(3)217--239, 27(4)413--415, 31(1)13--25
-
context-free, 14(2)255--259, 16(1)93--97, 17(4)363--368
-
Context-Free, Coupled-, 29(1)1--26
-
contexts, 19(3)343--353, 23(2)263--301
-
Contextual, 24(1)107--123, 25(3)381--397, 30(2)161--167, 33(3)211--238,
33(3)281--294, 36(1)71--101, 38(3)257--280
-
Contingency, 30(3)383--399
-
Contributions, 39(4)389--409
-
Control, 29(4)341--368, 31(1)41--47, 35(1)51--66, 37(1)121--136
-
controlled, 13(3)275--316, 14(1)1--38, 30(1)45--57, 31(2)185--193
-
Controller, 30(3)299--311, 37(1)121--136
-
Convergence, 34(4)429--440, 36(4)345--365
-
Convex, 22(4)331--352, 32(3)193--250
-
Cooperating, 22(3)217--226, 36(2)103--107
-
Coordinatizing, 32(1)47--90, 33(2)149--200
-
Cores, 38(1)51--60
-
Corradini, A., 26(3)241--265
-
Corradini, Flavio, 27(4)349--383, 38(4)377--395
-
Corradini:1996:FPO, 27(4)349--383
-
Corradini:1996:GP, 26(3)241--265
-
Corradini:1999:RAF, 38(4)377--395
-
Correctness, 29(3)257--303
-
Correspondence, 38(1)209--221
-
Cost, 36(2)285--305, 38(1)17--23
-
Costa, J. Félix, 26(1)11--22, see Menezes, P. Blauth
-
COSY, 40(2)103--107
-
Coupled-Context-Free, 29(1)1--26
-
{CR}-Structures, 33(1)71--83
-
Credibility, 34(1)33--51
-
Criado, Regino, 25(1)39--48, 32(3)267--280
-
Criado, Regino, see Bujosa, Andrés
-
Critical, 21(1)23--38
-
Crossing, Non-, 22(4)385--394
-
CSP, 29(1)135--163
-
CTL*, 14(2)235--253
-
Cubic, 25(1)35--38
-
Curien, P.-L., 19(1)51--85
-
Curien:1993:SI, 19(1)51--85
-
curve, 39(1)211--228
-
Cut, 22(1)53--67
-
cycle, {E}-, 39(1)145--165
-
Czaja, Ludwik, 33(1)1--16, 33(1)17--42, 37(3)213--223, 37(3)z--z,
37(4)343--368
-
Czaja, Ludwik, see Burkhard, Hans-Dieter
-
Czaja:1998:CES, 33(1)17--42
-
Czaja:1998:MMT, 33(1)1--16
-
Czaja:1999:NDP, 37(3)213--223
-
Czaja:1999:RHS, 37(4)343--368
-
Czech, Zbigniew J., 36(4)317--336
-
Czech:1998:RPS, 36(4)317--336