Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
A
-
Aaronson, Scott, 67(2)z--99999999
-
Aaronson, Scott, see Yolcu, Emre
-
Abate, Alessandro, 65(2)157--203, 67(2)z--99999999
-
Abate, Alessandro, see Cattaruzza, Dario
-
Abate:2023:SPN, 67(2)z--99999999
-
abduction, 13(2)189--210, 46(1)43--80
-
Abductive, 32(3)187--226, 57(2)97--134
-
Abdulaziz, Mohammad, 61(1)485--520, 63(3)763--786
-
Abdulaziz:2018:FVA, 61(1)485--520
-
Abdulaziz:2019:IHF, 63(3)763--786
-
Abdyldayev, Satbek, 60(4)503--526
-
Abdyldayev, Satbek, see Braude, Eric
-
Abelian, 3(3)247--283, 10(1)1--13
-
ABox, 46(1)43--80
-
ABoxes, 53(3)215--243
-
ABR, 30(2)153--177
-
Abrahamsson, Oskar, 64(7)1287--1306
-
Abrahamsson:2020:PPS, 64(7)1287--1306
-
Abramovici, Miron, 24(1)5--36
-
Abramovici:2000:SSU, 24(1)5--36
-
absence, 5(4)531--532
-
Absorption, 53(3)215--243, 53(4)351--405
-
abstract, 3(1)1--34, 11(1)23--41, 19(3)319--346, 31(2)129--168,
38(4)303--351, 49(2)115--140, 49(2)209--239, 49(3)409--426,
55(4)307--372, 56(3)283--308, 58(3)363--390, 62(4)505--530,
65(2)157--203
-
Abstraction, 44(3)207--243, 49(2)111--114, 57(4)281--318
-
abstraction, constant-, 3(3)285--289
-
abstraction, variable-, 3(3)285--289
-
AC, 14(2)293--316
-
AC--Unification, 11(2)185--212
-
AC-unification, 4(4)465--474, 8(1)39--44
-
acceleration, 65(2)157--203
-
Acceptance, 31(2)169--187
-
Acclavio, Matteo, 63(4)911--939
-
Acclavio:2019:PDM, 63(4)911--939
-
Accuracy, 60(1)23--42
-
Achievements, 55(1)39--59
-
Ackermann, 7(4)453--474
-
ACL2, 27(4)323--351, 31(2)107--127, 40(4)293--306, 43(2)139--172,
47(1)1--16, 47(3)229--250
-
ACL2r, 38(4)273--301
-
acquiring, 1(1)49--74
-
across, 9(3)407--408
-
action, 49(1)1--52
-
Active, 63(4)1103--1134
-
ACUI, 33(1)1--28
-
Acyclic, 49(4)551--582, 63(3)539--555
-
Adding, 3(3)225--246, 56(4)387--457
-
addition, 4(2)117--172
-
Additive, 33(3)251--269
-
address, 1(2)230--230, 2(1)105--107, 3(1)109--109, 5(1)119--121,
7(1)165--167, 64(5)911--945
-
Adequacy, 49(2)209--239
-
adjunction, 9(2)289--290
-
Advanced, 64(8)1611--1662
-
Adversarial, 19(3)347--376
-
Afaq, Nida, 60(1)85--105
-
Afaq, Nida, see Sardar, Muhammad Usama
-
Affeldt, Reynald, 53(1)63--103, 64(6)1123--1164, 67(3)z--99999999
-
Affeldt:2014:FST, 53(1)63--103
-
Affeldt:2020:LFL, 64(6)1123--1164
-
Affeldt:2023:MCE, 67(3)z--99999999
-
against, 36(1)85--124
-
Agda, 64(5)857--877
-
Agents, 31(3)335--370
-
Agre, Keith M., 36(3)241--257
-
Agre, Keith M., see Fiala, Nick C.
-
Aguirre, Luis, 60(4)421--463
-
Aguirre:2018:SNC, 60(4)421--463
-
Ahrens, Benedikt, 63(2)285--318
-
Ahrens:2019:SMU, 63(2)285--318
-
AI, 63(4)1055--1075
-
Aichernig, Bernhard K., 63(4)1103--1134
-
Aichernig:2019:EAA, 63(4)1103--1134
-
aid, 55(3)285--294
-
Aided, Computer-, 26(2)139--160, 67(1)z--99999999
-
aided, computer-, 7(4)587--596
-
AIE--98, 20(3)387--387
-
Aiguier, Marc, 38(4)303--351, 45(4)437--473
-
Aiguier, Marc, see Longuet, Delphine
-
Aiguier:2007:SAR, 38(4)303--351
-
Aircraft, 60(1)85--105
-
Aitken, J. Stuart, 12(1)103--129
-
Aitken, William E., 22(2)171--221
-
Aitken:1994:RTP, 12(1)103--129
-
Aitken:1999:MFI, 22(2)171--221
-
Akbarpour, Behzad, 44(3)175--205
-
Akbarpour:2010:MAT, 44(3)175--205
-
AKS, 65(2)205--256
-
Alama, Jesse, 50(2)123--133, 52(2)191--213
-
Alama:2013:EIA, 50(2)123--133
-
Alama:2014:PSM, 52(2)191--213
-
Alan, 35(4)429--431
-
Albert, Elvira, 46(2)161--203, 59(1)47--85
-
Albert:2011:CFU, 46(2)161--203
-
Albert:2017:RGT, 59(1)47--85
-
Alberti, Francesco, 54(4)327--352
-
Alberti:2015:DPF, 54(4)327--352
-
Alekhnovich, Michael, 35(1)51--72
-
Alekhnovich:2005:ELB, 35(1)51--72
-
Alexander, Geoffrey D., 18(2)177--182
-
Alexander:1997:CSI, 18(2)177--182
-
ALF, 30(1)59--98
-
Alferes, José Júlio, 14(1)93--147, 20(1)1--3, 20(1)107--142
-
Alferes:1995:LPS, 14(1)93--147
-
Alferes:1998:CNN, 20(1)107--142
-
Alferes:1998:P, 20(1)1--3
-
algebra, 6(3)233--250, 6(4)465--489, 17(1)1--22, 21(3)327--355,
29(1)1--16, 31(1)1--9, 35(1)201--235, 36(3)213--239, 43(2)139--172,
49(1)95--106, 54(2)165--197, 56(3)309--341, 58(3)313--339,
58(4)509--535, 63(3)787--808, 64(6)1093--1121
-
Algebraic, 20(3)365--385, 21(1)1--21, 45(4)359--395, 57(4)281--318,
64(3)363--389, 66(3)331--355
-
algorithm, 2(2)109--126, 5(1)25--35, 5(1)67--91, 7(1)109--158,
7(4)475--487, 8(1)77--90, 9(3)373--379, 12(1)33--45, 18(1)105--134,
18(3)297--336, 19(1)1--29, 20(1)5--25, 22(1)45--63, 22(2)149--170,
23(3)299--318, 24(1)127--143, 24(4)421--481, 25(1)1--34,
26(2)107--137, 26(2)205--221, 26(3)223--268, 27(4)353--389,
28(2)101--142, 29(3)337--363, 30(2)153--177, 30(3)235--269,
34(1)31--47, 34(4)387--423, 35(1)51--72, 37(1)67--92, 38(1)227--259,
39(2)219--243, 40(1)1--33, 40(4)307--326, 43(1)1--18, 49(4)551--582,
55(3)269--284, 61(1)33--71, 61(1)485--520, 62(2)193--213,
62(2)261--280, 63(3)539--555, 64(4)699--735, 64(5)827--856,
65(2)205--256, 66(4)845--860
-
Algorithmic, 51(4)453--456
-
Alkassar, Eyad, 42(2)389--454, 52(3)241--273
-
Alkassar:2009:BL, 42(2)389--454
-
Alkassar:2014:FVC, 52(3)241--273
-
Alkhouri, Ismail, 67(1)z--99999999
-
Alkhouri, Ismail, see Velasquez, Alvaro
-
Allamigeon, Xavier, 63(2)323--345
-
Allamigeon:2019:FCP, 63(2)323--345
-
Allocation, 42(2)229--264
-
Allowing, 50(4)383--421
-
Almeida, Ariane Alves, 66(4)1031--1063
-
Almeida, Ariane Alves,
see Ramos, Thiago Mendonça Ferreira
-
Alonderis, R., 64(8)1663--1684
-
Alonderis:2020:LTS, 64(8)1663--1684
-
Alonso, José Antonio, 47(3)229--250,
see Martín-Mateos, Francisco Jesús
-
Alonso, José-Antonio, 32(4)z--99999999, 37(1)67--92,
see Martín-Mateos, Francisco-Jesús,
see Ruiz-Reina, José-Luis
-
Alonso, Miguel A., Palacios-, 45(1)21--37
-
Alonso-Jiménez, J. A., 52(3)331--360,
see Hidalgo-Doblado, M. J.
-
alternative, 4(1)1--13, 5(2)141--165, 6(1)79--109, 10(3)399--420,
13(1)145--172, 28(4)397--415
-
Alves-Foss, Jim, 26(4)357--408
-
Alves-Foss, Jim, see Holmes, M. Randall
-
Always, 20(1)47--80
-
Ambal, Guillaume, 65(1)75--124
-
Ambal:2021:PC, 65(1)75--124
-
Ambrosius, Rolf, Socher-, 9(1)77--97
-
Amgoud, Leila, 29(2)125--169
-
Amgoud:2002:IIP, 29(2)125--169
-
Amjad, Hasan, 41(3)193--218
-
Amjad:2008:DCP, 41(3)193--218
-
Amortized, 62(3)331--365, 62(3)367--391
-
analogy, 10(3)421--422, 20(1)27--45, 22(2)117--147
-
Analyses, 59(1)47--85
-
analysis, 2(2)127--153, 11(2)289--291, 27(4)323--351, 33(3)341--383,
36(1)1--3, 36(1)39--83, 40(4)245--269, 41(3)325--364, 42(1)1--33,
42(2)265--300, 45(4)397--414, 46(2)161--203, 46(3)225--259,
46(3)325--352, 52(2)191--213, 59(1)1--2, 59(1)3--45, 59(1)87--120,
60(1)85--105, 61(1)33--71, 61(1)191--242, 62(2)281--300,
64(5)879--910, 64(7)1483--1522, 64(8)1685--1729
-
analytic, 5(3)339--362, 13(2)243--281, 38(1)127--153, 43(3)243--261,
47(4)451--479
-
Analytica, 21(3)295--325
-
analytical, 13(1)1--33
-
analytically, self-, 4(3)327--329, 4(4)463--464
-
Analyzing, 32(3)187--226, 51(1)27--56, 58(1)3--31, 66(2)239--274
-
Anand, Abhishek, 64(5)947--999
-
Anand, Abhishek, see Sozeau, Matthieu
-
Anantharaman, Siva, 6(1)79--109, 33(1)1--28, 48(2)135--158
-
Anantharaman:1990:APM, 6(1)79--109
-
Anantharaman:2004:UMA, 33(1)1--28
-
Anantharaman:2012:UMH, 48(2)135--158
-
anatomy, 15(2)237--265
-
and-Bound, Branch-, 46(1)81--102
-
and-Wait, Stop-, 42(1)1--33
-
Andrew, 35(4)429--431
-
Andrews, Peter B., 5(3)257--291, 7(2)285--286, 16(3)321--353,
31(2)169--187, 32(1)75--92
-
Andrews:1989:CHO, 5(3)257--291
-
Andrews:1991:MPF, 7(2)285--286
-
Andrews:1996:TTP, 16(3)321--353
-
Andrews:2003:HAA, 31(2)169--187
-
Andrews:2004:ESH, 32(1)75--92
-
Andrlon, Mak, 67(1)z--99999999
-
Andrlon:2023:FNB, 67(1)z--99999999
-
Android, 67(2)z--99999999
-
Andrzej, 55(3)187--190
-
Angeletti, Damiano, 45(4)397--414
-
Angeletti:2010:UBM, 45(4)397--414
-
Annotation, 47(1)57--105
-
announcement, 1(2)229--229, 1(4)441--441, 2(4)iii--iii, 2(4)433--433,
3(1)109--111, 3(2)223--223, 3(3)339--342, 4(1)115--116, 4(1)v--v,
4(3)iii--iii, 5(1)123--124, 5(1)v--v, 6(2)iii--iii, 6(4)iii--iii,
7(1)v--v, 8(1)v--v, 10(3)423--423, 21(2)277--277, 23(1)105--105,
31(2)105--105
-
Announcing, 2(1)103--103, 2(2)218--218
-
Anonymous, 1(2)229--229, 1(2)230--230, 1(4)441--441, 2(1)103--103,
2(1)105--107, 2(2)217--217, 2(2)218--218, 2(4)iii--iii,
2(4)433--433, 3(1)109--109, 3(1)109--111, 3(2)223--223,
3(3)339--342, 4(1)109--111, 4(1)113--113, 4(1)115--116, 4(1)v--v,
4(2)235--236, 4(3)iii--iii, 5(1)119--121, 5(1)123--124, 5(1)v--v,
6(2)iii--iii, 6(4)iii--iii, 6(4)491--492, 7(1)163--163,
7(1)165--167, 7(1)v--v, 7(3)301--302, 8(1)1--2, 8(1)v--v,
10(3)423--423, 12(3)411--412, 15(2)277--278, 20(3)387--387,
21(2)277--277, 22(4)485--486, 22(4)487--487, 22(4)489--490,
23(1)105--105, 23(3)195--196, 25(2)165--165, 25(4)329--329,
25(4)331--332, 25(4)333--334, 26(4)433--433, 26(4)435--435,
26(4)437--438, 27(4)423--423, 27(4)425--425, 27(4)427--428,
28(2)233--233, 28(4)435--435, 28(4)437--437, 28(4)439--440,
29(3)413--413, 29(3)415--415, 29(3)417--418, 30(3)445--445,
30(3)447--447, 30(3)449--450, 31(3)371--371, 31(3)373--373,
31(3)375--376
-
Anonymous:1985:Aa, 1(2)229--229
-
Anonymous:1985:Ab, 1(4)441--441
-
Anonymous:1985:CA, 1(2)230--230
-
Anonymous:1986:A, 2(4)433--433
-
Anonymous:1986:AEC, 2(1)105--107
-
Anonymous:1986:ANJa, 2(1)103--103
-
Anonymous:1986:ANJb, 2(2)218--218
-
Anonymous:1986:CP, 2(2)217--217
-
Anonymous:1986:EAN, 2(4)iii--iii
-
Anonymous:1987:Aa, 3(1)109--111
-
Anonymous:1987:Ab, 3(2)223--223
-
Anonymous:1987:Ac, 3(3)339--342
-
Anonymous:1987:CA, 3(1)109--109
-
Anonymous:1988:A, 4(1)115--116
-
Anonymous:1988:BR, 4(1)113--113
-
Anonymous:1988:Ea, 4(1)109--111
-
Anonymous:1988:Eb, 4(2)235--236
-
Anonymous:1988:PAa, 4(1)v--v
-
Anonymous:1988:PAb, 4(3)iii--iii
-
Anonymous:1989:A, 5(1)123--124
-
Anonymous:1989:AEB, 5(1)119--121
-
Anonymous:1989:PA, 5(1)v--v
-
Anonymous:1990:CP, 6(4)491--492
-
Anonymous:1990:EA, 6(2)iii--iii
-
Anonymous:1990:PA, 6(4)iii--iii
-
Anonymous:1991:AEB, 7(1)165--167
-
Anonymous:1991:E, 7(1)163--163
-
Anonymous:1991:PA, 7(1)v--v
-
Anonymous:1991:WKS, 7(3)301--302
-
Anonymous:1992:PA, 8(1)v--v
-
Anonymous:1992:SBS, 8(1)1--2
-
Anonymous:1993:A, 10(3)423--423
-
Anonymous:1994:E, 12(3)411--412
-
Anonymous:1995:KLS, 15(2)277--278
-
Anonymous:1998:A, 21(2)277--277
-
Anonymous:1998:EIC, 20(3)387--387
-
Anonymous:1999:A, 23(1)105--105
-
Anonymous:1999:AIV, 22(4)485--486
-
Anonymous:1999:CV, 22(4)489--490
-
Anonymous:1999:P, 23(3)195--196
-
Anonymous:1999:SIV, 22(4)487--487
-
Anonymous:2000:AIV, 25(4)329--329
-
Anonymous:2000:CV, 25(4)333--334
-
Anonymous:2000:E, 25(2)165--165
-
Anonymous:2000:SIV, 25(4)331--332
-
Anonymous:2001:AIVa, 26(4)433--433
-
Anonymous:2001:AIVb, 27(4)423--423
-
Anonymous:2001:CVa, 26(4)437--438
-
Anonymous:2001:CVb, 27(4)427--428
-
Anonymous:2001:SIVa, 26(4)435--435
-
Anonymous:2001:SIVb, 27(4)425--425
-
Anonymous:2002:AIVa, 28(4)435--435
-
Anonymous:2002:AIVb, 29(3)413--413
-
Anonymous:2002:CVa, 28(4)439--440
-
Anonymous:2002:CVb, 29(3)417--418
-
Anonymous:2002:E, 28(2)233--233
-
Anonymous:2002:SIVa, 28(4)437--437
-
Anonymous:2002:SIVb, 29(3)415--415
-
Anonymous:2003:AIVa, 30(3)445--445
-
Anonymous:2003:AIVb, 31(3)371--371
-
Anonymous:2003:CVa, 30(3)449--450
-
Anonymous:2003:CVb, 31(3)375--376
-
Anonymous:2003:SIVa, 30(3)447--447
-
Anonymous:2003:SIVb, 31(3)373--373
-
answer, 17(1)83--95, 36(4)z--z, 39(4)z--z, 42(1)35--76
-
answering, 15(1)95--165, 39(3)385--429, 41(1)61--98, 67(4)z--99999999
-
Anti-Links, 18(1)47--83
-
Anti-Unification, 58(2)293--310
-
anti-unification, 9(3)381--389, 9(3)391--406, 52(2)155--190
-
Antoniou, Grigoris, 18(1)25--46
-
Antoniou:1997:CLP, 18(1)25--46
-
Antonsen, Roger, 38(1)3--30
-
Antonsen:2007:LVS, 38(1)3--30
-
Any, 17(1)131--143
-
Appel, Andrew W., 31(3)231--260, 49(3)453--491, 61(1)367--422,
67(1)z--99999999
-
Appel, Andrew W., see Cao, Qinxiang,
see Wang, Qinshi
-
Appel:2003:TPC, 31(3)231--260
-
Appel:2012:LMB, 49(3)453--491
-
Appel:2023:EEB, 67(1)z--99999999
-
application, 4(1)15--27, 7(2)171--191, 9(1)141--143, 9(2)217--230,
10(1)115--136, 13(3)339--359, 15(1)41--68, 19(2)205--262,
20(3)387--387, 25(1)35--82, 27(2)123--139, 37(1)1--1, 49(2)111--114,
50(2)191--202, 51(2)151--196, 52(4)379--405, 57(2)135--156,
58(4)509--535, 60(1)63--84, 62(2)193--213, 63(3)667--693,
63(4)813--855, 64(1)53--72, 66(4)585--610, 67(3)z--99999999
-
Applied, 19(3)347--376
-
Applying, 35(1)201--235
-
approach, 5(4)411--428, 8(3)311--344, 10(2)283--284, 13(1)145--172,
17(2)171--197, 21(3)279--294, 21(3)357--380, 22(3)263--309,
25(3)219--246, 31(3)191--229, 35(1)237--263, 36(4)379--410,
37(4)261--276, 45(4)331--358, 46(3)325--352, 49(2)241--273,
62(2)261--280, 63(1)53--94, 63(4)1077--1101, 64(7)1523--1552,
67(2)z--99999999
-
Approaching, 7(4)635--637
-
Approximation, 58(1)127--147
-
Approximation--Refinement, 64(3)611--640
-
approximations, 60(1)23--42, 62(2)281--300
-
AProVE, 58(1)3--31
-
Aquilano, C., 2(2)155--170
-
Aquilano:1986:NFC, 2(2)155--170
-
AR, SPASS-, 64(3)611--640
-
Aransay, Jesús, 40(4)271--292, 58(4)509--535
-
Aransay:2008:MPB, 40(4)271--292
-
Aransay:2017:FHF, 58(4)509--535
-
architecture, 64(3)461--484, 65(4)569--598
-
area, 48(4)489--532, 67(1)z--99999999
-
Areces, Carlos, 46(1)1--42
-
Areces:2011:ROS, 46(1)1--42
-
Arenas, Puri, 46(2)161--203
-
Arenas, Puri, see Albert, Elvira
-
argument, 9(3)407--408
-
Argumentation, 29(2)125--169
-
Argyraki, Angeliki, Koutsoukou-, 67(1)z--99999999
-
Arieli, Ofer, 22(3)263--309
-
Arieli:1999:MTA, 22(3)263--309
-
Arinyo, Robert, Joan-, 52(1)99--122
-
arithmetic, 7(3)439--446, 9(3)373--379, 16(1)39--78, 34(4)387--423,
36(3)213--239, 41(1)z--z, 47(4)341--367, 48(1)107--131, 58(1)33--65,
61(1)33--71, 62(2)281--300, 62(4)433--480, 65(3)357--423,
67(1)z--99999999, 67(4)z--z
-
arithmetic--geometric, 16(1)181--222
-
Arkoudas, Konstantine, 34(3)239--294
-
Arkoudas:2005:SPF, 34(3)239--294
-
Armando, Alessandro, 35(1)237--263, 36(1)1--3, 45(2)89--89
-
Armando:2005:SBA, 35(1)237--263
-
Armando:2006:ARS, 36(1)1--3
-
Armando:2010:P, 45(2)89--89
-
Array, 52(4)379--405, 54(4)327--352, 67(1)z--99999999
-
Arsac, Wihem, 46(3)353--388
-
Arsac:2011:MAP, 46(3)353--388
-
Arthan, Rob, 56(3)205--219, 56(3)221--259
-
Arthan, Rob, see Kumar, Ramana
-
Arthan:2016:DCT, 56(3)205--219
-
article, 9(2)145--146
-
Artificial, 20(3)387--387
-
ary, 48(3)391--417
-
Aschermann, Cornelius, 58(1)3--31, 58(1)33--65, 59(1)121--163
-
Aschermann, Cornelius, see Frohn, Florian,
see Giesl, Jürgen,
see Ströder, Thomas
-
Ashbacher, Charles, 10(2)285--286, 16(3)427--427
-
Ashbacher:1993:BR, 10(2)285--286
-
Ashbacher:1996:LLP, 16(3)427--427
-
Asmundo, Marianna, Nicolosi-, 38(1)31--56
-
aspect, 37(4)231--260
-
Asperti, Andrea, 39(2)109--139, 49(3)427--451, 55(4)373--388
-
Asperti:2007:UIM, 39(2)109--139
-
Asperti:2012:FMP, 49(3)427--451
-
Asperti:2015:RC, 55(4)373--388
-
Aspinall, David, 31(3)261--302, 39(2)107--108
-
Aspinall:2003:HBA, 31(3)261--302
-
Aspinall:2007:SIU, 39(2)107--108
-
Assembly, 31(3)261--302
-
assertion, 5(4)533--540
-
Assertional, 64(4)767--791
-
Assertions, 24(1)145--163
-
assistant, 29(3)309--336, 39(2)109--139, 61(1)33--71, 65(7)1027--1070,
65(8)1265--1298, 67(4)z--z
-
Assisted, 43(3)237--242
-
Assisted, Computer-, 22(3)341--378
-
assisted, computer-, 7(4)453--474
-
Assisted, Learning-, 53(2)173--213, 54(1)99--99
-
Assisted, Tool-, 35(4)295--354
-
associated, 5(4)533--540, 43(4)z--99999999, 59(4)483--502
-
Associative--Commutative, 28(1)35--51, 37(3)205--229
-
associative-commutative, 3(3)285--289, 9(2)261--288, 17(1)131--143
-
associativity, 2(3)277--281
-
Assumption, 5(3)293--307, 18(3)357--398, 25(4)247--289
-
Assumption--Commitment, 41(3)365--398
-
assumptions, 15(2)267--275, 50(2)123--133
-
Astrachan, O. L., 19(1)117--141
-
Astrachan, Owen, 13(3)283--296
-
Astrachan:1994:MEM, 13(3)283--296
-
Astrachan:1997:ULM, 19(1)117--141
-
Asymmetric, 46(3)261--291
-
asymptotic, 8(3)395--419
-
Asynchronous, 64(5)857--877
-
ath, 35(1)265--293
-
Atia, George, 67(1)z--99999999
-
Atia, George, see Velasquez, Alvaro
-
ATP, 12(1)33--45, 18(1)135--135, 18(2)137--138, 18(2)139--162,
18(2)163--169, 18(2)271--286, 18(2)287--296, 21(1)99--134,
23(1)1--23, 24(3)371--396, 27(3)227--250, 28(3)307--320,
31(1)23--32, 50(2)229--241
-
Attacker, Multi-, 46(3)353--388
-
Attacking, 36(1)149--176
-
Attacks, 36(1)85--124
-
Attractor, 61(1)73--111
-
Audemard, Gilles, 36(3)177--212
-
Audemard:2006:PDS, 36(3)177--212
-
Auffray, Yves, 6(1)1--38
-
Auffray:1990:SMR, 6(1)1--38
-
Augmenting, 28(3)257--305
-
Autarkic, 28(3)321--336
-
Autarky, 23(2)137--193
-
Autexier, Serge, 41(3)191--192
-
Autexier:2008:P, 41(3)191--192
-
Author, 22(4)485--486, 25(4)329--329, 26(4)433--433, 27(4)423--423,
28(4)435--435, 29(3)413--413, 30(3)445--445, 31(3)371--371
-
Authoring, 39(2)141--160
-
Auto2, 63(2)517--538
-
autoepistemic, 10(2)143--160, 13(1)35--67, 13(1)69--82, 14(1)3--42
-
automata, 51(4)371--400, 63(4)1103--1134, 65(7)971--999
-
Automata-Based, 45(2)91--129
-
Automata-Theoretic, 63(4)1077--1101
-
Automatable, 30(1)33--58
-
automated, 1(1)5--48, 1(1)75--101, 1(4)333--355, 2(1)1--42, 2(2)127--153,
2(4)329--390, 3(1)91--107, 3(2)211--221, 4(2)219--231, 5(1)97--118,
5(2)239--255, 5(4)533--540, 6(1)77--78, 6(1)79--109, 7(4)447--451,
8(1)1--2, 8(1)91--147, 9(1)1--24, 10(1)137--138, 10(2)161--172,
10(2)173--189, 11(3)333--351, 14(2)257--291, 16(1)1--1, 16(1)39--78,
16(3)223--239, 17(3)325--347, 17(3)349--370, 18(1)105--134,
20(1)167--190, 20(3)337--364, 21(1)1--21, 21(1)39--67,
21(2)233--275, 25(3)219--246, 26(2)139--160, 29(3)253--275,
32(4)z--99999999, 36(1)1--3, 36(4)287--287, 37(1)1--1, 37(1)93--116,
37(3)153--154, 38(1)57--78, 39(4)431--470, 43(2)203--236,
45(4)359--395, 46(3)223--224, 46(3)261--291, 47(2)111--132,
49(1)107--109, 53(2)173--213, 54(1)31--68, 54(1)69--97, 54(1)99--99,
54(4)353--390, 55(1)39--59, 55(2)91--116, 56(1)49--94,
58(3)363--390, 59(3)331--344, 60(3)279--298, 60(4)503--526,
62(2)193--213, 64(3)361--362, 64(4)689--697, 64(6)1001--1050,
65(4)463--478, 65(6)711--726, 65(6)727--773, 65(6)809--890,
65(8)1097--1124, 65(8)1153--1190, 66(4)437--438, 66(4)439--461,
67(2)z--99999999, 67(4)z--99999999
-
Automath, 29(3)365--387
-
automatic, 2(2)191--216, 21(3)357--380, 23(1)63--82, 40(2)221--243,
41(3)z--z, 44(3)175--205, 50(1)99--117, 55(2)91--116, 57(2)135--156,
58(2)253--291, 59(1)1--2, 60(2)157--176, 60(4)465--501, 63(1)53--94
-
Automatically, 8(3)395--419, 34(2)105--139, 58(1)3--31, 58(1)33--65,
64(3)555--578, 65(8)1125--1151, 67(2)z--99999999
-
Automating, 21(2)135--175, 29(3)183--188, 35(4)355--371, 55(3)285--294,
64(1)53--72
-
automation, 3(1)81--90, 6(2)173--187, 50(2)147--160, 52(3)275--329,
61(1)423--453, 67(2)z--z
-
Automotive, 24(1)145--163
-
Autonomy, 60(1)43--62
-
Avenhaus, Jürgen, 26(3)223--268
-
Avenhaus:2001:GAP, 26(3)223--268
-
Avigad, Jeremy, 38(4)353--373, 56(3)367--386, 59(4)389--423, 61(1)1--8,
64(5)793--794
-
Avigad:2007:DPL, 38(4)353--373
-
Avigad:2016:HPR, 56(3)367--386
-
Avigad:2017:FVP, 59(4)389--423
-
Avigad:2018:IMI, 61(1)1--8
-
Avigad:2020:PSE, 64(5)793--794
-
avoid, 9(1)77--97
-
avoiding, 8(2)307--309
-
Avron, Arnon, 9(3)309--354, 10(2)265--281, 22(3)263--309
-
Avron, Arnon, see Arieli, Ofer
-
Avron:1992:UTL, 9(3)309--354
-
Avron:1993:GTS, 10(2)265--281
-
Award, 31(2)169--187
-
Aware, Memory-, 63(2)369--392
-
axiom, 2(3)287--327, 9(3)291--308, 10(1)1--13, 14(3)383--412,
20(3)283--316, 27(2)175--199, 29(1)1--16, 29(1)59--66,
29(2)107--124, 33(1)1--28, 36(3)241--257, 45(2)91--129,
56(4)387--457, 62(1)1--68, 63(2)159--171, 66(4)953--988,
67(1)z--99999999
-
Axiomatic, 33(1)29--49
-
axiomatizations, 4(3)331--352, 9(1)1--24
-
Axiomatizing, 37(1)3--20
-
Ayala-Rincón, Mauricio, 45(3)301--325, 58(2)231--251,
63(2)319--321, 65(8)1231--1263, 66(4)1031--1063,
see Galdino, André L.,
see Lima, Thaynara Arielly de,
see Ramos, Thiago Mendonça Ferreira,
see Rocha-Oliveira, Ana Cristina
-
Ayala-Rincon:2019:SEP, 63(2)319--321