Index file section A for lncs1992.bib
Last update: Fri Mar 23 02:19:00 MDT 2018
Return to index directory
A
-
à, 608(0)148--z, 608(0)421--z, 608(0)515--z
-
A, CAIS-, 603(0)214--z
-
A., 627(0)5--z, 627(0)61--z
-
Aarsten, A., 635(0)167--z
-
Aarsten, A., see Conradi, R.
-
Abadi, M., 600(0)1--z
-
Abadi:1992:OFR, 600(0)1--z
-
ABASE, 602(0)380--z
-
Abductive, 592(0)55--z
-
Abdullahi, S. E., 637(0)43--z
-
Abdullahi:1992:CSD, 637(0)43--z
-
Abdulrab, H., 572(0)61--z
-
Abdulrab:1992:IMA, 572(0)61--z
-
Abe, N., 654(0)159--z
-
Abe, N., see Kakusho, K.
-
Abelian, 623(0)41--z
-
Abiteboul, Serge, 646(0)113--z, 646(0)171--z
-
Abiteboul:1992:CIL, 646(0)113--z
-
Abiteboul:1992:OAD, 646(0)171--z
-
Abmann, Werner, 641(0)66--z
-
Abmann:1992:ASS, 641(0)66--z
-
Abramsky, S., 652(0)291--z
-
Abramsky:1992:GFC, 652(0)291--z
-
abstract, 572(0)247--z, 582(0)283--306, 582(0)307--326, 592(0)79--z,
592(0)322--z, 593(0)378--z, 600(0)291--z, 606(0)1--z, 607(0)1--z,
607(0)178--z, 612(0)227--z, 620(0)269--z, 623(0)521--z, 626(0)79--z,
626(0)257--z, 629(0)463--z, 631(0)232--z, 631(0)269--z,
631(0)296--z, 631(0)311--z, 631(0)341--z, 632(0)244--z,
649(0)294--z, 650(0)187--z, 652(0)203--z, 652(0)217--z,
652(0)291--z, 652(0)404--z, 654(0)32--z
-
Abstracting, 592(0)240--z
-
Abstraction, 598(0)1--z, 600(0)325--z, 614(0)148--z, 614(0)283--z,
623(0)559--z, 634(0)769--z, 635(0)146--z, 639(0)348--z
-
Academic, 640(0)117--z
-
ACC, 650(0)420--z
-
Access, 594(0)70--z, 594(0)214--z, 611(0)223--z, 618(0)175--z,
629(0)162--z, 631(0)487--z, 634(0)259--z, 634(0)725--z,
634(0)785--z, 634(0)791--z, 648(0)21--z
-
Accuracy, 634(0)307--z
-
Accurately, 623(0)211--z
-
Aceto, Luca, 598(0)376--z
-
Aceto:1992:RCN, 598(0)376--z
-
achievements, 609(0)1--z
-
Achour, K. Ben, 634(0)749--z
-
Achour, K. Ben, see Unger, H.
-
Acoustical, 604(0)123--z
-
ACP, 630(0)472--z
-
Acquiring, 599(0)353--z, 599(0)392--z, 627(0)235--z, 639(0)368--z,
639(0)379--z
-
Acquisition, 599(0)112--z, 599(0)153--z, 599(0)171--z, 599(0)250--z,
599(0)298--z, 599(0)318--z, 599(0)353--z, 604(0)294--z,
604(0)529--z, 604(0)546--z, 617(0)338--z, 622(0)39--z, 622(0)78--z,
622(0)99--z, 622(0)125--z, 622(0)134--z, 622(0)175--z
-
Acquisition, Knowledge-, 599(0)14--z
-
Across, 627(0)21--z, 640(0)159--z
-
action, 600(0)687--z, 604(0)371--z, 605(0)809--z, 609(0)1--z,
609(0)89--z, 609(0)108--z, 610-0-xii, 619(0)46--z, 625(0)131--182,
625(0)183--216, 630(0)17--z, 630(0)436--z, 631(0)477--z,
641(0)95--z
-
Active, 618(0)227--z, 637(0)134--z, 637(0)148--z, 646(0)171--z
-
Activity, 604(0)614--z, 618(0)175--z, 622(0)175--z, 635(0)34--z
-
Actor, 589(0)1--z, 612(0)141--z, 630(0)565--z
-
ACTRESS, 641(0)95--z
-
Ada, 603(0)1--z, 603(0)9--z, 603(0)20--z, 603(0)35--z, 603(0)47--z,
603(0)72--z, 603(0)80--z, 603(0)92--z, 603(0)104--z, 603(0)138--z,
603(0)150--z, 603(0)165--z, 603(0)182--z, 603(0)197--z,
603(0)230--z, 603(0)257--z, 603(0)275--z, 603(0)287--z,
603(0)300--z, 603(0)312--z
-
Ada-9X, 603(0)128--z
-
Adamo, J. M., 634(0)115--z, 634(0)815--z, 634(0)841--z
-
Adamo:1992:CPE, 634(0)115--z
-
Adamo:1992:EUC, 634(0)841--z
-
Adamo:1992:MAD, 634(0)815--z
-
ADAPT, 608(0)343--z
-
Adaptability, 605(0)669--z
-
Adaptable, 611(0)169--z
-
ADAPTing, 591(0)184--200
-
Adaptive, 602(0)555--z, 603(0)242--z, 608(0)343--z, 608(0)467--z,
621(0)422--z, 623(0)247--z, 634(0)479--z, 634(0)815--z
-
Adaptively, 654(0)32--z
-
Adder, 634(0)707--z
-
Adding, 607(0)507--z, 611(0)79--z
-
Additive, 620(0)151--z
-
Address, 640(0)1--2
-
Adeli, H., 591(0)426--z
-
Adeli:1992:PAS, 591(0)426--z
-
adequate, 626(0)278--z
-
Adjusting, 602(0)34--z
-
Adjusting, Self-, 602(0)343--z, 650(0)88--z
-
Administration, 614(0)160--z
-
ADTs, 626(0)79--z, 641(0)73--z
-
Advanced, 589(0)283--z, 589(0)389--z, 602(0)21--z, 604(0)89--z,
604(0)604--z, 605(0)3--z, 611(0)9--z, 617(0)161--z, 636(0)303--z
-
Advantage, 604(0)1--z, 608(0)585--z, 628(0)67--87
-
Advisory, 602(0)247--z
-
AFA, 626(0)96--z
-
against, 623(0)273--z
-
Agarwal, P. K., 629(0)1--z, 652(0)80--z
-
Agarwal:1992:IPL, 652(0)80--z
-
Agarwal:1992:RSS, 629(0)1--z
-
Agarwala, R., 652(0)164--z
-
Agarwala:1992:SLD, 652(0)164--z
-
Age, 613(0)199--z, 635(0)84--z
-
Agency, 635(0)159--z
-
Agent, 593(0)17--z
-
Agent, Multi-, 608(0)475--z, 611(0)251--z
-
agents, 598(0)403--z, 610-0-xii, 611(0)185--z, 611(0)223--z,
611(0)271--z, 620(0)93--z, 623(0)696--z, 649(0)135--z
-
Aggarwal, J. K., 654(0)69--z
-
Aggarwal, J. K., see Chaudhary, V.
-
Agha, G., 589(0)1--z, 630(0)565--z, 637(0)134--z
-
Agha, G., see Venkatasubramanian, N.
-
Agha:1992:DEA, 589(0)1--z
-
Agha:1992:TTA, 630(0)565--z
-
Agrawal, D., 646(0)201--z
-
Agrawal, D., see Man, Han Wong
-
Aguilar, M. Fiallos, 634(0)707--z
-
Aguilar, M. Fiallos, see Duprat, J.
-
ahead, 628(0)88--111
-
Ahuactzin, J. M., 634(0)835--z
-
Ahuactzin, J. M., see Talbi, E. G.
-
Ahuja, N., 654(0)32--z
-
Ahuja, N., see Weng, J.
-
AI, 604(0)604--z, 617(0)1--z, 617(0)198--z, 617(0)245--z, 617(0)368--z,
617(0)440--z, 627(0)39--z, 636(0)313--z
-
aid, 602(0)87--z, 602(0)100--z
-
Aide, 599(0)37--z
-
Aided, 602(0)307--z, 608(0)475--z
-
Aiding, 608(0)164--z
-
Aiken, R. M., 604(0)604--z
-
Aiken:1992:TAI, 604(0)604--z
-
aims, 609(0)1--z
-
Aircraft, 604(0)421--z
-
Ait-Kaci, H., 632(0)1--z
-
Ait-Kaci:1992:OOO, 632(0)1--z
-
Aizawa, K., 654(0)37--z
-
Aizawa:1992:PCG, 654(0)37--z
-
Akinori, 612(0)257--z
-
Akkermans, H., 599(0)95--z
-
Akkermans, H., see Schreiber, G.
-
Akl, S. G., 634(0)565--z
-
Akl:1992:PMS, 634(0)565--z
-
Akutsu, T., 650(0)279--z
-
Akutsu:1992:ADG, 650(0)279--z
-
Al-Taha, Khaled K., 639(0)196--z
-
Al-Taha, Khaled K., see Egenhofer, Max J.
-
Albers, G., 621(0)399--z, 629(0)483--z
-
Albers, G., see Roos, T.
-
Albers:1992:VDM, 621(0)399--z
-
Aleven, V., 608(0)575--z
-
Aleven:1992:AGE, 608(0)575--z
-
Alexander, Geoffrey D., 607(0)706--z
-
Alexander:1992:PET, 607(0)706--z
-
Alexandre, F., 631(0)202--z
-
Alexandre, Francis, 624(0)445--z
-
Alexandre:1992:SSL, 624(0)445--z
-
Alexandre:1992:TTL, 631(0)202--z
-
Alexandridis, N. A., 605(0)669--z
-
Alexandridis, N. A., see Baig, M. S.
-
Alexin, Zoltan, 641(0)51--z
-
Alexin, Zoltan, see Gyimothy, Tibor
-
Alferes, J. J., 633(0)339--z
-
Alferes, J. J., see Pereira, L. M.
-
algebra, 592(0)35--z, 600(0)107--z, 600(0)124--z, 600(0)325--z,
600(0)526--z, 607(0)193--z, 608(0)559--z, 609(0)21--z, 609(0)179--z,
619(0)1--z, 620(0)314--z, 624(0)261--z, 624(0)454--z, 626(0)242--z,
629(0)62--z, 630(0)401--z, 632(0)276--z, 634(0)319--330
-
algebraic, 572(0)171--z, 619(0)1--z, 623(0)656--z, 624(0)451--z,
631(0)483--z, 632(0)3--z, 632(0)335--z, 634(0)467--z, 634(0)769--z,
646(0)1--z
-
Algebraic, Differential-, 634(0)797--z
-
Algebraic, {Lindenbaum}-, 619(0)80--z
-
algèbre, 608(0)335--z
-
Algorithmic, 592(0)66--z, 613(0)199--z, 620(0)452--z, 624(0)190--z,
629(0)81--z, 631(0)385--z, 650(0)1--z
-
Alhafez, N., 634(0)815--z
-
Alhafez, N., see Adamo, J. M.
-
Ali, K. A. M., 605(0)603--z
-
Ali:1992:PMB, 605(0)603--z
-
Alignment, 644(0)202--z
-
all, 570(0)209--z, 602(0)100--z, 621(0)106--z, 630(0)138--z,
630(0)192--z, 652(0)368--z
-
Allard, F., 599(0)1--z
-
Allard:1992:UVC, 599(0)1--z
-
Allemang, D., 599(0)353--z, 604(0)604--z
-
Allemang, D., see Aiken, R. M.
-
Allemang:1992:AKK, 599(0)353--z
-
Allen, R., 608(0)325--z
-
Allen:1992:TII, 608(0)325--z
-
Allinson, L., 602(0)61--z
-
Allinson:1992:LSC, 602(0)61--z
-
Allocation, 589(0)218--z, 591(0)252--z, 605(0)585--z, 634(0)825--z,
637(0)426--z, 641(0)176--z, 641(0)192--z
-
Almeida, N., 614(0)84--z
-
Almeida:1992:EES, 614(0)84--z
-
Almost, 629(0)392--z, 652(0)116--z
-
Alonso, Alejandro, 603(0)104--z
-
Alonso, Alejandro, see de la Puente, Juan A.
-
ALPHA, 605(0)397--z
-
Alpha-Channel, 614(0)148--z
-
Alphabet, 650(0)469--z
-
Alpuente, M., 631(0)443--z
-
Alpuente:1992:AII, 631(0)443--z
-
Alt, Helmut, 594(0)1--z
-
Alt:1992:RSG, 594(0)1--z
-
Alternating, 654(0)144--z
-
Alternative, 604(0)46--z
-
Althoff, K.-D., 622(0)146--z
-
Althoff:1992:CBR, 622(0)146--z
-
although, 606(0)1--z
-
Altman, Erik R., 641(0)176--z
-
Altman, Erik R., see Hendren, Laurie J.
-
Alur, R., 600(0)28--z, 600(0)45--z, 600(0)74--z, 630(0)340--z
-
Alur:1992:LMR, 600(0)74--z
-
Alur:1992:MTT, 630(0)340--z
-
Alur:1992:TTA, 600(0)45--z
-
Alur:1992:VAS, 600(0)28--z
-
Alves, A., 614(0)84--z
-
Alves, A., see Almeida, N.
-
A\&M, 640(0)315--z
-
AMAC, 648(0)349--z
-
Amalgamation, 649(0)192--z
-
Amamiya, M., 634(0)743--z
-
Amamiya, M., see Kusakabe, S.
-
Ambiguous, 604(0)539--z, 637(0)218--z
-
Ambriola, V., 635(0)84--z
-
Ambriola:1992:OAT, 635(0)84--z
-
Ambrosius, R., Socher-, 632(0)435--z
-
Amenable, 634(0)807--z
-
America, 612(0)257--z
-
America, Pierre, 612(0)119--z
-
America:1992:FTP, 612(0)119--z
-
Amestoy, P. R., 634(0)319--330
-
Amestoy:1992:LAC, 634(0)319--330
-
Amir, Amihood, 644(0)259--z
-
Amir:1992:ERD, 644(0)259--z
-
Ammon, Kurt, 607(0)4--z, 607(0)681--z, 642(0)87--z
-
Ammon:1992:APM, 607(0)4--z
-
Ammon:1992:SEL, 642(0)87--z
-
Ammon:1992:SS, 607(0)681--z
-
amount, 620(0)21--z, 628(0)123--143
-
AMPATS, 603(0)300--z
-
AMT, 634(0)761--z
-
Amtoft, T., 631(0)187--z
-
Amtoft:1992:UFT, 631(0)187--z
-
Analog, 653(0)279--z
-
Analogical, 604(0)314--z
-
analogie, 608(0)156--z
-
Analogy, 624(0)202--z, 642(0)214--z, 642(0)268--z
-
Analyses, 631(0)443--z, 652(0)68--z
-
Analysing, 604(0)109--z
-
analysis, 570(0)36--z, 572(0)12--z, 582(0)327--354, 589(0)236--z,
589(0)251--z, 589(0)389--z, 591(0)266--z, 591(0)426--z,
592(0)361--z, 593(0)1--z, 593(0)278--z, 593(0)394--z, 599(0)373--z,
600(0)371--z, 604(0)205--z, 604(0)495--z, 604(0)556--z,
605(0)783--z, 605(0)969--z, 607(0)4--z, 607(0)268--z, 608(0)405--z,
611(0)116--z, 613(0)165--z, 617(0)308--z, 618(0)29--z, 623(0)186--z,
623(0)509--z, 627(0)61--z, 628(0)67--87, 631(0)54--z, 631(0)145--z,
632(0)291--z, 632(0)322--z, 634(0)133--z, 634(0)331--z,
634(0)647--z, 634(0)689--z, 641(0)156--z, 641(0)236--z,
641(0)271--z, 642(0)170--z, 643(0)133--135, 644(0)1--z, 644(0)27--z,
648(0)435--z, 649(0)26--z, 650(0)71--z, 650(0)78--z, 652(0)203--z,
653(0)331--z, 654(0)305--z
-
Analytic, 621(0)53--z, 623(0)186--z
-
Analytica, 607(0)761--765
-
Analyzing, 589(0)405--z, 598(0)312--z
-
and, default-, 626(0)339--z
-
and-Conquer, Divide-, 634(0)849--z
-
And-Or, 605(0)617--z
-
AND-Parallel, 607(0)740--z, 631(0)24--z
-
And-Parallelism, 620(0)418--z
-
andash, 650(0)499--z
-
Andersen, J., S{\o}gaard-, 630(0)317--z
-
Andersen, Lars Ole, 641(0)251--z
-
Andersen:1992:PEC, 641(0)251--z
-
Anderson, D. P., 614(0)230--z
-
Anderson, J., 589(0)50--z
-
Anderson, J., see Scales, D.
-
Anderson, J. R., 608(0)1--z, 608(0)413--z, 608(0)585--z
-
Anderson, J. R., see Anjaneyulu, K. S. R.,
see Corbett, A. T.
-
Anderson, John A., 603(0)20--z
-
Anderson, P., 605(0)783--z
-
Anderson, Ross J., 648(0)411--z
-
Anderson:1992:ITH, 608(0)1--z
-
Anderson:1992:MAO, 603(0)20--z
-
Anderson:1992:PSS, 605(0)783--z
-
Anderson:1992:TSM, 614(0)230--z
-
Anderson:1992:USG, 648(0)411--z
-
Andonoff, E., 593(0)128--z
-
Andonoff:1992:IDO, 593(0)128--z
-
Andonov, R., 634(0)247--z
-
Andonov:1992:ELS, 634(0)247--z
-
Andorra, 596(0)163--z, 624(0)250--z
-
Andre, F., 605(0)329--z
-
Andre, F., see Jezequel, J.-M.
-
Andreoli, Jean-Marc, 612(0)163--z, 624(0)448--z
-
Andreoli:1992:DPM, 612(0)163--z
-
Andreoli:1992:LOL, 624(0)448--z
-
Andries, M., 570(0)63--z
-
Andries:1992:LGG, 570(0)63--z
-
Angelic, 598(0)77--z
-
angle, 628(0)123--143
-
Anick, P., 627(0)121--z
-
Anick:1992:LSL, 627(0)121--z
-
Animation, 602(0)367--z
-
Anisimov, N., 634(0)847--z
-
Anisimov:1992:GPN, 634(0)847--z
-
Anjaneyulu, K. S. R., 608(0)585--z
-
Anjaneyulu:1992:ADF, 608(0)585--z
-
annealing, 597(0)97--110, 628(0)5--34
-
Anonymous, 612(0)257--z, 614(0)403--z, 640(0)1--2
-
Anonymous:1992:KA, 640(0)1--2
-
Anonymous:1992:PWO, 612(0)257--z
-
Anonymous:1992:WW, 614(0)403--z
-
Anoskey, A. M., 602(0)74--z
-
Anoskey:1992:TGI, 602(0)74--z
-
Another, 599(0)211--z, 602(0)478--z, 604(0)622--z, 641(0)44--z,
641(0)66--z
-
answer, 602(0)100--z, 618(0)244--z, 632(0)84--z, 633(0)357--z,
652(0)176--z
-
Answering, 608(0)191--z, 624(0)478--z
-
antichain, 570(0)97--z
-
Antimirov, Valentin, 624(0)393--z
-
Antimirov:1992:CEE, 624(0)393--z
-
Antonellis, V., De, 645(0)121--z
-
Antoy, S., 632(0)143--z
-
Antoy:1992:DT, 632(0)143--z
-
any, 606(0)1--z
-
Anzai, Yuichiro, 639(0)368--z
-
Anzai, Yuichiro, see Hiraki, Kazuo
-
Aparicio, J. N., 633(0)339--z
-
Aparicio, J. N., see Pereira, L. M.
-
Apers, P. M. G., 605(0)809--z
-
Apers, P. M. G., see Grefen, P. W. P. J.
-
APLUSIX, 608(0)335--z
-
Apostolico, A., 623(0)296--z
-
Apostolico:1992:OPA, 623(0)296--z
-
application, 570(0)36--z, 570(0)148--z, 570(0)159--z, 570(0)169--z,
591(0)412--z, 592(0)415--z, 593(0)364--z, 593(0)589--z,
594(0)250--269, 599(0)9--z, 599(0)425--z, 602(0)161--z, 603(0)1--z,
603(0)165--z, 604(0)69--z, 604(0)79--z, 604(0)89--z, 604(0)100--z,
604(0)461--z, 605(0)551--z, 607(0)281--z, 608(0)405--z,
608(0)421--z, 609(0)179--z, 614(0)4--z, 614(0)45--z, 614(0)72--z,
614(0)230--z, 614(0)242--z, 614(0)255--z, 614(0)265--z, 617(0)1--z,
617(0)208--z, 617(0)238--z, 617(0)368--z, 620(0)258--z, 621(0)94--z,
622(0)6--z, 624(0)131--z, 624(0)250--z, 624(0)261--z, 624(0)409--z,
624(0)463--z, 627(0)21--z, 627(0)219--z, 629(0)62--z, 633(0)65--z,
633(0)189--z, 634(0)109--z, 634(0)121--z, 634(0)331--z,
634(0)467--z, 634(0)637--z, 634(0)797--z, 636(0)54--z, 636(0)80--z,
641(0)51--z, 643(0)87--93, 643(0)178--181, 644(0)109--z,
644(0)227--z, 645(0)299--z, 646(0)297--z, 649(0)120--z, 650(0)51--z,
650(0)449--z, 652(0)80--z, 653(0)345--z, 654(0)34--z
-
Application-Specific, 605(0)193--z
-
Applicative, 601(0)55--z, 637(0)248--z
-
Applied, 604(0)236--z, 627(0)171--z, 634(0)797--z
-
Applying, 602(0)392--z, 604(0)351--z, 635(0)230--z
-
Apport, 608(0)252--z
-
apprentissage, 608(0)483--z
-
approach, 589(0)313--z, 592(0)302--z, 593(0)257--z, 593(0)278--z,
593(0)463--z, 596(0)135--z, 596(0)239--z, 596(0)345--z,
597(0)57--66, 597(0)83--96, 597(0)97--110, 599(0)37--z, 599(0)75--z,
599(0)283--z, 602(0)111--z, 602(0)332--z, 602(0)453--z,
604(0)123--z, 604(0)195--z, 604(0)495--z, 604(0)525--z,
604(0)556--z, 604(0)581--z, 605(0)21--z, 605(0)801--z, 605(0)825--z,
605(0)955--z, 607(0)79--z, 608(0)21--z, 608(0)475--z, 613(0)228--z,
617(0)139--z, 620(0)293--z, 621(0)53--z, 621(0)340--z, 622(0)59--z,
622(0)225--z, 623(0)617--z, 626(0)79--z, 627(0)5--z, 627(0)61--z,
627(0)75--z, 627(0)185--z, 631(0)269--z, 634(0)283--z, 636(0)109--z,
640(0)308--z, 641(0)192--z, 642(0)187--z, 642(0)244--z, 644(0)15--z,
645(0)178--z, 645(0)210--z, 650(0)388--z, 652(0)176--z, 654(0)54--z
-
approches, 608(0)335--z
-
Approximate, 582(0)283--306, 644(0)66--z, 644(0)148--z, 644(0)172--z,
644(0)182--z, 646(0)86--z, 652(0)104--z, 652(0)265--z
-
approximating, 570(0)1--z, 570(0)85--z, 650(0)116--z, 650(0)269--z
-
Approximation, 601(0)67--z, 623(0)261--z, 623(0)330--z, 650(0)378--z,
652(0)279--z
-
APSE, 603(0)214--z
-
Apsitis, Kalvis, 642(0)99--z
-
Apsitis:1992:UIC, 642(0)99--z
-
Apt, K. R., 631(0)69--z, 632(0)69--z
-
Apt:1992:TFO, 632(0)69--z
-
Apt:1992:WOC, 631(0)69--z
-
Arai, H., 604(0)411--z
-
Arai:1992:IMD, 604(0)411--z
-
Aravindan, C., 632(0)384--z
-
Aravindan:1992:PDL, 632(0)384--z
-
Arbab, F., 634(0)793--z
-
Arbab:1992:MCI, 634(0)793--z
-
Arbaoui, S., 635(0)215--z
-
Arbaoui:1992:PDM, 635(0)215--z
-
Arbenz, P., 634(0)827--z
-
Arbenz:1992:BIS, 634(0)827--z
-
arbitrarily, 606(0)1--z
-
Archangelsky, D. A., 620(0)1--z
-
Archangelsky:1992:MLL, 620(0)1--z
-
Architectural, 614(0)314--z
-
architecture, 591(0)184--200, 593(0)187--z, 602(0)198--z, 602(0)247--z,
602(0)581--z, 604(0)391--z, 604(0)539--z, 605(0)81--z, 605(0)329--z,
605(0)347--z, 605(0)381--z, 605(0)585--z, 605(0)685--z,
605(0)959--z, 605(0)969--z, 608(0)140--z, 608(0)164--z,
608(0)172--z, 608(0)302--z, 608(0)661--z, 611(0)49--z, 611(0)204--z,
611(0)271--z, 612(0)211--z, 614(0)22--z, 614(0)33--z, 614(0)57--z,
617(0)373--z, 618(0)78--z, 620(0)418--z, 634(0)43--z, 634(0)169--z,
634(0)295--z, 634(0)387--z, 634(0)405--z, 634(0)423--z,
634(0)601--z, 634(0)677--z, 634(0)731--z, 634(0)737--z,
634(0)743--z, 634(0)789--z, 637(0)179--z, 637(0)490--z, 640(0)23--z,
641(0)219--z, 645(0)139--z, 648(0)435--z, 654(0)1--z
-
Architecture-Independent, 634(0)121--z
-
area, 594(0)363--z, 604(0)256--z, 622(0)225--z, 628(0)5--34
-
{Argonne}-Style, 624(0)96--z
-
argument, 627(0)155--z, 627(0)219--z, 633(0)189--z
-
Argument-Fetching, 605(0)585--z
-
Argumentation, 608(0)575--z
-
ARIES, 646(0)231--z
-
Ariola, Z., 589(0)99--z
-
Ariola:1992:CI, 589(0)99--z
-
Arithmetic, 602(0)491--z, 603(0)138--z, 620(0)117--z, 629(0)227--z
-
Armour, 604(0)276--z
-
Arni, Natraj, 646(0)436--z
-
Arni:1992:STM, 646(0)436--z
-
Aronsson, Martin, 596(0)1--z
-
Aronsson:1992:MPT, 596(0)1--z
-
arrangement, 606(0)1--z, 652(0)80--z
-
Array, 589(0)201--z, 589(0)251--z, 591(0)184--200, 634(0)193--z,
634(0)247--z, 634(0)367--z, 634(0)787--z, 654(0)213--z,
654(0)305--z
-
arrays, 570(0)219--z, 605(0)617--z, 605(0)963--z, 629(0)142--z,
634(0)259--z, 634(0)265--z, 634(0)821--z, 639(0)153--z
-
Arrow, 633(0)1--z
-
Arrows., 633(0)1--z
-
art, 570(0)105--z, 636(0)290--z
-
Artalejo, M. Rodriguez, 626(0)134--z
-
Artalejo, M. Rodriguez, see Moreno, J. C. Gonzalez
-
Article, 608(0)84--z
-
artificial, 592(0)415--z, 597-0-viii, 604(0)1--z, 604(0)109--z,
604(0)154--z, 610-0-xii, 611(0)37--z, 617(0)25--z, 639(0)379--z
-
artificielle, 608(0)325--z
-
Artists, 602(0)187--z
-
Arunachalam, P., 654(0)69--z
-
Arunachalam, P., see Chaudhary, V.
-
Arvind, 589(0)99--z
-
Arvind, see Ariola, Z.
-
Arvind, D. K., 634(0)127--z
-
Arvind, V., 623(0)162--z, 650(0)249--z, 652(0)140--z
-
Arvind:1992:BTT, 652(0)140--z
-
Arvind:1992:DCR, 634(0)127--z
-
Arvind:1992:LCS, 650(0)249--z
-
Arvind:1992:RSL, 623(0)162--z
-
as-types, Formulas-, 619(0)125--z
-
ASAX, 648(0)435--z
-
ash{}, 642(0)1--z
-
Ashley, K. D., 608(0)575--z
-
Ashley, K. D., see Aleven, V.
-
Asking, 642(0)197--z
-
aspect, 572(0)171--z, 572(0)181--z, 604(0)572--z, 614(0)314--z,
617(0)316--z, 617(0)477--z, 619(0)1--z, 626(0)164--z, 627(0)269--z
-
Aspectual, 627(0)185--z
-
Assembly, 598(0)294--z, 604(0)361--z, 624(0)403--z
-
Assessing, 602(0)87--z
-
Assessment, 603(0)214--z, 604(0)566--z, 622(0)225--z, 640(0)360--z
-
Assignment, 605(0)483--z, 605(0)965--z, 613(0)131--z, 642(0)26--z,
650(0)319--z, 650(0)351--z, 650(0)449--z
-
Assistant, 602(0)491--z
-
Assisted, 608(0)40--z
-
Assisting, 604(0)49--z
-
Associating, 648(0)175--z
-
Association, 618(0)209--z
-
Associative, 654(0)179--z
-
Associativity, Set-, 605(0)751--z
-
Assumptions, 619(0)56--z, 649(0)336--z
-
Assurance, 648(0)261--z
-
Asteroth, A., 604(0)195--z
-
Asteroth, A., see Schnepf, U.
-
Astrachan, Owen L., 607(0)224--z
-
Astrachan:1992:CLM, 607(0)224--z
-
Astrom, K. J., 653(0)267--z
-
Astrom:1992:AC, 653(0)267--z
-
asymptotic, 626(0)396--z
-
Asymptotical, 601(0)195--z
-
Asymptotics, 621(0)53--z
-
asynchronous, 605(0)63--z, 609(0)152--z, 612(0)21--z, 623(0)583--z,
623(0)605--z, 634(0)361--z, 634(0)387--z, 652(0)328--z
-
Asynchronously, 620(0)93--z
-
At-Most-Once, 630(0)317--z
-
Atallah, Mikhail J., 644(0)27--z
-
Atallah:1992:PMM, 644(0)27--z
-
ATC, 603(0)72--z
-
Atkins, B. T. S., 627(0)87--z
-
Atkins, B. T. S., see Ostler, N.
-
ATM, 614(0)391--z
-
atomic, 609(0)89--z, 637(0)365--z, 646(0)188--z, 646(0)201--z
-
Atomicity, 646(0)216--z
-
ATP, 600(0)549--z, 624(0)463--z
-
Attali, I., 631(0)87--z
-
Attali:1992:IEN, 631(0)87--z
-
Attention, 608(0)443--z
-
Attribute, 631(0)130--z, 631(0)145--z, 631(0)485--z, 641(0)44--z,
641(0)51--z
-
Attribute-Directed, 641(0)37--z
-
Attributed, 570(0)75--z, 631(0)260--z, 641(0)1--z
-
attributes, 628(0)67--87, 628(0)112--122, 646(0)71--z
-
Atwood, M. E., 608(0)677--z
-
Atwood, M. E., see McKendree, J.
-
Auddino, A., 645(0)340--z
-
Auddino:1992:SVI, 645(0)340--z
-
Audio, 614(0)10--z, 614(0)368--z
-
Audioash, 614(0)230--z, 645(0)322--z
-
Audit, 648(0)435--z
-
auf der Heide, Friedhelm Meyer, 594(0)250--269
-
auf der Heide, Friedhelm Meyer,
see Dietzfelbinger, Martin
-
Augmentation, 623(0)330--z, 650(0)31--z
-
Augmented, 650(0)88--z
-
Augmenting, 593(0)378--z
-
Aurora, 637(0)454--z
-
Authentication, 648(0)141--z, 648(0)155--z, 648(0)261--z, 648(0)273--z,
648(0)293--z
-
author, 589(0)99--z, 602(0)320--z
-
Authoring, 602(0)380--z, 602(0)428--z, 602(0)478--z
-
Authoringash, 602(0)453--z
-
autoepistemic, 626(0)339--z, 649(0)26--z
-
automata, 572(0)247--z, 600(0)28--z, 600(0)45--z, 620(0)336--z,
623(0)126--z, 623(0)583--z, 626(0)1--z, 629(0)236--z, 629(0)307--z,
629(0)355--z, 629(0)421--z, 629(0)472--z, 630(0)254--z,
630(0)302--z, 630(0)325--z, 630(0)436--z, 631(0)100--z,
641(0)258--z, 652(0)39--z, 652(0)392--z, 654(0)213--z
-
automata, omega-, 626(0)367--z
-
Automata-Theoretic, 652(0)51--z, 652(0)176--z
-
automated, 593(0)445--z, 607(0)209--z, 607(0)416--z, 607(0)668--z,
607(0)716--z, 607(0)721--z, 607(0)735--z, 607(0)786--z,
608(0)343--z, 608(0)559--z, 608(0)575--z, 620(0)151--z,
624(0)131--z, 624(0)214--z, 648(0)57--z, 653(0)315--z
-
automatic, 568-0-x, 589(0)65--z, 593(0)48--z, 599(0)14--z, 607(0)4--z,
607(0)446--z, 617(0)338--z, 624(0)42--z, 624(0)460--z, 634(0)637--z,
634(0)823--z, 634(0)849--z, 636(0)313--z, 641(0)251--z
-
Automatically, 639(0)379--z, 649(0)250--z
-
Automation, 607(0)1--z, 610-0-xii
-
Automatization, 604(0)35--z
-
Automaton, 629(0)374--z, 630(0)550--z
-
Automobile, 636(0)36--z
-
autonomous, 610-0-xii, 648(0)229--z, 653(0)267--z
-
Autonomy, 627(0)255--z
-
available., 606(0)1--z
-
Average, 623(0)223--z, 652(0)128--z
-
Average-Case, 634(0)133--z
-
Averbuch, Amir, 601(0)147--z
-
Averbuch, Amir, see Sadeh, Ilan
-
Avoidable, 623(0)41--z
-
Avoidance, 603(0)165--z
-
Awerbuch, B., 621(0)83--z
-
Awerbuch:1992:LDG, 621(0)83--z
-
axiom, 606(0)1--z, 624(0)131--z, 624(0)381--z
-
Axiomatic, 605(0)955--z
-
Axiomatization, 613(0)108--z
-
Axiomatizing, 630(0)472--z, 632(0)350--z
-
Ayguade, E., 589(0)298--z
-
Ayguade, E., see Labarta, J.