Index file section H for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
H
-
H-resolution, 38(2)343--347
-
Habel, A., 51(1)81--115
-
Habel:1987:CGL, 51(1)81--115
-
Hagiya, Masami, 63(2)113--139
-
Hagiya:1989:GPP, 63(2)113--139
-
Hajek, P., 46(2)239--259
-
Hajek:1986:SDL, 46(2)239--259
-
Haken, A., 39(2)297--308
-
Haken:1985:IR, 39(2)297--308
-
half-space, 49(2)239--265
-
Hallnas, L., 53(2)335--343
-
Hallnas:1987:ICL, 53(2)335--343
-
halting, 44(1)111--121, 54(2)325--329
-
Hamiltonian, 41(2)141--167, 57(1)131--145, 61(2)121--136, 64(1)125--132
-
handling, 39(2)319--325, 40(2)101--130, 46(1)13--45, 46(2)261--284,
50(2)137--181, 50(3)323--349, 52(3)193--203, 54(2)315--324,
66(1)45--53, 66(2)137--155
-
Hankin, C., 56(1)17--36
-
Hankin:1988:SAP, 56(1)17--36
-
Hanoi, 53(1)151--167
-
Hansel, G., 43(1)91--98, 44(1)17--49, 65(2)171--188
-
Hansel, G., see Blanchard, F.
-
Hansel:1986:DSP, 43(1)91--98
-
Hansel:1989:RPM, 65(2)171--188
-
hard, 41(1)81--93, 61(2)103--119, 63(1)43--61
-
hard, NP-, 37(2)217--243, 47(1)85--93, 66(1)45--53
-
hard, p/-, 47(1)85--93
-
hard, PSPACE-, 35(1)1--15
-
hard-to-compute, 47(1)99--105
-
Hardin, T., 46(2)305--312
-
Hardin, Therese, 65(3)291--342
-
Hardin:1986:PTR, 46(2)305--312
-
Hardin:1989:CRP, 65(3)291--342
-
hardware, 47(2)111--120, 58(1)183--199, 65(1)35--83
-
hardware/time, 47(2)111--120
-
Harel, D., 38(2)307--322
-
Harel:1985:PLR, 38(2)307--322
-
Hartmanis, Juris, 58(1)129--142
-
Hartmanis:1988:CCM, 58(1)129--142
-
Hashiguchi, K., 46(1)53--66, 57(2)303--316
-
Hashiguchi:1986:NFG, 46(1)53--66
-
Hashiguchi:1988:NCR, 57(2)303--316
-
Hasse, 47(1)39--60, 61(2)175--198
-
Haussler, D., 40(1)31--55, 40(2)131--148, 49(2)113--119
-
Haussler, D., see Blumer, A., \see{Bucher, W.,
see Main, M. G.
-
have, 46(2)319--327, 64(1)97--105
-
having, 62(1)105--122
-
Hayashi, S., 41(1)95--104
-
Hayashi:1985:ASC, 41(1)95--104
-
hazards, 61(1)49--66
-
HDT0L, 47(1)71--84
-
He, Xin, 61(1)33--47
-
He:1988:NOP, 61(1)33--47
-
head, 63(2)203--221
-
Head, T., 35(2)295--312, 46(1)83--89, 48(1)101--108, 51(3)255--264
-
Head:1985:CPH, 35(2)295--312
-
Head:1986:PDL, 46(1)83--89
-
Head:1986:RSI, 48(1)101--108
-
Head:1987:BDL, 51(3)255--264
-
headed, k-, 47(3)237--246
-
Heering, J., 43(2)149--167
-
Heering:1986:PEO, 43(2)149--167
-
Heide, F., Meyer Auf Der, 41(2)325--330
-
Heide, Friedhelm, Meyer auf der, 58(1)57--68
-
Heintz, J., 47(1)99--105
-
Heintz:1986:PSG, 47(1)99--105
-
Helfrich, B., 41(2)125--139
-
Helfrich:1985:ACM, 41(2)125--139
-
Hellekalek, P., 65(2)189--196
-
Hellekalek:1989:WSS, 65(2)189--196
-
helping, 52(1)15--36
-
helping, self-, 52(1)15--36
-
Hemachandra, Lane A., 58(1)129--142
-
Hemachandra, Lane A., see Hartmanis, Juris
-
Hennessy, M., 49(2)121--143
-
Hennessy:1987:ATF, 49(2)121--143
-
Herbrand, 69(3)289--318
-
Herbrand-Kleene, 36(1)1--19
-
Hermite, 39(1)69--88, 41(2)125--139
-
Hernandez, Hector J., 62(1)67--104
-
Hernandez, Hector J., see Chan, Edward P. F.
-
Hesselink, Wim H., 59(3)211--234, 59(3)235--257
-
Hesselink:1988:DFM, 59(3)235--257
-
Hesselink:1988:IRU, 59(3)211--234
-
Hessenberg, 54(1)65--85
-
heuristic, 57(1)131--145, 66(2)181--203
-
hiding, 57(2)251--282
-
hierarchical, 38(2)269--291, 61(2)175--198, 62(0)3--233, 62(1)3--38,
69(1)69--115
-
hierarchy, 40(2)175--193, 43(1)107--115, 43(2)169--188, 47(1)39--60,
47(2)131--147, 48(1)109--115, 48(2)153--181, 49(1)1--12,
49(2)217--237, 51(1)53--80, 53(2)201--224, 54(1)87--102,
56(3)289--301, 58(1)175--181, 58(1)263--324, 61(2)175--198,
62(1)39--65, 65(3)271--290, 67(1)99--110, 68(1)113--119
-
high, 52(3)239--249, 54(1)3--28, 56(1)3--15, 60(2)177--229
-
high-level, 45(3)261--292
-
high-order, 42(2)123--249
-
higher, 37(3)245--267, 46(2)197--217, 55(1)47--85, 63(2)113--139
-
Higher-level, 37(3)245--267
-
higher-order, 56(3)277--288, 57(1)3--45, 63(2)113--139
-
Higman, 38(1)137--142
-
Hilbert, 44(3)333--339
-
Hilbertian, 47(1)99--105
-
Hindley, J. Roger, 64(1)97--105
-
Hindley:1989:BCL, 64(1)97--105
-
Hirokawa, S., 41(2)289--303, 56(2)223--231
-
Hirokawa, S., see Sekimoto, S.
-
Hirokawa:1985:CCR, 41(2)289--303
-
Hirose, S., 35(2)261--269, 36(1)109--112, 44(2)225--228
-
Hirose, S., see Okawa, S.
-
Hirose:1985:CSH, 36(1)109--112
-
Hirose:1985:HCR, 35(2)261--269
-
historical, 63(1)63--90
-
histories, 48(2)297--328, 63(1)63--90
-
hitting, 41(2)141--167
-
Hoa, Le Tuan, 46(2)219--237
-
Hoa, Le Tuan, see Dieu, Phan Dinh
-
Hoare, 36(1)127--137, 39(2)189--206, 58(1)347--359, 68(3)277--302
-
Hoare, C. A. R., 60(2)177--229
-
Hoare, C. A. R., see Roscoe, A. W.
-
Hoare, Floyd-, 66(3)299--321
-
Hodel, A. Scottedward, 59(3)259--276
-
Hodel:1988:ODE, 59(3)259--276
-
Hofer, G., 68(1)49--56
-
Hofer:1989:LIR, 68(1)49--56
-
Holenderski, L., 57(2)317--325
-
Holenderski, L., see Szalas, A.
-
homeomorphism, 38(2)249--267, 68(2)155--173
-
homeomorphs, 36(2)345--348
-
Homer, S., 47(2)169--180, 51(3)265--280
-
Homer:1986:SCS, 47(2)169--180
-
Homer:1987:HPD, 51(3)265--280
-
homogeneity, 56(2)155--186
-
homogeneous, 40(2)245--255
-
homomorphic, 35(2)261--269, 35(2)295--312, 36(1)109--112, 38(2)167--192,
44(2)225--228, 47(1)1--14, 48(2)183--199, 49(1)23--42,
55(2)183--263
-
homomorphism, 35(2)295--312, 36(1)109--112, 38(2)323--341,
40(2)301--314, 42(2)123--249, 44(1)17--49, 44(2)175--197,
50(2)103--135, 58(1)175--181, 61(1)1--16, 61(2)283--287,
62(3)235--249, 69(3)319--345
-
homothetical, 50(2)183--238
-
honest, 51(3)265--280
-
Hong, J. W., 47(3)323--328
-
Hong:1986:LBC, 47(3)323--328
-
Honkala, J., 66(3)341--347
-
Honkala:1989:NCR, 66(3)341--347
-
Hoogeboom, H. J., 48(2)201--228
-
Hoogeboom, H. J., see Ehrenfeucht, A.
-
Horn, 41(2)271--287, 44(2)127--153, 51(3)309--324, 54(1)3--28,
62(1)187--220, 63(3)253--274, 68(1)113--119, 68(2)135--154,
68(2)203--220
-
Hortala-Gonzalez, M. T., 68(3)277--302
-
Hortala-Gonzalez:1989:HLN, 68(3)277--302
-
Hotz, 39(1)3--13
-
Howell, R. R., 46(2)107--140
-
Howell, Rodney R., 64(3)305--329
-
Howell:1986:SCB, 46(2)107--140
-
Howell:1989:PCF, 64(3)305--329
-
Hromkovic, J., 48(1)109--115, 51(3)325--330, 57(1)97--111
-
Hromkovic, Juraj, 63(2)203--221, 67(1)99--110
-
Hromkovic, Juraj, see Inoue, Katsushi
-
Hromkovic:1986:CCH, 48(1)109--115
-
Hromkovic:1987:RBN, 51(3)325--330
-
Hromkovic:1988:ANA, 57(1)97--111
-
Hromkovic:1989:TLR, 63(2)203--221
-
Hsiang, Jieh, 54(1)3--28
-
Hsiang:1987:AIT, 54(1)3--28
-
Huang, Chua-Huang, 46(2)261--284
-
Huang, Ming-Deh A., 40(2)195--210
-
Huang:1985:IFS, 40(2)195--210
-
Huang:1986:APT, 46(2)261--284
-
Huber, P., 45(3)261--292
-
Huber:1986:RTH, 45(3)261--292
-
Huckenbeck, U., 68(1)71--87
-
Huckenbeck:1989:EGT, 68(1)71--87
-
Huet, G., 43(2)189--200
-
Huet, G., see Fages, F.
-
hull, 35(1)55--69
-
Hull, R., 39(2)239--265, 62(1)3--38
-
Hull, R., see Abiteboul, Serge
-
Hull:1985:NFS, 39(2)239--265
-
Hung, Dang Van, 64(1)67--81
-
Hung:1989:SCP, 64(1)67--81
-
Hunt, III, H. B., 38(2)323--341
-
Hunt, III, H. B., see Rosenkrantz, D. J.
-
Huwig, H., 51(1)177--204
-
Huwig, H., see Ambos-Spies, K.
-
Huynh, Dung T., 46(2)107--140
-
Huynh, Dung T., see Howell, R. R.
-
hypergraph, 38(2)343--347
-
\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 }},
0(0)0--0
-
hypothesis, 52(1)77--89