Index file section I for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
I
-
I-categories, 115(1)77--106
-
I-category, 115(1)77--106
-
I-model, 102(1)135--163
-
I-product, 119(1)103--125
-
I-relations, 134(2)455--471
-
I-strict, 119(1)103--125
-
IAG, 110(1)197--214
-
Ibarra, O. H., 85(1)53--74, 99(2)243--264, 99(2)301--315
-
Ibarra, Oscar H., 112(2)391--397, 115(2)261--275, 125(2)243--257
-
Ibarra, Oscar H., see Jiang, Tao
-
Ibarra:1991:PPO, 85(1)53--74
-
Ibarra:1992:CET, 99(2)301--315
-
Ibarra:1992:SBS, 99(2)243--264
-
Ibarra:1993:NSP, 112(2)391--397
-
Ibarra:1993:SFA, 115(2)261--275
-
Ichikawa, A., 93(2)185--199
-
Ichikawa, A., see Hiraishi, K.
-
ICLP, 86(1)z--z
-
ideal, 89(2)207--343, 98(1)115--133, 98(1)137--161, 117(1)255--272
-
idempotent, 84(2)251--264, 108(1)151--171, 123(2)273--289, 124(1)71--91
-
identical, 119(2)345--354
-
identification, 103(2)409--420, 132(1)403--414
-
identifier, 80(1)117--120, 87(1)97--114
-
identity, 73(3)335--340, 74(3)253--271, 81(2)237--256, 89(2)207--343,
98(1)115--133, 98(1)z--z, 104(1)29--51, 116(1)59--94, 117(1)23--38,
118(2)301--314, 123(2)351--375, 134(1)27--50
-
Idury, Ramana M., 131(2)295--310
-
Idury:1994:DDM, 131(2)295--310
-
if-then-else, 71(2)193--208, 71(3)413--417
-
II, 70(2)179--192, 70(3)305--342, 79(1)241--256, 86(2)143--203,
103(2)165--190, 113(2)371--375, 123(1)145--149, 129(2)385--396
-
Ikeda, Y., 127(1)1--23
-
Ikeda, Y., see Hosono, C.
-
Ilie, Lucian, 132(1)427--434
-
Ilie:1994:CAS, 132(1)427--434
-
Iliopoulos, C. S., 92(1)87--105, 127(1)53--67
-
Iliopoulos, C. S., see Daykin, J. W.
-
Iliopoulos:1992:OAC, 92(1)87--105
-
image, 70(2)261--271, 93(2)327--331, 97(2)245--262, 102(2)253--281,
116(2)373--398, 126(1)53--75, 132(1)403--414
-
image-finite, 118(2)263--299
-
imbalanced, 127(2)199--228
-
immediate, 105(1)85--128
-
immigration, 120(2)229--245
-
immune, 102(2)215--252
-
immune, P-, 119(2)293--310
-
immune, P-bi-, 119(2)293--310, 136(2)487--506
-
immune, P-bi-, 136(2)487--506
-
immunity, 129(2)279--291
-
immunity, Bi-, 73(3)249--263
-
immunity, bi-, 73(3)249--263
-
impact, 98(2)249--262
-
impartial, 96(2)361--388
-
imperative, 75(1)3--13, 75(1)15--43, 76(2)179--222, 93(1)91--113,
103(2)235--271, 104(1)53--87, 104(2)299--312, 106(1)119--134,
131(1)95--120
-
implementation, 79(1)241--256, 94(1)63--69, 95(1)115--142,
100(1)223--241, 104(1)53--87, 104(1)89--107, 104(1)109--128,
107(1)121--133, 111(1)3--57, 120(2)303--310
-
Implementing, 72(2)225--249
-
implication, 95(1)43--74, 133(2)267--306, 133(2)387--419
-
implicational, 107(2)253--276, 135(2)405--422
-
implicit, 73(2)213--230, 114(1)119--147, 115(1)131--149
-
imply, 105(1)129--140, 133(1)95--104
-
Improved, 72(1)27--38
-
improvement, 73(2)121--154, 99(1)157--176
-
Improvements, 116(2)399--403
-
improves, 120(2)197--213
-
in, built-, 75(1)111--138
-
in, fan-, 78(2)357--362, 85(1)155--170, 93(2)303--319,
116(2)415--419
-
in, let-, 93(1)1--41
-
in-neighborhoods, 80(2)227--262
-
incidence, 86(2)205--232
-
inclusion, 71(3)281--346, 82(2)215--252, 91(1)85--100, 93(1)43--74,
95(1)143--158, 97(2)217--231, 110(1)99--129, 126(2)183--235,
133(1)15--22, 134(2)365--385
-
incomplete, 78(1)113--136, 78(1)159--187, 103(1)25--38, 114(2)231--245,
133(2)267--306
-
incompleteness, 73(1)47--60, 83(2)169--188, 130(2)237--z,
130(2)239--319
-
incompressible, 112(2)383--390
-
inconsistency, 73(1)101--112, 103(2)283--309
-
incr-POLYLOGTIME-complete, 130(1)203--236
-
increasing, 79(1)179--193
-
increasing, super-, 88(1)127--138
-
incremental, 71(2)209--226, 92(2)319--336, 130(1)203--236,
133(2)387--419
-
incrementally, 130(1)203--236
-
indefinite, 93(1)115--141, 116(1)151--194
-
indempotent, 123(2)273--289
-
independence, 82(2)303--327, 101(2)337--359, 102(2)307--328,
103(2)395--408, 123(2)259--272, 134(1)107--117, 134(2)455--471
-
independent, 75(3)347--355, 77(3)291--308, 91(2)285--313, 92(2)301--307,
117(1)255--272, 123(1)95--115, 125(1)3--16, 127(1)25--51
-
independent, distribution-, 100(1)157--184
-
independent, speed-, 86(2)343--364
-
indeterminates, 98(1)5--13
-
index, 75(1)157--215, 76(2)261--271, 82(1)19--33, 83(2)323--335,
95(2)279--305, 116(1)195--226, 117(1)3--22, 132(1)387--394
-
indexed, 91(2)239--264, 135(2)221--266
-
indexing, 129(2)263--278
-
Indicator, 117(1)169--186
-
indicatrix, 117(1)169--186
-
induced, 88(1)33--57, 93(1)43--74, 103(1)51--106, 131(1)181--195
-
induction, 85(2)333--351, 87(1)209--220, 89(1)161--177, 90(2)369--390,
103(2)395--408, 104(1)53--87, 105(2)167--215, 120(1)123--155,
122(1)137--164, 133(2)307--340, 133(2)361--385, 135(2)377--404
-
induction, co-, 124(2)195--219
-
inductionless, 90(2)369--390
-
inductive, 77(3)249--266, 83(2)249--260, 85(1)75--95, 87(1)115--142,
91(1)101--117, 101(1)143--158, 106(1)87--117, 107(2)349--356,
110(1)131--144, 110(1)145--168, 111(1)145--189, 115(1)63--75,
131(1)121--138
-
Industry, 130(1)5--16
-
inequality, 117(1)199--202
-
inevitability, 120(1)123--155
-
inf, 83(1)57--69, 135(2)423--431
-
inference, 70(1)127--150, 73(2)155--175, 76(1)53--91, 76(2)309--322,
77(1)73--95, 77(3)249--266, 81(2)223--235, 83(1)97--130,
89(1)137--159, 95(1)75--95, 95(1)97--113, 96(1)35--72,
102(1)135--163, 104(1)109--128, 110(1)131--144, 113(2)349--370,
113(2)371--375, 119(1)23--38, 119(1)39--62, 119(1)z--z, 120(1)1--44,
121(1)113--143, 122(1)97--117, 122(1)225--262, 124(1)127--148,
129(1)167--186, 129(2)337--367, 130(2)239--319, 131(1)1--28,
131(1)121--138, 131(1)181--195, 133(2)307--340, 135(1)67--110
-
inferencing, 131(1)1--28
-
Inferring, 105(2)167--215
-
infinies, 123(1)55--60
-
infinitary, 74(2)121--162, 83(1)71--96, 86(2)277--323, 91(2)181--203,
94(1)37--62, 103(2)191--204, 120(1)101--121, 131(1)95--120
-
infinite, 73(2)121--154, 74(1)71--93, 74(2)121--162, 74(2)227--237,
75(1)157--215, 76(2)309--322, 82(2)177--214, 83(2)301--312,
84(2)165--177, 86(1)3--33, 86(2)277--323, 88(1)83--98,
88(2)365--384, 93(2)227--244, 93(2)327--331, 94(2)161--174,
96(1)157--174, 96(1)z--z, 99(1)121--140, 100(1)105--135,
103(1)143--159, 103(2)165--190, 103(2)191--204, 104(1)3--28,
107(2)305--332, 108(1)45--82, 112(1)145--185, 112(2)277--289,
112(2)413--418, 113(1)35--54, 115(1)63--75, 116(1)3--31, 123(1)3--7,
123(1)55--60, 125(2)167--204, 126(1)77--96, 126(2)183--235,
129(1)1--38, 129(2)385--396, 132(1)37--70, 132(1)337--345,
134(1)131--173, 134(2)329--363
-
infinite, bi-, 85(1)33--52
-
infinite-trace, 120(1)101--121
-
infinitely, 123(2)407--413
-
infinity, 113(1)35--54
-
infinity-regular, 103(2)191--204
-
infix, 134(1)3--11, 136(2)471--485
-
INFORMATIKA, 71(2)z--z
-
Informatika, 119(1)z--z
-
information, 70(1)151--158, 73(1)1--46, 75(3)289--309, 78(1)159--187,
84(1)53--76, 84(2)151--164, 86(2)365--375, 92(1)213--221,
93(1)115--141, 94(2)215--221, 94(2)295--310, 95(1)1--42,
102(2)253--281, 103(1)25--38, 103(2)311--334, 108(2)251--270,
113(1)35--54, 114(2)201--229, 115(1)77--106, 116(1)151--194,
130(1)125--138, 132(1)37--70, 133(2)267--306, 133(2)421--442
-
informational, 90(1)81--93
-
Informatique', Mathématiques-, 123(1)z--z
-
inherent, 129(1)95--121
-
inherently, 125(2)355--360
-
inheritance, 105(2)217--273, 134(2)287--309
-
inheritance, single-, 134(2)287--309
-
initial, 75(1)139--156, 86(2)365--375, 93(2)185--199, 108(2)291--310,
114(2)299--315, 115(1)77--106, 117(1)187--198, 124(1)149--168,
132(1)387--394, 135(2)221--266
-
initial-algebra, 115(1)151--189
-
injections, 89(1)3--32
-
injective, 108(2)385--391, 123(2)407--413
-
injective, Quasi-, 123(2)407--413
-
injectivity, 123(2)407--413
-
inkdot, 127(1)171--179
-
inkdot, 1-, 127(1)171--179
-
inner, 70(3)305--342, 88(2)325--349, 131(2)475--477
-
innings, 129(2)385--396
-
Inoue, K., 88(2)287--296
-
Inoue, Katsushi, 108(2)393--400, 127(1)171--179
-
Inoue, Katsushi, see Hromkovi{\v{c}}, Juraj
-
Inoue:1991:NRT, 88(2)287--296
-
Inoue:1994:IAT, 127(1)171--179
-
input, 75(1)111--138, 79(1)163--177, 82(1)113--129, 92(1)3--17,
97(2)285--300, 98(2)347--356, 106(1)135--181, 108(1)45--82,
108(2)271--290, 121(1)323--349, 128(1)127--157, 128(1)211--239,
134(1)225--251
-
input, n-, 100(1)253--265
-
input-lookahead, 82(1)1--18
-
input-output, 94(1)125--140, 101(2)177--221, 123(2)389--395,
128(1)211--239
-
input/output, 75(1)67--83, 97(1)1--66, 110(1)131--144
-
Insert, 84(1)107--126
-
insertion, 72(2)147--167, 74(1)95--114, 93(2)201--225, 94(1)141--158,
125(2)345--353, 129(2)397--406, 131(2)295--310, 132(1)129--150
-
instability, 106(2)243--264
-
instance, 81(1)49--64, 86(1)81--92, 110(1)215--245, 130(1)5--16
-
instance, multi-, 74(3)253--271
-
instantaneous, 87(1)43--80
-
instantiation, 107(2)209--252
-
instruction, 100(1)1--44, 123(2)415--426
-
integer, 78(2)357--362, 79(1)25--35, 81(1)137--145, 94(2)223--236,
97(1)105--130, 100(1)67--104, 100(1)105--135, 106(2)183--219,
108(2)385--391, 112(2)391--397, 116(1)117--149, 120(2)215--227,
121(1)411--440, 123(1)95--115, 125(2)229--241, 127(2)287--312,
129(1)79--94, 129(2)263--278, 129(2)385--396, 132(1)337--345
-
integral, 79(1)163--177, 100(1)243--251, 125(1)61--90, 131(2)431--439
-
integrated, 72(2)147--167, 82(1)157--163, 84(2)225--250, 99(2)213--230
-
integrating, 109(1)257--274
-
integration, 123(1)131--137
-
integrity, 76(1)115--142, 125(1)131--147, 133(2)267--306
-
intelligence, 73(2)155--175, 75(1)85--110, 76(2)309--322, 80(2)125--151,
80(2)337--345, 81(2)223--235, 83(1)97--130, 83(2)287--300,
86(1)3--33, 86(1)35--79, 86(1)81--92, 86(1)93--106, 86(1)107--139,
86(1)z--z, 87(1)43--80, 87(1)115--142, 87(1)221--228, 89(1)63--106,
89(1)137--159, 90(2)433--456, 93(1)159--167, 93(2)245--264,
95(1)75--95, 95(1)97--113, 95(1)115--142, 96(1)35--72,
104(1)109--128, 104(2)207--233, 105(1)7--25, 105(1)27--56,
107(2)277--303, 107(2)305--332, 110(1)131--144, 113(2)349--370,
113(2)371--375, 114(2)231--245, 119(1)23--38, 119(1)z--z,
119(2)363--371, 120(1)1--44, 120(1)157--168, 122(1)97--117,
122(1)225--262, 122(1)263--283, 124(1)127--148, 127(2)351--386,
129(2)337--367, 130(2)239--319, 131(1)1--28, 131(1)121--138,
131(1)181--195, 131(1)197--218, 133(2)205--265, 133(2)307--340,
133(2)387--419, 134(2)545--557, 135(1)67--110, 135(1)111--137
-
intensional, 85(2)213--229, 101(2)177--221, 136(1)277--289
-
intensive, 95(2)323--337
-
intensive, Data-movement-, 95(2)323--337
-
interaction, 87(1)97--114, 105(1)141--166, 110(2)341--376
-
interactive, 84(1)23--52, 93(1)91--113, 103(1)25--38, 104(1)53--87,
113(1)55--73, 120(2)303--310, 132(1)291--317, 133(2)307--340,
134(2)545--557
-
intercomputer, 125(2)373--383
-
interconnected, 119(2)345--354
-
interconnection, 73(1)61--79, 102(2)329--354, 102(2)355--365,
104(2)285--298, 120(2)261--278, 125(1)61--90, 130(1)49--72,
130(1)175--201
-
Interdefinability, 79(2)357--358
-
interdefinable, 79(2)357--358
-
interdependence, 130(1)17--47
-
interface, 77(1)27--71, 77(3)291--308
-
interleaved, 79(2)275--294
-
interleaving, 75(3)263--287, 90(1)127--149, 96(2)285--304,
101(2)239--263, 114(1)63--91, 114(1)173--200, 124(1)1--40,
124(1)169--179
-
intermediate, 73(2)177--211, 73(2)231--248
-
intermittent, 120(1)123--155
-
internal, 84(2)293--311
-
internally, 70(1)65--72
-
International, 75(1)z--z, 77(1)z--z, 86(1)z--z, 108(1)z--z, 109(1)z--z,
134(1)z--z
-
interpolation, 74(1)19--35, 79(1)151--162, 79(1)195--207, 79(1)227--239,
79(2)295--321, 81(1)77--95, 84(2)151--164, 88(2)313--324,
92(2)269--289, 93(1)91--113, 94(2)175--197, 100(1)243--251,
102(2)283--305, 106(2)265--281, 113(2)211--230, 117(1)113--130,
123(1)95--115, 125(2)295--313, 125(2)345--353, 125(2)355--360,
127(2)269--286, 130(1)5--16, 133(1)65--84, 133(1)105--140,
133(1)141--164, 133(1)165--185
-
interpretability, 73(1)47--60
-
interpretable, 121(1)169--178
-
interpretation, 71(2)209--226, 71(2)265--279, 75(1)3--13, 75(1)15--43,
75(1)157--215, 75(3)263--287, 79(1)179--193, 87(2)287--313,
92(1)145--164, 93(1)1--41, 94(2)215--221, 94(2)281--294,
95(1)43--74, 106(1)119--134, 111(1)3--57, 111(1)191--210,
115(2)291--319, 117(1)91--98, 117(1)113--130, 118(2)231--262,
119(1)23--38, 120(1)1--44, 120(1)69--81, 121(1)113--143,
122(1)3--47, 122(1)119--136, 124(1)93--125, 131(1)121--138,
133(2)267--306, 134(1)209--223, 135(1)5--9
-
interpreter, 71(2)177--191, 71(2)193--208, 71(2)209--226, 71(2)227--239,
71(2)z--z, 73(2)231--248, 78(1)189--216, 80(1)105--115,
80(2)303--318, 89(1)137--159, 90(2)271--308, 104(2)299--312,
122(1)165--200, 128(1)99--125
-
Interpreting, 75(1)3--13
-
intersecting, nonself-, 117(1)227--241
-
intersection, 81(2)295--304, 95(1)143--158, 98(1)5--13, 98(1)79--97,
99(2)177--211, 100(2)303--324, 102(1)135--163, 110(1)99--129,
126(2)183--235, 129(2)397--406
-
interval, 106(2)309--326, 108(2)291--310, 123(1)61--87, 123(1)167--181
-
intractability, 134(2)287--309
-
Intrigila, Benedetto, 121(1)71--88
-
Intrigila, Benedetto, see Berarducci, Alessandro
-
intrinsically, 123(2)199--237
-
introduced, 120(2)197--213
-
introducing, 110(2)247--z
-
introduction, 72(2)265--288, 79(1)179--193, 94(2)159--z, 118(1)1--z,
121(1)179--186, 121(1)279--308, 134(1)131--173
-
intuitionistic, 71(2)227--239, 102(1)207--214, 111(1)3--57, 114(1)3--30,
115(1)63--75, 133(2)267--306
-
intuitive, 88(1)15--32, 130(1)203--236
-
intuitive, counter-, 74(2)183--197
-
invariance, 70(1)35--64, 86(2)365--375
-
invariant, 72(1)3--26, 82(2)373--388, 112(1)5--52, 115(1)151--189
-
invariant, loop-, 119(1)173--185
-
invariants, S-, 114(1)93--118
-
inverse, 76(2)243--250, 79(1)163--177, 87(1)1--24, 95(2)207--229,
100(2)325--346, 104(2)161--183, 110(1)1--51, 123(2)273--289
-
inversion, 73(2)177--211, 108(2)311--329, 117(1)113--130,
134(2)387--401
-
inversion-free, 108(1)17--24
-
invertible, 132(1)129--150
-
Investigation, 124(2)221--272
-
invisible, 102(1)165--183, 108(2)357--363
-
involution, 117(1)91--98, 117(1)203--215
-
involving, 95(1)169--185, 106(2)221--241
-
I/O, 75(1)67--83, 128(1)211--239
-
IOCC, 104(1)129--159
-
Ionescu, Cecilia Magdalena, 134(2)365--385
-
Ionescu, Cecilia Magdalena,
see Tiplea, Ferucio Laurentiu
-
irrational, 112(2)399--412
-
irreducible, 87(2)229--249
-
irregularities, 123(1)131--137
-
ISO, 89(1)179--206
-
isolated, 133(1)105--140
-
isomorphic, 74(2)121--162, 74(2)163--181, 102(2)307--328, 123(1)89--94
-
isomorphie, 123(1)89--94
-
isomorphism, 79(2)275--294, 83(2)337--343, 95(2)263--277,
102(2)307--328, 111(1)3--57, 129(1)187--192, 129(2)309--321,
135(1)5--9, 135(2)289--318, 135(2)361--376, 136(1)163--181
-
isomorphism, p-, 83(2)337--343
-
isomorphism=step, 79(2)275--294
-
isoperimetric, 112(2)419--420, 130(1)175--201
-
issue, 92(1)1--z, 122(1)1--z
-
Istrate, G., 82(1)151--155
-
Istrate, G., see Calude, C.
-
ISWIM, 121(1)411--440
-
Itai, A., 86(2)377--389
-
Itai, A., see Benedek, G. M.
-
Italiano, G. F., 72(2)97--117, 95(2)245--261
-
Italiano, G. F., see Ausiello, G.
-
items, 103(2)311--334
-
iterated, 101(1)143--158, 119(1)223--232, 127(1)149--170,
132(1)113--128
-
iterates, 73(3)329--333, 82(2)215--252
-
iteration, 70(1)3--34, 80(2)203--225, 81(2)269--288, 83(2)249--260,
87(2)315--327, 88(2)313--324, 100(2)325--346, 111(1)145--189,
123(1)95--115, 123(1)139--144, 135(2)171--220
-
iteration, x-, 76(2)261--271
-
iteration-with-parameters, 121(1)309--321
-
iterative, 81(2)269--288, 82(2)215--252, 88(2)313--324, 93(1)91--113,
111(1)125--143, 116(2)317--337, 119(1)39--62, 123(1)95--115,
123(1)139--144, 125(2)345--353, 125(2)355--360
-
iterative-deepening, 104(1)109--128
-
Itkin, V. E., 90(1)81--93
-
Itkin:1991:AMC, 90(1)81--93
-
Ito, A., 88(2)287--296
-
Ito, A., see Inoue, K.
-
Ito, Akira, 127(1)171--179
-
Ito, Akira, see Inoue, Katsushi
-
Ito, M., 96(2)325--344, 108(1)1--z, 136(2)471--485
-
Ito:1992:LWE, 96(2)325--344
-
Ito:1993:F, 108(1)1--z
-
Ito:1994:CIC, 136(2)471--485
-
IVG, 110(1)197--214
-
Iwanowski, S., 80(2)227--262
-
Iwanowski:1991:TAS, 80(2)227--262
-
Iwata, Shigeki, 123(2)329--340
-
Iwata:1994:OGB, 123(2)329--340
-
i/x, 125(2)355--360
-
Iyengar, S. S., 102(2)355--365
-
Iyengar, S. S., see Prasad, L.
-
Iyengar, Sitharama S., 120(2)261--278
-
Iyengar, Sitharama S., see Subbiah, Rajanarayanan