Index file section I for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
I
-
Ianov, 53(1)67--97, 53(1)z--z
-
Ibarra, Gurani-, 47(1)71--84
-
Ibarra, O. H., 39(2)89--106, 41(2)231--246, 44(1)111--121, 57(1)47--86,
57(2)225--238, 68(1)19--36
-
Ibarra, O. H., see Chang, J. H.
-
Ibarra:1985:ERT, 39(2)89--106
-
Ibarra:1985:FPL, 41(2)231--246
-
Ibarra:1988:RPC, 57(2)225--238
-
Ibarra:1988:TDI, 57(1)47--86
-
ideal, 36(2)203--216, 61(2)199--224, 64(3)221--269, 68(1)49--56
-
idempotent, 56(3)345--353
-
identification, 47(1)61--69, 49(2)171--184
-
identifiers, 60(3)341--381
-
identifying, 38(2)167--192
-
identities, 65(0)123--270, 65(2)213--220, 65(2)z--z
-
Igarashi, Y., 36(1)89--97, 54(2)315--324
-
Igarashi, Y., see Sado, K.
-
Igarashi:1985:PLR, 36(1)89--97
-
II, 38(1)133--136, 52(3)269--280, 52(3)307--340
-
Iliopoulos, C. S., 41(1)81--93, 56(2)211--222
-
Iliopoulos:1985:CGA, 41(1)81--93
-
Iliopoulos:1988:CCA, 56(2)211--222
-
image, 35(2)261--269, 35(2)295--312, 38(1)117--122, 43(1)31--41,
48(2)145--152, 48(2)183--199, 50(2)183--238, 59(3)235--257,
61(2)283--287
-
Immerman, N., 68(3)267--276
-
Immerman:1989:RRC, 68(3)267--276
-
immunity, p-, 51(1)177--204
-
Imori, M., 38(2)167--192
-
Imori:1985:PCS, 38(2)167--192
-
imperative-functional, 69(3)243--287
-
implementable, 69(2)117--242
-
implementation, 37(3)305--336, 49(2)145--169, 59(1)157--180,
69(1)69--115
-
Implementing, 61(1)83--92
-
implicant, 66(1)113--114
-
implication, 38(1)99--116, 40(2)195--210, 46(2)197--217, 59(3)287--296
-
implicational, 39(2)239--265
-
implicit, 58(1)57--68
-
impossibility, 44(2)225--228
-
imprimitive, 41(1)61--80
-
improved, 36(2)231--237, 58(1)325--346
-
in, built-, 59(1)133--155
-
incidence, 64(1)83--96
-
inclusion, 61(2)137--147, 62(1)39--65, 64(3)343--350
-
inclusion, membership-, 56(2)211--222
-
incomplete, 43(2)149--167
-
incompleteness, 39(2)189--206, 57(2)317--325
-
inconsistency, 68(2)135--154
-
increasing, 38(1)137--142
-
increasing, length-, 47(3)263--276
-
increasing, size-, 39(2)207--224
-
incremental, 53(1)25--65, 53(1)z--z
-
independent, 41(2)141--167, 46(2)197--217, 52(3)193--203, 52(3)281--306,
61(1)33--47, 64(2)191--201
-
independent, Domain-, 52(3)281--306
-
independent, speed-, 39(2)107--121
-
independent, state-, 43(1)1--10
-
index, 47(3)335--343, 57(2)185--204, 64(2)191--201
-
indexed, 47(2)219--223, 49(1)23--42
-
individual, 41(2)185--213
-
induction, 43(2)251--263, 44(2)127--153, 51(1)129--176, 54(1)29--51,
59(3)317--325
-
induction-free, 59(3)317--325
-
inductive, 43(1)81--89, 46(2)175--195, 54(1)3--28, 55(1)87--136,
59(1)133--155, 62(3)289--310
-
inefficient, 63(3)239--252
-
inequality, 38(2)293--306, 49(1)81--84, 64(1)107--118
-
inevitability, 64(3)281--304
-
inference, 35(2)129--164, 38(1)99--116, 41(2)271--287, 54(1)103--128,
62(1)39--65, 62(3)289--310, 66(3)255--272, 67(1)5--18,
67(2)173--201
-
infinis, 58(1)231--248
-
infinitary, 37(3)305--336, 38(1)123--132, 54(2)199--214, 54(2)277--298
-
infinite, 35(2)227--243, 36(1)1--19, 37(1)51--75, 38(1)137--142,
39(2)281--295, 43(1)59--79, 43(1)99--105, 43(2)277--291,
43(2)315--335, 44(1)107--110, 44(2)175--197, 46(2)141--158,
47(1)15--26, 48(1)9--33, 49(2)87--112, 49(2)113--119, 49(2)z--z,
52(1)165--171, 54(2)139--163, 54(2)267--276, 54(2)277--298,
58(1)231--248, 59(1)115--131, 61(1)1--16, 61(1)25--32,
61(2)259--277, 65(2)143--148, 65(2)221--242, 65(2)z--z, 67(1)5--18,
67(2)303--332
-
infinite, double-, 58(1)103--128
-
infinite-valued, 52(1)145--153
-
Infinite-word, 43(1)59--79
-
infinitely, 39(2)297--308, 68(3)277--302
-
infinity, 61(1)25--32
-
infix, 35(2)295--312
-
informal, 59(1)133--155
-
information, 35(2)295--312, 36(1)99--108, 37(1)77--121, 41(2)215--222,
43(2)149--167, 44(1)69--105, 48(2)283--296, 49(2)171--184,
49(2)185--215, 51(1)215--220, 54(2)165--179, 56(3)339--344,
57(1)97--111, 57(1)131--145, 57(2)283--302, 58(1)103--128,
62(1)3--38, 62(1)39--65, 62(3)251--266, 63(1)91--111, 63(2)157--184,
63(2)185--202, 65(1)85--119, 65(2)143--148, 65(2)171--188,
65(2)249--263, 65(2)z--z, 68(2)175--202, 68(3)239--252
-
Information, Science-, 62(3)251--266
-
inherently, 57(2)327--330
-
initial, 37(3)269--304, 43(2)149--167, 46(1)13--45, 48(1)101--108,
50(2)137--181
-
Inoue, K., 36(2)291--308, 41(2)331--339, 66(3)273--287
-
Inoue, K., see Ito, A., \see{Matsuno, H.
-
Inoue, Katsushi, 67(1)99--110
-
Inoue:1985:ALT, 41(2)331--339
-
Inoue:1989:LSH, 67(1)99--110
-
input, 54(1)65--85, 63(2)141--156, 63(2)203--221, 68(1)49--56
-
input/output, 64(3)221--269
-
insertion, 58(1)143--154
-
instance, 39(2)239--265, 46(1)67--82, 62(1)67--104
-
institutions, 37(3)269--304
-
instruction, 51(1)239--247, 56(1)3--15
-
integer, 35(2)245--260, 37(1)1--30, 43(2)265--275, 44(1)1--16,
51(3)341--348, 54(1)65--85, 54(2)299--313, 55(2)265--289,
58(1)81--101, 59(1)85--114, 65(2)131--141, 65(2)153--169
-
integral, 41(1)109--112, 51(3)331--339, 65(2)243--248
-
integrated, 57(0)3--159, 57(1)97--111
-
integration, 58(1)103--128
-
integrity, 41(1)109--112
-
intelligence, 35(2)129--164, 44(2)127--153, 45(3)293--351, 54(1)3--28,
54(1)29--51, 56(3)277--288, 58(1)155--174, 59(3)287--296,
62(0)3--233, 62(1)187--220, 65(1)1--33, 66(2)205--232,
66(3)255--272, 67(2)173--201, 67(2)203--260, 68(2)135--154,
68(2)203--220
-
intensional, 53(2)335--343
-
inter, 52(3)269--280
-
Interaction, 62(1)221--233
-
interaction-free, 62(1)221--233
-
interactive, 63(2)185--202
-
interchange, 56(3)321--338
-
intercluster, 38(2)293--306
-
interconnected, 68(1)19--36
-
interconnection, 47(3)323--328, 48(1)75--94, 64(1)83--96, 64(1)125--132,
64(2)191--201
-
interfaces, 43(2)277--291
-
interleaving, 45(2)193--260, 55(1)87--136, 57(2)251--282, 64(1)25--38
-
intermediate, 54(2)341--343
-
intermittent, 50(3)285--321
-
international, 49(2)z--z, 57(0)3--159, 58(0)3--397, 59(0)3--209,
62(0)3--233, 66(0)117--232
-
interpolation, 36(2)309--317, 38(2)157--165, 39(1)69--88, 39(2)207--224,
39(2)225--237, 40(2)195--210, 40(2)319--322, 41(2)125--139,
41(2)319--323, 42(1)1--122, 44(1)1--16, 46(2)329--338,
51(1)177--204, 54(1)129--137, 57(1)131--145, 57(2)239--249,
58(1)183--199, 64(1)15--23, 68(1)1--17
-
interpretation, 36(1)1--19, 38(2)323--341, 53(1)3--24, 56(1)17--36,
56(3)303--320, 57(1)3--45, 59(3)211--234, 65(3)291--342,
69(2)117--242, 69(3)289--318
-
interpretations, X-, 41(1)61--80
-
interpreters, 56(1)3--15, 56(1)17--36, 56(1)59--133, 63(3)253--274
-
intersection, 35(2)261--269, 38(1)55--68, 45(2)121--157, 49(2)267--282,
49(2)z--z, 56(2)211--222, 58(1)69--80, 58(1)129--142, 59(1)181--209,
66(2)157--180
-
intersection, MVD-, 62(1)105--122
-
intersection, MVD-, 62(1)105--122
-
interval, 54(2)299--313
-
intractability, 35(2)245--260, 39(2)297--308, 62(1)39--65
-
intractable, 35(2)313--327, 63(3)239--252
-
intrinsic, 67(1)65--73
-
introduction, 35(2)191--214, 51(1)229--238, 54(2)139--163,
62(1)123--185
-
intuitionistic, 65(3)343--371
-
invariant, 36(2)217--229, 44(1)17--49, 47(3)323--328, 58(1)347--359,
59(3)277--286
-
inverse, 41(1)105--107, 46(1)101--106, 47(3)247--262, 54(1)65--85,
61(2)283--287, 64(1)107--118, 66(3)233--245
-
inversion, 59(3)277--286
-
inverted, 62(3)251--266
-
invertible, 39(2)207--224, 66(3)289--297
-
invertible, left-, 49(1)13--22
-
invertible, right-, 49(1)13--22
-
investigation, 38(2)193--122
-
irrational, 65(2)189--196
-
irreducible, 54(2)215--236, 67(1)65--73
-
ISA, 61(2)175--198
-
isolated, 57(1)87--95
-
isomorphic, 44(1)17--49
-
isomorphism, 38(2)323--341, 39(2)207--224, 43(1)43--58, 47(3)263--276,
63(3)295--302, 68(2)155--173
-
issue, 69(1)69--115
-
ITA, 47(1)15--26
-
Italiano, G. F., 48(2)273--281, 68(1)57--70
-
Italiano, G. F., see Gambosi, G.
-
Italiano:1986:AEP, 48(2)273--281
-
iterate, 41(1)33--50
-
iterated, 38(1)1--16, 38(2)223--247, 42(3)251--368, 45(3)293--351,
48(2)283--296, 66(1)45--53
-
iteration, 40(2)275--300, 44(3)307--331, 45(2)193--260, 48(2)135--144,
52(3)307--340, 55(2)265--289, 63(3)303--331, 66(3)289--297
-
iterative, 39(2)135--153, 41(1)33--50, 42(3)251--368, 45(2)193--260,
47(1)15--26, 52(3)307--340, 53(1)151--167, 57(0)3--159, 57(1)47--86,
57(2)327--330, 58(1)201--208, 63(3)275--294, 63(3)303--331,
65(2)123--130, 65(2)143--148
-
iteratively, 39(2)135--153
-
Ito, A., 66(3)273--287
-
Ito:1989:DTD, 66(3)273--287
-
Iwata, S., 54(2)325--329
-
Iwata:1987:SPT, 54(2)325--329
-
Iyengar, S. S., 62(3)251--266
-
Iyengar, S. S., see Rao, Nageswara S. V.