Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
A
-
Abductive, 27(4)385--411
-
Abilities, 34(1)53--101
-
Absolute, 29(1)51--76
-
Abstract, 24(1)3--23, 26(3)315--339, 31(2)195--212, 31(3)237--252,
40(1)53--77
-
Abstraction, 32(1)47--90, 33(2)149--200
-
Abstractness, 40(4)335--382
-
Acceptance, 28(3)303--313, 40(2)285--316
-
Accepting, 38(4)365--375
-
Access, 38(1)17--23
-
According, 32(2)121--137
-
Account, 30(3)269--281
-
Aceto, Luca, 17(4)319--331, 17(4)369--397
-
Aceto:1992:HPC, 17(4)319--331
-
Aceto:1992:RDT, 17(4)369--397
-
ACI, 25(1)49--57
-
Acquisition, 30(2)151--160
-
action, 14(2)221--234, 20(1)3--34, 24(4)387--405, 30(1)109--123,
31(3)357--377, 40(4)335--382
-
Activation, 37(1)31--50
-
Active, 23(2)355--370
-
Acyclic, 23(1)91--100
-
Adaptation, Self-, 35(1)51--66
-
Adapting, 21(3)237--253
-
Adaptive, 34(4)369--388
-
adders, {RCC}-, 14(2)185--219
-
Adding, 36(1)1--21
-
Adequacy., 23(2)247--262
-
Adequate, 33(4)339--368
-
Adjacency, 38(1)39--50
-
Adjunctions, 22(1)93--116
-
Agent, 39(3)327--336
-
agents, 15(3)333--356, 34(1)53--101
-
Agustí, Jaume, 21(3)163--182, see Robertson, Dave
-
Ajdukiewicz, 30(2)169--181
-
Akdag, Herman, 17(4)333--362
-
Akdag:1992:QTU, 17(4)333--362
-
Alessi, Fabio, 32(3)193--250
-
Alessi:1997:CPL, 32(3)193--250
-
Alexandre, Francis, 29(3)203--223
-
Alexandre:1997:MCL, 29(3)203--223
-
Alferes, José Júlio, 28(1)1--22
-
Alferes:1996:BRN, 28(1)1--22
-
algebra, 13(3)263--274, 16(3)349--353, 19(3)303--342, 19(3)371--382,
21(4)321--331, 22(1)167--185, 23(1)101--121, 25(3)247--256,
26(2)167--203, 27(2)205--219, 29(1)51--76, 29(3)257--303,
31(1)1--12, 31(1)65--77, 31(3)357--377, 32(1)1--25, 32(1)47--90,
33(1)85--103, 33(2)149--200, 37(4)329--342, 38(1)51--60,
38(4)377--395, 39(1)1--20, 39(1)39--57, 39(3)229--248
-
algebraic, 13(2)171--210, 13(3)317--332, 16(3)263--273, 19(3)235--274,
25(3)217--239, 25(3)353--380, 27(1)57--76, 27(2)273--288,
28(1)129--140, 28(1)141--152, 28(1)153--164, 28(3)211--221,
29(1)119--133, 33(3)249--264, 37(3)269--289, 39(1)85--104,
39(1)211--228
-
algorithm, 19(3)275--301, 22(4)309--329, 28(3)423--430, 29(4)369--382,
30(3)345--358, 32(1)91--105, 35(1)17--33, 35(1)51--66, 35(1)91--111,
35(1)113--123, 35(1)163--177, 36(2)201--234, 36(4)345--365,
37(1)1--30, 37(1)51--70, 37(3)201--211, 37(3)291--309,
39(1)211--228
-
algorithmic, 14(1)91--108, 19(3)417--431, 25(2)99--121
-
all, 22(1)23--52, 38(1)149--161
-
Alon, Noga, 22(4)385--394
-
Alon:1995:LNC, 22(4)385--394
-
Along, 32(2)183--191
-
alphabet, 16(1)93--97, 30(1)31--44, 36(1)57--69
-
AltaRica, 40(2)109--124
-
Ambainis, Andris, 40(1)1--16
-
Ambainis:1999:IIP, 40(1)1--16
-
Ambiguities, 30(2)183--191
-
Ambivalent, 28(1)23--36
-
Amin, Mohamed, 36(2)103--107
-
Amin:1998:RRB, 36(2)103--107
-
Amir, Amihood, 19(3)383--402
-
Amir:1993:SP, 19(3)383--402
-
Amram, Amir M., Ben-, 38(1)1--15
-
Analyse, 29(1)1--26
-
Analysis, 25(2)201--214, 27(2)169--181, 33(2)105--120, 34(4)429--440,
34(4)441--453, 34(4)469--474, 36(4)345--365, 37(1)71--87
-
Analyti, Anastasia, 36(2)109--144
-
Analyti:1998:SSN, 36(2)109--144
-
Analytical, 27(2)255--271
-
Analyzing, 37(3)311--327
-
And-Search, Prune-, 22(4)353--370
-
Angeline, Peter J., 35(1)179--195
-
Angeline:1998:HPE, 35(1)179--195
-
Anomalies, 23(1)67--89
-
Anonymous, 21(4)255--256
-
Anonymous:1994:O, 21(4)255--256
-
answer, 32(2)121--137
-
Answering, 30(3)313--324
-
Ant, 35(1)197--209
-
Antichains, 26(1)59--80
-
Anwar, A., 40(4)407--422
-
Anwar, A., see Ordman, E. T.
-
application, 14(1)91--108, 14(3)355--366, 22(4)309--329, 22(4)353--370,
26(3)287--313, 27(1)77--100, 28(3)403--421, 36(4)345--365,
39(1)1--20, 39(1)59--83
-
Applying, 40(2)221--250
-
approach, 14(2)185--219, 15(3)333--356, 16(1)1--38, 16(3)263--273,
19(3)235--274, 23(2)175--223, 25(2)201--214, 28(3)353--376,
28(3)377--402, 30(3)383--399, 31(2)195--212, 32(3)251--266,
35(1)163--177, 39(1)1--20, 39(1)167--187
-
Approximate, 21(1)103--112, 23(1)123--143, 27(2)137--153, 30(3)313--324
-
Approximating, 28(1)123--128
-
approximation, 14(1)91--108, 27(2)245--253, 32(2)149--162,
33(2)105--120
-
Apt, K. R., 13(1)1--17
-
Apt, Krzysztof R., 14(3)339--343, 28(1)23--36, 34(3)295--321, 34(3)z--z
-
Apt:1990:ACP, 13(1)1--17
-
Apt:1991:ACP, 14(3)339--343
-
Apt:1996:MVL, 28(1)23--36
-
Apt:1998:GEP, 34(3)z--z
-
Apt:1998:PTV, 34(3)295--321
-
Arbitrary, 24(1)125--155, 27(4)413--415
-
arc, 40(2)165--197, 40(2)251--283
-
architecture, 37(1)177--199
-
Argumentation, 28(3)331--346
-
Ariola, Zena M., 26(3)207--240
-
Ariola:1996:ETG, 26(3)207--240
-
Arithmetic, 13(1)1--17, 14(3)339--343
-
Arithmetic, Array-, 27(1)77--100
-
Arnold, André, 40(2)109--124
-
Arnold:1999:AFD, 40(2)109--124
-
Array-Arithmetic, 27(1)77--100
-
artificial, 15(3)301--323, 37(1)101--119
-
Asking, 30(1)1--9
-
aspect, 17(1)99--116, 29(1)119--133, 35(1)197--209
-
Asperti, Andrea, 22(1)3--22
-
Asperti:1995:LLC, 22(1)3--22
-
Assignment, 26(2)141--166, 28(1)197--209
-
Assistant, 39(3)327--336
-
Association, 32(3)359--371, 40(4)383--405
-
Assumptions, 20(1)35--73, 32(2)163--181
-
Astesiano, Egidio, 16(2)101--126
-
Astesiano:1992:PHO, 16(2)101--126
-
Asymptotic, 20(4)277--285
-
Asynchronous, 25(3)241--246, 26(3)387--406, 40(2)221--250
-
{ATMS}-based, 37(1)1--30
-
atomic, 16(3)289--336
-
Atomicity, 20(1)3--34, 29(4)341--368
-
Attardi, Guiseppe, 23(2)149--173
-
Attardi:1995:FV, 23(2)149--173
-
Attribute, 20(4)285--332, 29(1)119--133
-
Attributed, 26(3)407--431
-
autoepistemic, 13(4)403--443, 15(3)275--300, 16(1)59--92, 17(1)5--29,
17(1)117--155, 17(1)157--173
-
automata, 13(2)211--226, 14(1)75--90, 14(3)313--322, 25(3)241--246,
25(3)285--293, 29(4)325--339, 30(1)59--81, 36(1)57--69,
36(2)145--182, 38(1)79--91, 38(1)93--107, 38(1)189--200
-
Automated, 24(1)107--123, 27(2)299--318, 30(1)59--81, 33(1)85--103,
39(1)167--187
-
Automatic, 30(2)151--160
-
Automating, 28(1)129--140, 39(1)189--209
-
average, 13(3)387--399, 31(2)145--156, 39(4)337--357
-
Average-Case, 36(4)307--315
-
axiom, 14(2)235--253, 19(3)275--301, 20(1)193--229
-
Axiomatic, 33(4)397--432, 36(2)201--234
-
Axiomatization, 21(4)257--305, 24(4)313--331, 25(2)183--200,
26(2)103--113, 32(3)329--340, 33(4)309--338