Index file section I for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
I
-
I, 184(1)145--193
-
I-terms;, lambda-, 155(1)265--266
-
Ianni, Miriam, Di, 196(1)131--151
-
Ianni, Miriam Di, 196(1)131--151--1
-
Ianni:1998:EDR, 196(1)131--151--1
-
Ibarra, Oscar H., 179(1)381--395
-
Ibarra:1997:PCL, 179(1)381--395
-
IBDDs, 205(1)45--60
-
Ida, Tetsuo, 167(1)95--130
-
Ida, Tetsuo, see Middeldorp, Aart
-
ideal, 159(2)355--356, 170(1)145--171, 179(1)319--331, 187(1)117--122,
187(1)167--178, 187(1)179--202, 208(1)3--31
-
idealized, 197(1)241--z, 227(1)3--42
-
idempotence, 177(1)3--25
-
idempotent, 161(1)157--190
-
identical, 154(1)57--65, 165(2)441--461, 170(1)445--464, 174(1)217--230
-
identifiability, 174(1)251--257
-
identification, 137(1)85--108, 152(2)171--217, 153(1)3--48,
153(1)65--94, 161(1)235--261, 168(2)417--459, 177(2)329--349,
181(2)317--335, 188(1)175--194, 197(1)246--z, 220(2)323--343
-
identity, 140(1)5--52, 155(1)1--38, 177(1)217--283, 192(2)315--351
-
Idury, Ramana M., 154(2)203--224
-
Idury:1996:MMP, 154(2)203--224
-
IFS, 165(2)325--354
-
II, 139(1)69--113, 141(1)109--131, 159(2)191--244, 170(1)1--46,
180(1)181--201, 194(1)242--243, 194(1)248--z, 203(2)205--223,
216(1)311--362, 221(1)77--118
-
II, DESIR-, 187(1)81--86
-
II;, DESIR-, 187(1)81--86
-
Ikeda, Takahiro, 210(2)341--374
-
Ikeda:1999:EAM, 210(2)341--374
-
Ilie, Lucian, 183(1)33--44, 200(1)205--224, 204(1)131--152
-
Ilie, Lucian, see Harju, Tero
-
Ilie:1997:CCC, 183(1)33--44
-
Ilie:1998:WQO, 204(1)131--152
-
Iliopoulos, Costas S., 164(1)299--310, 172(1)281--291, 218(1)205--216
-
Iliopoulos:1996:WTO, 164(1)299--310
-
Iliopoulos:1997:CSF, 172(1)281--291
-
Iliopoulos:1999:QSC, 218(1)205--216
-
illumination, 196(1)215--240
-
image, 140(2)319--331, 145(1)391--396, 147(1)211--248, 152(2)171--217,
154(2)165--181, 155(2)321--347, 156(1)1--38, 163(1)117--144,
163(1)303--308, 178(1)129--154, 178(1)225--236, 178(1)275--283,
186(1)1--41, 202(1)223--230, 226(1)117--142
-
image-finite, weak-, 179(1)397--419
-
image-sequence, 140(2)319--331
-
imaging, 156(1)159--176
-
Imai, Hideki, 226(1)207--223
-
Imai, Hideki, see Zheng, Yuliang
-
Imai, Hiroshi, 137(1)145--157, 210(2)341--374
-
Imai, Hiroshi, see Hasegawa, Susumu,
see Ikeda, Takahiro
-
Imai, Katsunobu, 165(2)475--482, 168(2)337--366
-
Imai, Katsunobu, see Morita, Kenichi
-
Imai:1996:FSS, 165(2)475--482
-
imbedding, 181(2)307--316
-
immediate, 149(2)201--229
-
Immerman, Neil, 148(2)261--279, 155(1)111--140
-
Immerman, Neil, see Etessami, Kousha
-
Immerman:1996:EFF, 155(1)111--140
-
immune, correlation-, 226(1)37--43
-
immune, P-, 161(1)263--287
-
impartial, 191(1)157--171
-
imperative, 156(1)177--201, 169(1)39--65, 175(1)29--74, 185(2)277--318,
190(2)241--277, 197(1)241--z, 217(2)385--405
-
imperfect, 140(2)301--317, 161(1)235--261, 171(1)247--280
-
implementation, 140(2)265--289, 140(2)291--300, 141(1)195--252,
142(1)3--26, 149(2)257--298, 162(2)297--322, 162(2)351--369,
173(1)3--48, 187(1)87--104, 187(1)179--202, 196(1)215--240,
202(1)127--161, 220(1)211--245
-
implemented, 215(1)337--344
-
implementing, 190(2)115--149, 194(1)245--z--2
-
implicants, 175(2)257--270, 215(1)1--30
-
implication, 160(1)365--380, 165(1)57--74, 173(1)113--149
-
implicational, 169(1)3--21
-
implicit, 145(1)71--93, 146(1)5--23, 154(1)3--22, 175(2)373--392
-
implicitly, 145(1)381--390
-
imply, 139(1)355--362
-
import, 194(1)243--z, 194(1)248--z--1
-
impredicative, 185(2)237--258
-
improved, 178(1)237--255, 181(2)337--345, 181(2)347--356,
188(1)241--247, 191(1)185--192, 201(1)85--97, 201(1)275--279,
209(1)123--140, 225(1)113--128
-
Improvement, 167(1)193--233
-
improving, 172(1)309--321, 221(1)139--155
-
Imrich, Wilfried, 215(1)123--136
-
Imrich, Wilfried, see Hagauer, Johann
-
in, built-, 142(2)209--227, 174(1)97--121
-
in, fan-, 161(1)141--156
-
in, fill-, 175(2)309--335
-
in;, fill-, 175(2)309--335
-
in-context;, graphs-, 194(1)240--z
-
in-forests, 162(2)323--340
-
in-place, update-, 149(1)179--199
-
inaccessible, 179(1)137--202
-
inaccurate, 161(1)235--261
-
inclusion, 156(1)71--97, 161(1)301--306, 165(2)233--246, 167(1)73--94,
167(1)171--192, 186(1)157--169, 186(1)231--248
-
incomparability, 186(1)157--169, 194(1)57--85
-
incomplete, 161(1)235--261, 177(1)183--216, 206(1)283--300
-
incompleteness, 192(2)315--351
-
inconsistency, 171(1)247--280
-
increasing, 155(2)411--424, 193(1)113--127, 222(1)181--186
-
incremental, 142(1)27--57, 152(2)171--217, 158(1)233--277,
173(1)183--208, 173(1)235--252, 185(1)191--213
-
indefinite, 171(1)25--60
-
independants, 204(1)119--130
-
independence, 160(1)365--380, 172(1)309--321, 192(2)259--286
-
independent, 145(1)381--390, 148(1)57--65, 148(1)93--109,
148(1)133--140, 158(1)117--141, 162(1)151--170, 164(1)107--122,
167(1)171--192, 168(1)105--119, 169(1)39--65, 172(1)67--89,
174(1)23--65, 178(1)265--273, 190(2)167--210, 192(2)233--258,
204(1)119--130, 223(1)87--120
-
independent, Alphabet-, 205(1)243--260
-
independent, Domain-, 190(2)279--315
-
independent, domain-, 190(2)279--315
-
independent, language-, 190(2)279--315
-
independent, order-, 155(1)111--140
-
independently, 154(1)57--65, 174(1)67--96, 192(2)287--314
-
index, 145(1)371--380, 150(2)195--z, 150(2)197--z, 150(2)339--z,
160(1)383--z, 161(1)191--203, 161(1)263--287, 168(1)21--38,
170(1)467--z, 176(1)283--328, 180(1)379--z, 181(1)91--106,
185(2)411--z, 213(1)5--436, 213(1)529--659, 219(1)111--150,
228(1)283--283, 229(1)199--199
-
indexed, 150(2)315--z, 163(1)277--281, 187(1)147--165, 213(1)437--528,
215(1)325--327
-
indexing, 161(1)263--287, 210(2)245--260
-
indicated, 157(2)161--183
-
indicatrices, 197(1)203--234
-
indifference, 181(1)91--106
-
indirect, 141(1)283--310
-
indistinguishability, 139(1)275--314, 191(1)215--218
-
individual, 207(2)343--361, 215(1)209--223
-
induced, 155(1)39--83, 172(1)209--232, 172(1)265--271
-
induced, vertex-, 148(1)57--65
-
induction, 137(1)3--23, 138(1)113--139, 139(1)27--67, 146(1)109--143,
146(1)199--242, 170(1)245--276, 177(1)217--283, 179(1)103--135,
210(1)121--157, 224(1)13--33
-
inductionless, 146(1)199--242
-
inductive, 137(1)53--84, 138(1)201--210, 141(1)151--162, 141(1)253--268,
144(1)251--275, 146(1)199--242, 149(1)67--99, 154(2)183--201,
159(1)81--102, 159(2)191--244, 173(2)349--391, 185(1)129--157,
194(1)240--z--1, 219(1)3--17
-
inductively, 137(1)25--51, 138(1)201--210, 170(1)245--276--1,
176(1)329--335
-
industry, 191(1)205--214
-
inequality, 138(1)201--210, 173(1)89--112, 173(1)183--208,
177(2)351--380, 181(2)379--404, 182(1)217--232, 182(1)233--244,
212(1)3--27
-
inequation, 148(1)67--92, 160(1)365--380, 173(1)89--112, 173(1)183--208
-
inequational, 177(1)217--283
-
inertness, tau-, 170(1)47--81
-
inference, 135(1)67--110, 137(1)3--23, 137(1)53--84, 138(1)201--210,
141(1)151--162, 141(1)253--268, 142(2)141--177, 143(1)51--72,
146(1)199--242, 149(1)129--149, 150(1)161--191, 151(2)437--486,
152(1)91--138, 152(2)219--249, 152(2)269--283, 154(2)183--201,
155(2)365--410, 161(1)289--300, 164(1)13--28, 165(1)171--200,
166(1)291--300, 167(1)47--72, 167(1)73--94, 167(1)95--130,
170(1)129--144, 170(1)245--276, 171(1)61--75, 171(1)77--109,
171(1)147--177, 171(1)247--280, 172(1)91--120, 173(2)311--347,
175(1)75--92, 177(1)183--216, 185(1)15--45, 185(1)129--157,
185(2)217--235, 185(2)277--318, 189(1)129--177, 190(1)41--60,
192(1)3--29, 192(2)201--231, 194(1)247--z--2, 197(1)139--156,
219(1)3--17
-
inferrible, 197(1)139--156
-
inferring, 138(1)201--210, 161(1)289--300, 185(1)3--13
-
infinis, 180(1)81--113
-
infinitary, 139(1)27--67, 149(1)67--99, 149(1)101--128, 173(2)393--443,
175(1)93--125, 184(1)237--245, 194(1)244--z--2
-
infinite, 138(1)3--34, 138(2)273--314, 138(2)353--389, 139(1)315--354,
143(2)335--342, 151(1)37--78, 152(2)219--249, 152(2)285--303,
154(1)67--84, 154(2)387--394, 158(1)65--79, 159(2)143--190,
161(1)205--233, 161(1)263--287, 163(1)99--116, 164(1)13--28,
164(1)165--183, 165(1)57--74, 172(1)67--89, 174(1)1--21,
175(1)93--125, 175(1)127--158, 176(1)111--158, 177(2)487--507,
180(1)81--113, 183(1)21--32, 187(1)203--219, 189(1)1--69,
192(1)77--106, 194(1)246--z--2, 195(2)113--131, 200(1)135--183,
207(2)363--382, 212(1)29--75, 218(1)177--195, 221(1)251--270
-
infinite, bi-, 158(1)81--115, 168(2)241--255
-
infinite, eta-, 180(1)371--375
-
infinite-valued, 200(1)335--366
-
infinitely, 138(1)113--139, 179(1)217--250, 194(1)244--z--2
-
Infiniteness, 206(1)331--339
-
infinitesimal, 156(1)263--280
-
infinity, 155(1)267--276
-
infix, 142(1)3--26
-
infix--outfix, 188(1)231--240
-
infix-outfix, 3-, 188(1)231--240
-
inflationary, 190(2)317--361
-
influences, 158(1)65--79
-
informal, 173(2)445--484
-
informant, 185(1)129--157
-
information, 139(1)163--186, 143(2)319--333, 146(1)145--184,
147(1)69--85, 152(2)171--217, 154(2)165--181, 154(2)283--306,
155(1)221--264, 158(1)193--219, 158(1)343--359, 158(1)361--370,
159(2)319--341, 161(1)235--261, 163(1)117--144, 163(1)303--308,
164(1)253--276, 167(1)131--170, 168(2)367--404, 171(1)179--219,
172(1)1--41, 177(2)425--458, 178(1)129--154, 181(2)337--345,
182(1)245--256, 186(1)1--41, 188(1)1--44, 190(2)167--210,
192(1)77--106, 192(2)259--286, 194(1)243--z, 194(1)248--z--1,
195(1)33--60, 199(1)167--198, 207(2)319--328, 209(1)87--105,
209(1)195--211, 209(1)195--z
-
information-based, 219(1)451--465
-
Ingólfsdóttir, Anna, 146(1)341--349, 209(1)163--178,
see Aceto, Luca
-
Ingolfsdottir:1995:LES, 146(1)341--349
-
inheritance, 139(1)131--162, 140(1)179--199, 156(1)177--201
-
inhomogeneous, 182(1)203--216
-
initial, 138(1)201--210, 143(1)93--112, 148(1)121--132, 152(1)67--89,
166(1)263--290, 174(1)157--170, 174(1)217--230, 179(1)273--299
-
initiality, 195(1)61--89
-
initiatives, 194(1)242--243, 194(1)248--z
-
innermost, 151(2)487--512, 152(2)269--283, 165(1)97--131
-
Inoue, Katsushi, 143(1)123--135
-
Inoue, Katsushi, see Ito, Akira
-
input, 138(1)101--112, 138(2)391--423, 141(1)269--282, 143(1)123--135,
148(1)33--55, 154(1)57--65, 156(1)39--70, 156(1)281--287,
160(1)305--320, 163(1)211--238, 172(1)1--41, 172(1)293--301,
178(1)103--118, 182(1)145--157
-
input--output, 205(1)99--114
-
input-output, 182(1)145--157
-
inputash, 138(2)391--423
-
input/output, 138(2)391--423, 160(1)1--85, 173(2)485--511,
192(2)315--351
-
in/rd, 192(2)167--199
-
ins-closed, 183(1)3--19
-
insertion, 144(1)125--159, 154(2)203--224, 168(1)21--38, 180(1)203--215,
183(1)3--19, 185(1)3--13, 188(1)241--247, 205(1)195--205
-
instance, 149(2)231--255, 160(1)217--239, 161(1)123--140,
166(1)221--262, 179(1)301--317, 194(1)207--218
-
instantiation, 155(1)157--177, 166(1)221--262, 168(1)53--103
-
instants, 166(1)1--47
-
institution, 216(1)109--157
-
Institutions, 173(2)485--511
-
instruction, 168(2)257--266, 168(2)267--301, 169(1)39--65,
215(1)337--344
-
instrumentation, 196(1)241--258
-
insubstantiality, 179(1)333--351, 179(1)353--380
-
integer, 127(2)287--312, 147(1)87--116, 148(1)33--55, 154(1)3--22,
158(1)65--79, 160(1)305--320, 167(1)131--170, 168(2)267--301,
172(1)255--263, 172(1)303--308, 173(1)151--181, 174(1)137--156,
174(1)193--202, 174(1)247--249, 182(1)217--232, 185(1)63--79,
193(1)129--148, 197(1)57--77, 208(1)149--177, 209(1)287--297
-
integer-valued, 143(2)309--318
-
integer-weighted, 180(1)155--168
-
integrability, 144(1)161--197
-
integral, 138(1)169--199, 144(1)3--58, 144(1)101--124, 151(1)163--193,
159(1)65--79, 180(1)61--80
-
integrated, 197(1)171--188
-
integration, 144(1)101--124, 151(1)163--193, 176(1)111--158,
187(1)221--230, 212(1)77--99
-
integrity, 190(2)115--149
-
intensional, 152(1)1--66, 166(1)83--99, 192(2)259--286
-
intensive, 196(1)319--345
-
intensive, data-movement-, 194(1)225--237
-
interacting, 138(1)141--168, 194(1)183--205, 194(1)248--z--1
-
interaction, 159(2)191--244, 170(1)245--276, 190(1)3--39,
192(2)287--314, 192(2)315--351, 197(1)157--169
-
interactive, 157(2)277--282, 181(2)317--335, 192(2)315--351,
200(1)313--334
-
interconnection, 140(2)319--331, 140(2)333--339, 147(1)1--18,
156(1)203--215, 158(1)53--64, 158(1)161--176, 162(2)225--243,
162(2)245--281, 162(2)283--296, 175(2)337--347, 178(1)265--273,
181(2)337--345, 182(1)171--182, 186(1)171--198, 194(1)123--136,
196(1)181--200, 207(1)171--180, 207(1)193--201
-
interface, 145(1)159--187, 185(2)319--345, 187(1)221--230,
192(2)315--351, 194(1)243--z, 194(1)248--z--1
-
interference, 228(1)211--252, 228(1)253--282
-
interior, 145(1)241--270, 187(1)263--284
-
interleaved, 177(1)73--109, 183(2)229--251
-
interleaving, 154(1)107--143, 155(1)39--83, 161(1)109--122,
170(1)297--348, 196(1)365--393, 198(1)159--176, 206(1)219--256
-
interleaving, Non-, 216(1)237--270
-
intermediate, 141(1)1--52, 173(1)49--87, 215(1)325--327
-
internal, 156(1)315--325, 159(1)65--79, 159(2)271--317, 167(1)47--72,
167(1)235--274, 195(2)205--226, 205(1)61--83
-
International, 159(1)103--104, 168(2)z--z
-
interpolation, 143(1)167--174, 154(1)41--56, 157(1)3--33, 157(1)53--77,
157(1)115--127, 157(1)129--136, 157(2)259--266, 158(1)117--141,
159(2)143--190, 168(1)3--19, 168(1)39--51, 170(1)1--46,
172(1)255--263, 174(1)23--65, 180(1)17--45, 180(1)243--268,
187(1)87--104, 187(1)105--116, 187(1)179--202, 187(1)z--z,
191(1)1--36, 197(1)111--138
-
interpretation, 142(1)125--138, 159(2)319--341, 160(1)1--85,
166(1)83--99, 166(1)221--262, 175(1)75--92, 177(1)27--58,
179(1)273--299, 183(2)281--315, 184(1)105--143, 190(2)241--277,
193(1)197--214, 197(1)1--56, 197(1)242--z--3, 199(1)167--198,
202(1)163--192, 222(1)77--111, 227(1)231--248
-
interpreter, 141(1)1--52, 146(1)69--108, 146(1)109--143, 179(1)381--395,
190(2)211--239, 194(1)244--z--1, 196(1)347--363
-
interprocedural, 167(1)131--170
-
interprocess, 149(2)257--298, 170(1)445--464
-
intersection, 143(1)51--72, 145(1)371--380, 151(2)385--435, 154(1)3--22,
161(1)191--203, 170(1)83--128, 170(1)173--207, 179(1)251--271,
180(1)17--45
-
intersection-closed, 185(1)159--175
-
interunit, 174(1)123--136
-
interval, 143(1)73--91, 145(1)291--316, 148(1)93--109, 151(1)257--276,
162(1)151--170, 162(2)225--243, 166(1)1--47, 170(1)1--46,
173(1)3--48, 173(1)253--281, 174(1)171--191, 175(2)309--335,
175(2)349--372, 205(1)115--133, 219(1)421--437
-
intervalles, 174(1)171--191
-
Intrigila, B., 212(1)211--231
-
Intrigila:1999:ORG, 212(1)211--231
-
intrinsic, 140(1)5--52, 219(1)319--329
-
intrinsically, 168(2)417--459
-
introduction, 157(1)3--33, 157(1)35--52, 168(1)1--1, 173(2)445--484,
194(1)242--243
-
Intuitionism-counting, 197(1)242--z--3
-
intuitionistic, 159(2)319--341, 166(1)291--300, 175(1)75--92,
176(1)159--173, 177(1)27--58, 197(1)242--z--3, 197(1)245--z--1,
211(1)129--188, 212(1)141--155, 212(1)247--260, 224(1)115--134
-
intuitive, 159(2)319--341, 166(1)1--47
-
invariance, 138(1)201--210, 160(1)1--85, 170(1)1--46, 210(1)3--20
-
invariant, 153(1)49--64, 165(2)483--490, 173(1)49--87, 187(1)27--48,
187(1)123--145, 193(1)53--73, 225(1)177--184
-
invariant, Bisimulation-, 224(1)237--265
-
invariants, modulo-, 153(1)49--64
-
invariants;, modulo-, 153(1)49--64
-
invariants;, place-, 153(1)49--64
-
Inventories, 201(1)151--170
-
inventory, 184(1)195--236
-
Inverardi, P., 139(1)315--354
-
Inverardi, Paola, 152(2)285--303
-
Inverardi:1995:DOC, 139(1)315--354
-
Inverardi:1995:INF, 152(2)285--303
-
inverse, 151(1)257--276, 184(1)61--104, 204(1)35--54, 215(1)137--168
-
inversion, 148(1)19--32, 163(1)211--238
-
invertibility, 197(1)111--138
-
inward, 194(1)247--z
-
I/O, 138(2)391--423, 176(1)1--38
-
Irani, Sandy, 194(1)163--182
-
Irani:1998:RAM, 194(1)163--182
-
irrational, 205(1)337--344
-
irreducibility, 142(2)141--177
-
irreducibility;, join-, 171(1)77--109
-
irreducible, 155(1)221--264, 187(1)27--48, 187(1)49--79, 187(1)123--145
-
irreducible, join-, 171(1)77--109
-
irregular, 162(2)341--349, 162(2)351--369
-
irreversible, 148(1)157--163, 168(2)303--320, 197(1)242--z--2,
227(1)79--97
-
Ishiguro, Masaki, 137(1)145--157
-
Ishiguro, Masaki, see Hasegawa, Susumu
-
Ishihara, T., 210(2)305--325
-
Ishihara, T., see Matsuda, H.
-
Ishikawa, M., 197(1)244--z--1
-
Ishikawa, M., see Hayashi, S.
-
Ishizaka, Hiroki, 185(1)47--62
-
Ishizaka, Hiroki, see Arimura, Hiroki
-
isolated, 173(1)3--48
-
isomorphic, 156(1)203--215, 174(1)67--96, 198(1)177--200
-
isomorphic, non-, 204(1)55--73
-
isomorphism, 139(1)187--205, 145(1)189--228, 145(1)329--344,
152(1)67--89, 155(1)267--276, 164(1)287--298, 180(1)17--45,
181(2)307--316, 197(1)242--z--3, 197(1)247--z
-
isosceles, 164(1)165--183
-
issue, 159(1)3--z, 159(1)103--104, 183(2)187--214
-
item, 155(1)85--109, 172(1)91--120
-
iterated, 143(2)285--308, 154(2)183--201, 193(1)53--73
-
iteration, 150(1)57--75, 168(2)405--416, 177(1)217--283, 177(2)407--423,
188(1)161--174, 194(1)207--218, 195(1)61--89, 211(1)339--374
-
iterative, 148(1)67--92, 156(1)263--280, 156(1)281--287, 158(1)371--378,
165(2)325--354, 170(1)383--406
-
iterées., 165(2)325--354
-
Itkis, Gene, 203(2)253--269
-
Itkis, Gene, see Even, Shimon
-
Ito, Akira, 143(1)123--135
-
Ito, Masami, 183(1)3--19
-
Ito:1995:OST, 143(1)123--135
-
Ito:1997:IDC, 183(1)3--19
-
Iwama, Kazuo, 155(2)411--424
-
Iwama:1996:TLB, 155(2)411--424
-
Iwamoto, Chuzo, 155(2)411--424
-
Iwamoto, Chuzo, see Iwama, Kazuo
-
IX, 151(1)125--162
-
Iyengar, S. S., 140(2)249--263
-
Iyengar, S. S., see Prasad, L.