Index file section H for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
H
-
H-grammars, 85(2)253--281
-
Habbas, Zineb, 119(1)127--143
-
Habbas:1993:CMP, 119(1)127--143
-
Habel, A., 89(1)33--62
-
Habel, Annegret, 110(1)145--168
-
Habel:1991:DBP, 89(1)33--62
-
Habel:1993:CCF, 110(1)145--168
-
Haegemans, Ann, 133(1)165--185
-
Haegemans, Ann, see Verschelde, Jan
-
Hagino, 111(1)145--189
-
HAL, 119(1)127--143, 119(1)z--z
-
Halldórsson, Magnus M., 130(1)163--174
-
Halldorsson:1994:LBL, 130(1)163--174
-
Hallnas, L., 87(1)115--142
-
Hallnas:1991:PID, 87(1)115--142
-
Halpenny, Liam, 102(2)329--354
-
Halpenny:1992:CMS, 102(2)329--354
-
halting, 75(1)157--215, 75(1)z--z, 93(1)1--41, 129(2)419--424,
132(1)395--401
-
Hamaguchi, Kiyoharu, 103(2)191--204
-
Hamaguchi:1992:RTL, 103(2)191--204
-
Hamilton, Cayley-, 98(1)115--133
-
Hamiltonian, 71(3)419--424, 131(2)463--473, 132(1)347--375
-
Hamming, 102(2)253--281
-
Han, Jiawei, 133(2)361--385
-
Han:1994:TEI, 133(2)361--385
-
hand-real-time, 118(1)3--20
-
handler, 80(2)319--335
-
handling, 74(2)183--197, 74(3)341--354, 76(2)331--341, 79(1)37--109,
79(1)111--135, 79(1)163--177, 79(1)195--207, 79(1)241--256,
79(2)323--339, 80(2)319--335, 82(1)157--163, 83(2)275--285,
84(2)265--279, 85(1)97--116, 88(1)83--98, 92(1)19--31, 92(1)33--47,
94(1)1--35, 103(1)137--141, 104(1)89--107, 105(2)217--273,
108(2)185--236, 108(2)371--384, 117(1)303--313, 118(1)81--98,
119(2)355--361, 122(1)263--283, 123(1)117--130, 124(1)71--91,
125(2)259--293, 127(1)181--186, 129(2)293--307, 130(1)101--123,
131(1)1--28, 134(2)559--565, 135(2)221--266
-
Hankel, 79(1)151--162
-
Hankel-like, 79(1)111--135
-
Hanoi, 123(1)3--7
-
Hansen, E. R., 74(2)183--197
-
Hansen, E. R., see Oommen, B. J.
-
Hansen, H., 77(1)27--71
-
Hansen, H., see Ehrig, H.
-
Hanssen, V., Stoltenberg-, 87(1)1--24
-
Hanus, M., 89(1)63--106
-
Hanus:1991:HCP, 89(1)63--106
-
hard, 107(1)3--30, 112(2)255--275, 115(2)277--290
-
hard, 1-truth-table-, 115(2)383--389
-
hard, 1-tt-, 115(2)383--389
-
hard, NEXPTIME-, 135(1)139--153
-
hard, NEXPTIME-, 135(1)139--153
-
hard, NP-, 75(3)347--355, 80(2)227--262, 97(1)105--130,
103(1)107--135, 110(1)197--214, 115(2)277--290, 120(2)279--291,
123(1)9--19, 131(2)331--360
-
hard, NP-, 80(2)227--262, 120(2)279--291
-
hard, PSPACE-, 81(1)137--145, 129(1)95--121
-
hard, truth-table-, 115(2)383--389
-
hardness, 88(1)183--189, 135(1)139--153
-
hardness, PSPACE-, 135(1)139--153
-
hardware, 133(2)307--340
-
Hardy, 94(2)175--197
-
Harel, David, 131(2)243--269
-
Harel, David, see Etzion-Petruschka, Yael
-
Harju, T., 78(2)347--355, 134(2)403--413
-
Harju:1991:EPM, 78(2)347--355
-
Harju:1994:RRF, 134(2)403--413
-
HARMONIC, 98(2)339--346
-
harmonic, 130(1)175--201
-
Harper, R., 89(1)107--136
-
Harper:1991:TCU, 89(1)107--136
-
Harrison, John, 134(2)537--544
-
Harrison, P. G., 93(1)91--113
-
Harrison-Ruzzo, Graham-, 80(1)53--75
-
Harrison:1992:NAR, 93(1)91--113
-
Harrison:1994:MCD, 134(2)537--544
-
Hartmanis, J., 71(1)79--93, 74(2)217--225, 80(2)289--302, 81(1)155--163
-
Hartmanis, J., see Ranjan, D.
-
Hartmanis:1990:NDS, 71(1)79--93
-
Hartmanis:1990:RMS, 74(2)217--225
-
Hartmanis:1991:OWF, 81(1)155--163
-
has, 112(2)311--337, 120(2)197--213
-
Hashiguchi, K., 72(1)27--38, 76(2)273--284, 86(2)233--241,
88(2)351--363, 91(1)85--100, 92(1)77--86, 97(2)217--231
-
Hashiguchi, K., see Yoo, H.
-
Hashiguchi:1990:ERE, 76(2)273--284
-
Hashiguchi:1990:ILT, 72(1)27--38
-
Hashiguchi:1991:ADR, 91(1)85--100
-
Hashiguchi:1991:RCS, 86(2)233--241
-
Hashiguchi:1992:TRS, 92(1)77--86
-
hashing, 93(2)245--264, 107(1)121--133
-
Hasse, 119(2)267--291
-
Hausdorf, Campbell-, 79(1)241--256
-
Hausdorff-Kuratowski, 96(2)345--360
-
Hausser, R., 106(2)283--308
-
Hausser:1992:CLA, 106(2)283--308
-
have, 87(1)81--96, 120(2)197--213, 124(1)149--168
-
having, 123(1)89--94
-
hci-grammars, 80(1)53--75
-
He, Xin, 74(3)299--312, 76(2)343--351
-
He, Xin, see Sarnath, R.
-
He:1990:EAE, 74(3)299--312
-
head, 76(2)323--330, 88(2)191--229, 135(1)111--137, 135(1)z--z
-
head, one-, 88(2)297--311
-
Head, T., 73(3)329--333
-
Head:1990:SSM, 73(3)329--333
-
heap, 84(1)107--126, 117(1)67--89, 118(1)81--98
-
HEAPSORT, 118(1)81--98, 134(2)559--565
-
heapsort, 118(1)81--98
-
HEAPSORT, BOTTOM-UP-, 118(1)81--98
-
heapsort, bottom-up-, 118(1)81--98
-
Hebisch, U., 92(2)269--289
-
Hebisch:1992:GSS, 92(2)269--289
-
Hebrard, J.-J., 82(1)35--49
-
Hébrard, Jean-Jacques, 124(2)343--350
-
Hebrard:1991:ADE, 82(1)35--49
-
Hebrard:1994:LAR, 124(2)343--350
-
Heckmann, Reinhold, 111(1)59--88, 136(1)21--56
-
Heckmann:1993:PDS, 111(1)59--88
-
Heckmann:1994:SPD, 136(1)21--56
-
Heering, J., 124(1)149--168
-
Heering, J., see Bergstra, J. A.
-
Heibig, A. G., 87(1)43--80
-
Heibig:1991:CMN, 87(1)43--80
-
height, 72(1)65--94, 91(1)85--100, 106(2)327--335, 117(1)137--151,
127(2)199--228
-
height-counting, 82(1)131--139
-
Heilbrunner, S., 80(1)53--75
-
Heilbrunner:1991:ERB, 80(1)53--75
-
Heiman, R., 107(1)63--76
-
Heiman:1993:ROT, 107(1)63--76
-
Hein, J., 99(1)65--78
-
Hein:1992:CPL, 99(1)65--78
-
Hemachandra, L. A., 74(2)217--225, 80(2)203--225, 83(2)313--322,
92(2)309--318
-
Hemachandra, L. A., see Hartmanis, J.
-
Hemachandra:1991:KCC, 83(2)313--322
-
Hemachandra:1991:SPE, 80(2)203--225
-
Hemachandra:1992:SCC, 92(2)309--318
-
Hemaspaandra, Edith, 123(2)407--413
-
Hemaspaandra, Lane A., 123(2)407--413
-
Hemaspaandra, Lane A., see Hemaspaandra, Edith
-
Hemaspaandra:1994:QIR, 123(2)407--413
-
Henkin, 103(2)387--394
-
Hennessy, M., 114(1)31--61
-
Hennessy, M., see Boudol, G.
-
Hennessy--Milner, 72(2)265--288, 72(2)z--z, 96(1)249--283, 106(1)3--20,
114(1)149--171
-
Hennicker, Rolf, 104(1)53--87
-
Hennicker:1992:SAA, 104(1)53--87
-
Herbrand, 75(1)85--110, 75(1)139--156, 76(2)309--322, 77(3)309--319,
95(1)43--74, 99(1)65--78, 107(2)277--303, 118(2)99--166,
119(1)127--143, 119(1)z--z, 122(1)3--47, 122(1)263--283,
124(1)93--125
-
Herbrand-Robinson, 113(1)3--34
-
Herbst, T., 93(2)327--331
-
Herbst, Thomas, 112(2)187--214
-
Herbst:1992:KFP, 93(2)327--331
-
Herbst:1993:GPF, 112(2)187--214
-
hereditarily, 121(1)411--440
-
hereditarily-finite, 119(1)187--214, 119(1)z--z
-
hereditary, 70(3)343--358
-
Hermite, 117(1)153--167
-
Hernández, Marisela, 125(1)131--147,
see Gelenbe, Erol
-
Herrmann, F., 108(2)185--236
-
Herrmann, F., see Fulop, Z.
-
Hershberger, John, 130(1)139--161
-
Hershberger:1994:DST, 130(1)139--161
-
Hertrampf, U., 74(3)325--328
-
Hertrampf, Ulrich, 115(2)225--241
-
Hertrampf, Ulrich, see Allender, Eric
-
Hertrampf:1990:RAM, 74(3)325--328
-
Hespel, C., 79(1)151--162
-
Hespel:1991:AND, 79(1)151--162
-
Hesselink, W. H., 99(1)105--119
-
Hesselink, Wim H., 124(2)273--295
-
Hesselink:1992:PFU, 99(1)105--119
-
Hesselink:1994:NRS, 124(2)273--295
-
heterogeneous, 106(2)243--264, 125(1)91--109
-
heuristic, 80(1)105--115, 125(2)345--353
-
hexagonal, 83(2)205--218
-
hidden, 124(1)149--168
-
hiding, 96(2)411--419
-
Hieb, R., 103(2)235--271
-
Hieb, R., see Felleisen, M.
-
hierarchic, 73(2)177--211
-
hierarchical, 70(3)305--342, 83(1)71--96, 86(1)81--92, 87(1)43--80,
112(2)339--354, 132(1)377--385
-
hierarchly, 113(1)167--183
-
hierarchy, 73(3)313--317, 80(2)203--225, 81(1)77--95, 83(1)97--130,
83(2)313--322, 83(2)323--335, 84(2)199--223, 85(2)305--331,
88(2)297--311, 91(1)71--84, 95(1)97--113, 96(2)325--344,
96(2)345--360, 97(2)183--198, 98(2)249--262, 98(2)289--319,
100(1)45--66, 101(2)289--335, 102(2)215--252, 104(2)235--261,
106(2)283--308, 112(2)339--354, 112(2)413--418, 113(1)167--183,
115(2)225--241, 115(2)261--275, 116(1)33--57, 119(2)293--310,
120(2)293--301, 123(2)239--258, 125(2)355--360, 127(1)123--147,
129(2)323--336, 132(1)1--35, 134(2)263--285, 134(2)287--309
-
hierarchy, NC-, 107(1)77--94
-
high, 71(1)155--174, 71(2)193--208, 72(2)133--146, 73(2)177--211,
73(2)213--230, 75(1)15--43, 75(1)45--66, 75(1)67--83, 77(1)73--95,
77(1)97--129, 77(1)195--219, 80(2)319--335, 81(2)201--221,
82(2)373--388, 85(1)75--95, 89(1)179--206, 94(1)125--140,
95(1)43--74, 96(1)73--155, 100(1)157--184, 101(2)289--335,
105(1)85--128, 111(1)3--57, 111(1)89--101, 111(1)145--189,
116(1)59--94, 116(1)95--116, 131(1)139--179, 132(1)37--70,
133(2)361--385, 134(1)119--130, 135(1)67--110, 136(1)277--289
-
high-level, 93(1)75--89, 134(2)287--309
-
high-school, 117(1)23--38
-
higher, 90(1)185--198, 100(1)45--66, 100(2)385--417
-
Higher-dimensional, 115(1)43--62
-
higher-order, 71(2)227--239, 75(1)111--138, 89(1)63--106, 91(1)23--55,
100(2)385--417, 103(2)235--271, 114(2)273--298, 133(2)267--306,
136(1)125--162
-
Hillman-Grassl, 117(1)273--287
-
Hindley, 87(1)203--208
-
Hindley, J. R., 100(2)303--324
-
Hindley, J. R., see Dezani-Ciancaglini, M.
-
Hindley, J. Roger, 135(2)405--422
-
Hindley, J. Roger, see Trigg, Peter
-
Hiraishi, Hiromi, 103(2)191--204
-
Hiraishi, Hiromi, see Hamaguchi, Kiyoharu
-
Hiraishi, K., 93(2)185--199
-
Hiraishi, Kunihiko, 135(2)361--376
-
Hiraishi:1992:SCW, 93(2)185--199
-
Hiraishi:1994:SCR, 135(2)361--376
-
Hirokawa, Sachio, 107(2)253--276
-
Hirokawa:1993:PTB, 107(2)253--276
-
Historical, 121(1)179--186
-
histories, 75(1)67--83, 79(1)179--193, 90(2)391--432, 101(2)337--359
-
history-preserving, 114(1)173--200, 118(1)21--48
-
Ho, Ching-Tien, 128(1)241--252
-
Ho, Ching-Tien, see Bruck, Jehoshua
-
Hoang, C. T., 99(2)335--344
-
Hoang:1992:PAM, 99(2)335--344
-
Hoare, 75(1)3--13, 82(2)409--418, 85(2)283--303, 133(2)307--340
-
Hoare, C. A. R., 90(1)235--251
-
Hoare-like, 80(2)319--335
-
Hoare:1991:TDC, 90(1)235--251
-
Hoene, A., 80(2)203--225
-
Hoene, A., see Hemachandra, L. A.
-
Hofbauer, Dieter, 105(1)129--140
-
Hofbauer:1992:TPM, 105(1)129--140
-
Hofer, G., 80(1)117--120
-
Hofer:1991:ESG, 80(1)117--120
-
Hoffmann, J., 73(3)279--294
-
Hoffmann-Lawson, 114(2)201--229
-
Hoffmann:1990:RNG, 73(3)279--294
-
Hofri, Micha, 125(1)61--90
-
Hofri:1994:AAP, 125(1)61--90
-
Holden, M., 79(2)295--321
-
Holden:1991:WLT, 79(2)295--321
-
hole, 94(2)215--221, 129(2)369--383
-
holistic, 118(1)3--20
-
Holldobler, S., 75(1)85--110
-
Holldobler:1990:CET, 75(1)85--110
-
Holte, R., 100(1)105--135
-
Holte:1992:PST, 100(1)105--135
-
home, 101(2)161--176
-
Homer, Steven, 115(2)225--241, 115(2)383--389, 132(1)229--241
-
Homer, Steven, see Allender, Eric,
see Ambos-Spies, Klaus
-
Homer:1993:TTH, 115(2)383--389
-
homogeneity, 108(1)83--102
-
homomorphic, 74(2)163--181, 80(1)35--51, 87(2)229--249, 93(2)327--331,
106(1)119--134
-
homomorphism, 76(2)261--271, 85(1)171--203, 88(2)287--296,
99(2)177--211, 109(1)49--82, 112(1)99--143, 132(1)243--258
-
homotopy, 117(1)91--98, 133(1)165--185
-
honest, 78(2)305--317, 123(2)315--327
-
Honkala, J., 79(1)263--273
-
Honkala, Juha, 120(2)229--245, 127(2)269--286
-
Honkala:1991:AGZ, 79(1)263--273
-
Honkala:1993:DSI, 120(2)229--245
-
Honkala:1994:GDS, 127(2)269--286
-
Hoofman, R., 82(2)409--418
-
Hoofman:1991:WEM, 82(2)409--418
-
Hoogeboom, Hendrik Jan, 110(1)1--51
-
Hoogeboom, Hendrik Jan, see Engelfriet, Joost
-
hook, 117(1)273--287
-
Hooman, J. J. M., 101(2)289--335
-
Hooman, Jozef, 128(1)127--157
-
Hooman, Jozef, see Schepers, Henk
-
Hooman:1992:CAS, 101(2)289--335
-
Hopf, 73(3)335--340
-
horn, 75(1)67--83, 75(1)z--z, 78(1)245--259, 82(2)329--339, 86(1)93--106,
86(1)z--z, 89(1)63--106, 95(1)43--74, 100(2)385--417, 101(1)35--57,
101(2)239--263, 116(2)405--413, 119(1)39--62, 120(1)1--44,
120(1)45--68, 122(1)69--96, 124(2)343--350, 129(1)95--121,
136(1)277--289
-
Horn, non-, 78(1)245--259, 78(1)z--z
-
Horn-clause, 76(1)3--51
-
Horspool, Boyer-Moore-, 92(1)19--31, 92(1)z--z
-
Horváth, Tamás, 122(1)97--117, see Martens, Bern
-
Horvert-representation, 99(2)213--230
-
Horwitz, S., 73(2)213--230
-
Horwitz:1990:ARQ, 73(2)213--230
-
Hosono, C., 127(1)1--23
-
Hosono:1994:FDD, 127(1)1--23
-
How, 90(2)369--390, 110(2)419--432
-
Howard, Curry-, 111(1)3--57, 135(1)5--9, 135(1)111--137
-
Howe, Sally E., 112(2)215--253
-
Howe, Sally E., see Bourgin, Richard D.
-
Howell, R. R., 80(1)77--104, 82(2)341--372
-
Howell, Rodney R., 118(1)3--20
-
Howell, Rodney R., see Baruah, Sanjoy K.
-
Howell:1991:GLV, 80(1)77--104
-
Howell:1991:TFT, 82(2)341--372
-
hp-, 123(2)315--327
-
hp-T, 123(2)315--327
-
Hromkovic, J., 97(2)285--300
-
Hromkovi{\v{c}}, Juraj, 108(2)393--400, 127(1)123--147, 127(2)395--402,
132(1)319--336
-
Hromkovic:1992:LBA, 97(2)285--300
-
Hromkovic:1993:NRO, 108(2)393--400
-
Hromkovic:1994:DVN, 132(1)319--336
-
Hromkovic:1994:NOG, 127(2)395--402
-
Hromkovic:1994:SHC, 127(1)123--147
-
Hsu, D. F., 100(1)223--241
-
Hsu, D. F., see Erdos, P.
-
H/sub, 94(2)175--197
-
Hu-Tucker, 93(2)279--301
-
Huang, Shou-Hsuan Stephen, 106(2)361--371
-
Huang:1992:SPA, 106(2)361--371
-
Huckenbeck, U., 88(2)231--251
-
Huckenbeck:1991:RAP, 88(2)231--251
-
Huet, Gérard, 121(1)145--167
-
Huet:1993:ABT, 121(1)145--167
-
Hühne, Martin, 113(1)75--91
-
Huhne:1993:PSQ, 113(1)75--91
-
hull, 103(1)107--135, 106(2)265--281
-
Hungarian, 134(2)473--491
-
Huou, M., 97(1)83--103
-
Huou, M., see Perraud, J.
-
Hurwitz, 83(2)261--273
-
Huth, Michael, 136(1)57--78
-
Huth, Michael, see Fiech, Adrian
-
Huttel, H., 74(2)239--248
-
Huttel:1990:SCM, 74(2)239--248
-
Huwig, H., 73(1)101--112
-
Huwig:1990:NIC, 73(1)101--112
-
Huy, Phan Trung, 98(2)321--337
-
Huy, Phan Trung, see Van, Do Long
-
Huynh, D. T., 96(2)305--324
-
Huynh, Dung T., 88(1)99--116, 123(2)183--197, 131(2)441--448
-
Huynh, Dung T., see Cho, Sang
-
Huynh:1992:NCR, 96(2)305--324
-
Huynh:1994:DBN, 123(2)183--197
-
Huynh:1994:NCD, 131(2)441--448
-
hybrid, 92(1)191--211, 108(2)291--310, 118(1)3--20, 119(2)355--361
-
hyperarcs, 72(2)97--117
-
hypercube, 130(1)49--72, 130(1)175--201
-
hyperdoctrines, 107(2)169--207
-
hyperedge, 78(1)217--244, 109(1)7--48, 109(1)49--82, 110(1)145--168,
126(1)53--75, 127(2)387--393
-
hyperedge-labelled, 82(2)177--214
-
hyperedge-replacement, 89(1)33--62, 109(1)83--122, 110(1)145--168
-
hypergraph, 72(2)97--117, 72(2)z--z, 78(1)217--244, 82(2)177--214,
85(2)253--281, 101(1)3--33, 103(2)165--190, 109(1)83--122,
109(1)123--143, 109(1)225--256, 112(2)355--369, 116(1)151--194,
132(1)209--227
-
hypermap, 85(2)253--281
-
hyperrecurrent, 121(1)441--448
-
hypertext, 133(2)307--340
-
\hyphenation{ Bai-er He-ma-chan-dra Ko-ba-ya-shi Kri-zanc Lett-mann Mal-u-szyn-ski Mar-chet-ti Mar-u-o-ka Och-man-ski Pal-a-mi-des-si Piet-rzy-kow-ski Pros-ku-row-ski Pu-ru-sho-tha-man Ros-en-krantz Spor-tel-li Sturt-i-vant Ta-ka-da Vau-zeilles Win-kow-ski Win-skel to-po-log-ique } # \ifx \undefined \ocirc \def \ocirc #1{{\accent'27#1}}\fi},
0(0)0--0
-
hypotheses, 71(1)79--93, 120(1)1--44, 127(2)351--386
-
hypothesis, 82(1)71--84, 120(1)1--44, 128(1)127--157
-
hypothetical, 76(1)3--51, 100(1)243--251, 133(2)267--306