Index file section I for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
I
-
Ibarra, O. H., 13(3)295--314, 17(1)55--73, 19(1)17--28, 19(2)219--227,
23(1)95--101, 24(1)35--52, 24(3)313--322, 26(1)197--220,
29(1)123--153
-
Ibarra, O. H., see Chan, Tat-hung,
see Gurari, E. M.
-
Ibarra:1982:CSA, 19(1)17--28
-
Ibarra:1982:MLR, 19(2)219--227
-
Ibarra:1983:CPI, 24(1)35--52
-
Ibarra:1983:SDQ, 24(3)313--322
-
Ibarra:1983:SPL, 26(1)197--220
-
Ibarra:1984:CCC, 29(1)123--153
-
idempotent, 21(2)225--230
-
identical, 23(2)107--127
-
identification, 25(2)193--120
-
identities, 24(1)73--94
-
IF-statements, 16(1)43--60
-
II, 10(3)273--295, 13(3)239--270, 15(2)159--179, 15(3)329--338,
17(3)235--257, 17(3)259--278, 27(1)85--108, 28(1)83--109,
31(3)263--295
-
ik-tape, 28(1)1--12
-
image, 17(1)43--54, 21(1)75--90, 23(1)37--48, 24(2)161--177, 32(1)47--60,
33(1)13--43, 33(1)z--z
-
implementability, 14(3)305--315
-
implementation, 13(1)17--43, 19(3)253--266, 20(1)3--32, 20(3)209--263,
27(3)255--286
-
implementation, distributed-, 32(1)157--172
-
implicit, 29(1)75--85
-
incidence, 32(1)215--219
-
inclusion, 19(3)267--285, 23(1)11--36, 26(1)1--24, 30(1)1--48
-
incomplete, 18(1)41--67
-
independence, 11(3)247--275, 12(2)119--126, 23(2)107--127
-
independent, 10(1)1--18, 32(1)61--76
-
Indermark, K., 21(3)281--313
-
Indermark:1982:RDC, 21(3)281--313
-
index, 16(2)231--235
-
indexed, 32(1)47--60
-
indexing, 11(3)277--301
-
Indexings, 11(3)277--301
-
indication, 34(3)255--274
-
indirect, 24(1)35--52
-
induced, 28(3)287--298
-
induction, 22(1)135--173
-
inductive, 13(3)239--270, 22(1)71--93, 24(1)95--104, 25(2)193--120,
28(1)111--133
-
inequality, 10(2)123--131, 22(1)135--173, 31(1)125--138
-
inequality, Bezout-, 24(3)239--277
-
inequivalence, 19(1)17--28, 33(2)305--326
-
inference, 10(1)93--105, 22(1)71--93, 22(1)175--194, 24(1)95--104,
25(2)193--120, 28(1)111--133, 32(1)77--86, 32(3)297--307,
33(1)95--105
-
inference, BC-, 24(1)95--104
-
infinitary, 31(1)83--100, 33(2)335--342
-
infinite, 10(2)133--155, 11(2)181--205, 12(2)175--192, 14(3)337--344,
16(1)5--24, 19(1)29--38, 22(1)95--126, 22(1)195--208, 23(2)107--127,
23(3)287--304, 24(1)21--34, 24(2)195--205, 24(3)279--289,
25(2)95--169, 25(2)171--192, 25(3)311--341, 26(1)53--82,
30(1)133--138, 31(3)227--261, 31(3)297--306, 32(3)321--330,
32(3)331--337, 32(3)339--340, 33(1)3--11, 33(1)z--z, 33(2)335--342
-
infinitely, 11(3)337--339
-
influence, 24(1)1--20
-
information, 12(3)325--332, 18(1)41--67, 22(1)71--93, 22(1)195--208,
23(1)11--36, 23(1)37--48, 24(2)161--177, 24(3)221--237,
24(3)291--300, 26(1)149--195, 29(1)1--25, 29(1)27--39, 32(1)77--86
-
informed, 34(1)215--225
-
Inherent, 16(3)279--290
-
inherently, 28(1)197--214
-
initial, 23(1)37--48, 23(3)305--315, 27(3)255--286, 31(1)49--59,
33(2)195--238
-
injective, 32(1)201--213
-
Inoue, K., 24(2)179--194, 24(3)331--336, 27(1)61--83
-
Inoue, K., see Toda, M.
-
Inoue:1983:RBT, 24(3)331--336
-
Inoue:1983:TDA, 27(1)61--83
-
input, 15(2)213--221, 17(3)333--341, 23(3)305--315, 32(1)221--224,
32(3)227--247
-
input-output, 21(2)231--235
-
input/output, 28(1)111--133
-
instant, 23(2)107--127
-
instantiation, 34(1)227--240
-
instructions, 18(3)301--323, 24(1)35--52
-
integer, 11(2)207--220, 14(3)211--226, 14(3)247--265, 14(3)289--303,
19(1)17--28, 23(1)83--89, 23(1)95--101, 24(1)35--52, 28(3)263--276,
31(1)125--138
-
integral, 22(3)233--251, 34(1)207--213
-
integration, 22(1)219--232, 22(3)317--330
-
intelligence, 24(2)207--219, 32(3)297--307, 34(1)17--32
-
interaction, 24(1)1--20, 29(1)167--184
-
interconnection, 28(1)223--233
-
interference, 27(3)297--310
-
interleaving, 34(1)135--156
-
intermediate, 23(3)333--337
-
internal, 10(1)63--82, 12(3)315--323
-
interpolating, 16(2)231--235
-
interpolation, 10(1)1--18, 10(1)53--61, 10(1)107--108, 11(3)321--330,
11(3)331--335, 11(3)337--339, 12(2)161--173, 12(3)303--314,
15(2)201--211, 16(2)231--235, 20(3)323--352, 22(1)195--208,
23(3)273--286, 24(3)291--300, 28(1)135--150, 28(3)287--298,
29(1)1--25, 31(1)125--138
-
interpretation, 11(2)181--205, 14(3)267--288, 17(1)1--27, 20(2)95--207,
21(2)163--178, 30(3)241--318
-
interpreter, 15(3)223--249, 16(2)149--175, 19(2)117--141, 34(1)227--240
-
interrelations, 23(2)217--225
-
intersection, 21(1)75--90, 27(1)85--108, 27(3)241--253, 32(3)279--295
-
intractability, 33(2)175--193
-
intrinsically, 32(1)121--156
-
introduction, 34(3)289--313
-
invariant, 10(2)123--131, 11(1)107--116, 14(3)267--288
-
invariant-method, 14(3)317--336
-
inverse, 14(2)127--154, 27(1)85--108, 32(1)201--213
-
inversion, 22(3)317--330
-
inverted, 33(1)107--116
-
IO-hierarchies, 20(2)95--207
-
isomorphic, 16(1)61--73, 32(1)61--76
-
isomorphism, 17(1)75--89, 17(1)91--97, 21(1)91--98, 27(1)3--38,
31(3)263--295, 34(1)33--82
-
Istrail, S., 18(3)333--341, 21(3)341--349, 26(1)83--103
-
Istrail:1982:GGR, 18(3)333--341
-
Istrail:1982:SRN, 21(3)341--349
-
Istrail:1983:NPS, 26(1)83--103
-
item, 15(2)117--157, 34(1)227--240
-
iterated, 14(2)127--154, 27(1)85--108
-
iterating, 19(1)29--38
-
iteration, 10(3)317--333, 12(2)193--228, 16(3)321--328, 19(1)29--38,
21(3)269--279, 22(1)195--208, 23(1)49--68, 23(1)91--94,
23(3)243--272, 24(1)21--34, 26(1)53--82, 29(1)185--227
-
iteration, LL-, 23(1)91--94
-
iterative, 12(2)193--228, 19(1)29--38, 22(1)195--208, 23(1)91--94,
23(2)187--210, 24(1)1--20, 25(1)1--66, 25(1)67--94, 28(3)287--298,
32(3)227--247, 33(2)175--193
-
Ito, M., 22(1)175--194, 34(3)315--335
-
Ito:1983:MPE, 22(1)175--194
-
Ito:1984:MPD, 34(3)315--335
-
Itzhaik, Y., 34(3)255--274
-
Itzhaik:1984:NFN, 34(3)255--274
-
Iwasaki, M., 34(3)315--335
-
Iwasaki, M., see Ito, M.
-
iZ-rational, 23(3)231--242