Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
A
-
A, 11(2)117--123
-
Abelson, H., 11(1)7--105
-
Abelson:1998:RRA, 11(1)7--105
-
abortive, 20(4)403--429
-
abstract, 13(1)119--129, 14(2)143--172, 17(4)297--345, 19(1)7--30,
19(1)31--100, 19(2)197--230, 19(2)231--262, 19(2)263--282,
19(4)415--463, 20(3)209--230, 20(3)237--255, 20(3)257--270,
20(3)271--293, 23(1)87--143
-
Abstraction, 13(1)57--63
-
access, 21(1)5--35
-
accounting, 21(1)119--146
-
accumulating, 17(1)129--163
-
accumulative, 25(1)3--38
-
Achten, Peter, 23(4)465--487
-
Achten:2010:TTF, 23(4)465--487
-
Act, 13(1)71--72
-
Actor, 11(3)281--343, 15(4)301--348
-
AD, 21(4)361--376
-
Adams IV, N. I., 11(1)7--105
-
Adams IV, N. I., see Abelson, H.
-
Adaptation, 17(1)93--128
-
Adapting, 21(4)377--409
-
adaptive, 23(4)433--463
-
addition, 16(4)379--400
-
addresses, 20(3)257--270
-
Agon, Carlos, 22(1)81--111
-
Agon, Carlos, see Bresson, Jean
-
Aided, 16(4)379--400
-
Aiken, Alexander, 12(3)237--282
-
Aiken:1999:ORP, 12(3)237--282
-
algebra, 19(2)231--262, 19(2)263--282, 19(2)283--304, 19(2)305--337
-
algebraic, 17(4)297--345
-
algorithm, 12(2)203--212, 13(3)239--278, 16(4)379--400, 18(1)15--49
-
Algorithmic, 11(1)7--105
-
alias, 18(1)15--49
-
alias, may-, 18(1)15--49
-
all, 16(4)379--400
-
allows, 16(4)379--400
-
Alves, Sandra, 23(1)1--27
-
Alves:2010:LIT, 23(1)1--27
-
ambient, 21(4)411--442
-
Amin, Nada, 25(1)165--207
-
Amin, Nada, see Rompf, Tiark
-
Amtoft, Torben, 21(4)411--442
-
Amtoft:2008:FST, 21(4)411--442
-
analysis, 15(1)7--55, 16(4)341--377, 17(4)297--345, 18(1)15--49,
18(3)245--269, 19(1)31--100, 19(1)101--124, 19(4)415--463,
20(1)123--160, 20(1)161--196, 23(1)29--86, 23(3)275--313,
24(1)41--80
-
annotations, 21(1)193--234, 21(1)235--235
-
anonymous, 16(4)379--400
-
application, 12(2)125--170, 18(3)355--370, 20(1)37--72, 20(1)123--160,
20(4)431--460
-
applicative, 18(3)371--388
-
Appreciation, 18(1)13--13
-
approach, 11(2)145--175, 12(4)381--391, 14(2)101--142, 16(4)379--400,
17(1)47--92, 19(2)231--262, 21(1)37--58, 22(2)155--189,
23(4)433--463, 25(1)127--163, 26(1)29--62
-
approximation, 24(1)41--80
-
APTS, 16(1)63--92
-
arbitrary, 16(4)379--400
-
argument, 16(4)379--400, 17(1)129--163
-
Ariola, Zena M., 14(4)387--409, 20(4)403--429, 22(3)233--273
-
Ariola, Zena M., see Xiao, Yong
-
Ariola:2007:PTF, 20(4)403--429
-
Ariola:2009:TTF, 22(3)233--273
-
arithmetic, 16(4)379--400, 19(1)7--30
-
Arithmetics, 16(1)93--149
-
arrays, 23(4)489--506
-
Artalejo, Mario Rodríguez, 20(1)73--122,
see Fraguas, Francisco J. López
-
Asai, Kenichi, 22(3)275--291, 24(4)311--340
-
Asai:2009:TDC, 22(3)275--291
-
Asai:2011:FU, 24(4)311--340
-
aspect, 24(1)151--189
-
Assayag, Gérard, 22(1)81--111, see Bresson, Jean
-
Assignment, 6(3)361--380, 16(4)401--401
-
associated, 25(2)255--274
-
assumes, 16(4)379--400
-
Augmented, Cost-, 17(1)7--46
-
automata, 21(1)37--58
-
Automata, Logic-, 18(1)79--120
-
automatic, 16(4)379--400, 18(1)121--210, 21(3)311--331
-
Automating, 14(4)387--409
-
available, 16(4)379--400
-
axiom, 15(2)235--264, 20(4)339--369
-
axiomatics, 19(2)305--337
-
Axiomatization, 20(4)339--369