Index file section H for jautomreason.bib

Last update: Thu Sep 19 02:00:59 MDT 2024

Return to index directory

H

Haarslev, Volker, 41(2)99--142
Haarslev:2008:SDL, 41(2)99--142
hacker, 1(4)435--440
Hagiwara, Manabu, 53(1)63--103
Hagiwara, Manabu, see Affeldt, Reynald
Hähnle, Reiner, 13(2)211--221, 18(1)47--83, 45(4)327--329, 47(4)337--339, 68(2)z--99999999, see Beckert, Bernhard, see Giesl, Jürgen, see Ramesh, Anavai, see Steinhöfel, Dominic
Hahnle:1994:LRF, 13(2)211--221
Hai, Lin, 31(1)11--21, 32(2)93--102
Hai:2003:TPB, 31(1)11--21
Hai:2004:KCU, 32(2)93--102
Hajdu, Ákos, 64(6)1051--1091
Hajdu:2020:ESC, 64(6)1051--1091
Halaschek-Wiener, Christian, 44(4)337--369
Halaschek-Wiener, Christian, see Grau, Bernardo Cuenca
Hall, Robert J., 8(3)367--394
Hall:1992:CPS, 8(3)367--394
Halmagrand, Pierre, 64(6)1001--1050
Halmagrand, Pierre, see Burel, Guillaume
Hamid, Nadeem A., 31(3)191--229
Hamid:2003:SAF, 31(3)191--229
Hammer, 61(1)423--453
Hammond, Kevin, 59(1)87--120
Hammond, Kevin, see Jost, Steffen
Handbook, 49(1)107--109
handle, 2(1)75--88
Handling, 38(1)127--153, 65(8)1097--1124
Hanrot, Guillaume, 54(1)1--29
Hanrot, Guillaume, see Martin-Dorel, Érik
hard, 7(4)635--637
Hard, NP-, 55(3)295--306
Hardest-to-Round, 54(1)1--29
Hardin, Thérèse, 31(1)33--72, see Dowek, Gilles
Hardness, 60(4)385--419
Hardt, M., Gross-, 32(3)259--286
hardware, 5(2)127--139, 24(1)5--36, 42(2)301--347
Harmelen, Frank van, 7(3)303--324, 39(3)317--349
Harmelen, Frank van, see Bundy, Alan, see Schlobach, Stefan
Harmful, 18(3)337--356
HARP, 4(1)69--100
Harris, Kenneth, 27(2)141--156, 29(1)1--16
Harris, Kenneth, see McCune, William
Harris:2001:DOS, 27(2)141--156
Harrison, 49(1)107--109
Harrison, John, 21(3)279--294, 43(3)243--261, 50(2)173--190, 55(3)223--243
Harrison:1998:SAC, 21(3)279--294
Harrison:2009:FAP, 43(3)243--261
Harrison:2013:HLT, 50(2)173--190
Harrison:2015:FPH, 55(3)223--243
Harrop, 11(1)115--145
Hart, Joan, 14(3)383--412
Hart:1995:SAO, 14(3)383--412
Hartmanns, Arnd, 64(7)1483--1522
Hartmanns:2020:MCB, 64(7)1483--1522
Hartog, Jerry den, 46(3)223--224
Hartog, Jerry den, see Bauer, Lujo
has, 17(1)131--143
Hasan, Osman, 41(3)295--323, 42(1)1--33, 53(4)407--429, 60(1)85--105
Hasan, Osman, see Sardar, Muhammad Usama, see Siddique, Umair
Hasan:2008:UTP, 41(3)295--323
Hasan:2009:PAF, 42(1)1--33
Haselwarter, Philipp G., 67(4)z--99999999
Haselwarter:2023:FTT, 67(4)z--99999999
Hash-consed, 53(3)271--304
hashing, 2(1)75--88
Hasker, Robert W., 16(1)3--37
Hasker, Robert W., see Bronsard, François
Haslbeck, Max W., 64(5)827--856, 64(5)879--910
Haslbeck, Max W., see Eberl, Manuel, see Thiemann, René
Haslbeck, Maximilian, 61(1)191--242
Haslbeck, Maximilian, see Diekmann, Cornelius
Havens, William S., 17(3)371--403
Havens, William S., see Sidebottom, Gregory
Havlena, Vojt{\v{e}}ch, 65(7)971--999
Havlena:2021:ATL, 65(7)971--999
He, Fei, 52(4)379--405
He, Fei, see Zhou, Min
He, Lifeng, 27(3)313--322
He, Shaobo, 60(1)23--42
He, Yijun, 65(5)691--709
He, Yijun, see Bordg, Anthony
He:2001:SIS, 27(3)313--322
He:2018:VRS, 60(1)23--42
Heap-Bounded, 31(3)261--302
heat, 17(1)23--81
Heath, Quentin, 63(4)857--885
Heath:2019:PTM, 63(4)857--885
Heavy-Tailed, 24(1)67--100
Hebrard, Jean-Jacques, 6(1)1--38
Hebrard, Jean-Jacques, see Auffray, Yves
Hedberg, Michael, 16(3)369--425
Hedberg:1996:TTI, 16(3)369--425
Hedges, 52(2)155--190
HeerHugo, 24(1)101--125
Heine--Borel, 20(3)255--282
Heinle, Albert, 58(3)313--339
Heinle, Albert, see Zulkoski, Edward
Heintze, Nevin, 9(2)231--260
Heintze:1992:CMR, 9(2)231--260
Helman, Paul, 4(1)29--68
Helman:1988:DDD, 4(1)29--68
Help, 32(1)75--92
Hendriks, Dimitri, 29(3)253--275, 29(3)277--307, 40(1)61--85
Hendriks, Dimitri, see Bezem, Marc
Hendriks, Lex, 7(4)537--561
Hendriks, Lex, see De Jongh, Dick
Hendriks:2002:PRC, 29(3)277--307
Hennessy, Matthew, 31(3)335--370
Hennessy, Matthew, see Riely, James
Henocque, Laurent, 36(3)177--212
Henocque, Laurent, see Audemard, Gilles
Henschen, L. J., 1(1)5--48
Henschen, L. J., see Wos, L.
Henschen, Lawrence, 1(3)231--261
Henschen, Lawrence, see McCune, William
Henschen, Lawrence J., 1(2)141--160, 10(3)345--370
Henschen, Lawrence J., see Lu, James J., see Yahya, Adnan
Hensel, Jera, 58(1)3--31, 58(1)33--65, 59(1)121--163
Hensel, Jera, see Frohn, Florian, see Giesl, Jürgen, see Ströder, Thomas
Herbrand, 10(2)237--263, 31(2)169--187
Hereditarily, 52(1)1--29
hereditary, 11(1)115--145
Hermann, Miki, 23(2)107--136
Hermann:1999:CCS, 23(2)107--136
Hermant, Olivier, 44(3)245--276, 64(6)1001--1050
Hermant, Olivier, see Burel, Guillaume
Hermant:2010:RCF, 44(3)245--276
Hermes, Marc, 67(1)z--99999999
Hermes, Marc, see Kirst, Dominik
HermiT, 53(3)245--269
Hermo, Montserrat, 50(1)1--49
Hermo, Montserrat, see Gaintzarain, Jose
Hernando, Antonio, 46(2)205--221
Hernando:2011:PML, 46(2)205--221
Herold, Alexander, 3(3)247--283, 4(4)465--474
Herold, Alexander, see Bürckert, Hans-Jürgen
Herold:1987:UAS, 3(3)247--283
Heskes, Tom, 52(2)191--213
Heskes, Tom, see Alama, Jesse
Hesketh, Jane, 7(3)303--324
Hesketh, Jane, see Bundy, Alan
Hessenberg, 40(1)61--85
Hetzl, Stefan, 63(1)95--126
Hetzl, Stefan, see Ebner, Gabriel
Heuerding, Alain, 24(3)297--317
Heuerding, Alain, see Balsiger, Peter
Heule, Marijn, 66(3)277--300
Heule, Marijn, see Brakensiek, Joshua
Heule, Marijn J. H., 49(4)583--619, 58(1)97--125, 64(3)533--554, 64(7)1247--1267, 67(2)z--99999999, 67(3)z--99999999
Heule, Marijn J. H., see Järvisalo, Matti, see Kiesl, Benjamin, see Reeves, Joseph E., \see{Yolcu, Emre
Heule:2017:SVE, 58(1)97--125
Heule:2020:SEF, 64(3)533--554
Heuristic, 56(3)367--386
Heuristic-Based, 35(1)3--24
Hidalgo, María José, 47(3)229--250, see Martín-Mateos, Francisco Jesús
Hidalgo, María-José, 32(4)z--99999999, 37(1)67--92, see Martín-Mateos, Francisco-Jesús, see Ruiz-Reina, José-Luis
Hidalgo, Marta R., 52(1)99--122
Hidalgo-Doblado, M. J., 52(3)331--360
Hidalgo-Doblado:2014:FVT, 52(3)331--360
Hidalgo:2014:RPC, 52(1)99--122
Hierarchical, 3(1)35--77, 25(4)247--289
Hierarchies, 64(1)135--165
hierarchy, 7(3)369--381
High, 36(4)379--410
High-Performance, 18(2)265--270
high-performance, 8(1)23--38, 8(2)183--212, 12(2)139--156
Higher, 47(1)57--105, 54(3)199--284
Higher--Order, 66(4)1065--1095, 66(4)1097--1097
Higher-Order, 25(2)123--164, 34(2)179--207, 37(1)117--152, 40(1)35--60, 47(4)369--398, 47(4)451--479, 51(1)57--77, 55(4)307--372, 55(4)389--404, 56(3)221--259, 58(2)293--310, 62(2)237--260, 63(2)439--462, 63(4)941--966, 64(7)1393--1418, 65(3)425--460, 65(6)775--807, 66(4)541--564, 67(1)z--99999999, 67(2)z--99999999
higher-order, 5(3)257--291, 11(1)43--81, 44(4)303--336, 49(2)209--239
Higman, 47(3)229--250
Hilbert, 9(2)169--178, 29(1)67--89
Hillebrand, Mark A., 42(2)389--454
Hillebrand, Mark A., see Alkassar, Eyad
Hillenbrand, Thomas, 18(2)265--270
Hillenbrand:1997:WHP, 18(2)265--270
Hines, Larry, 18(1)1--4
Hines, Larry M., 8(1)45--75
Hines:1992:CPD, 8(1)45--75
Hines:1997:TWB, 18(1)1--4
Hintikka, Jaakko, 4(1)1--13
Hintikka:1988:MMA, 4(1)1--13
hints, 16(3)223--239
Hirokawa, Nao, 43(2)173--201, 47(4)481--501, 50(3)279--315
Hirokawa, Nao, see Zankl, Harald
Hirokawa:2011:DDR, 47(4)481--501
Hirokawa:2013:UTC, 50(3)279--315
Hirsch, Edward A., 24(1)127--143, 24(4)397--420, 35(1)51--72
Hirsch, Edward A., see Alekhnovich, Michael
Hirsch:2000:NWC, 24(4)397--420
Hirsch:2000:SLS, 24(1)127--143
Hirschowitz, André, 49(3)409--426
Hirschowitz:2012:NAS, 49(3)409--426
Historical, 66(4)463--497
history, 7(3)301--302
HL, 53(3)305--315
HO, 65(1)75--124
Ho, Son, 64(7)1287--1306
Ho, Son, see Abrahamsson, Oskar
Hoare, Floyd-, 5(4)533--540
Hodgson, Kahlil, 20(3)283--316
Hodgson:1998:SSA, 20(3)283--316
Hoenicke, Jochen, 57(1)67--95
Hoenicke, Jochen, see Christ, Jürgen
Hofbauer, Dieter, 34(4)365--385
Hofbauer, Dieter, see Geser, Alfons
Hoffmann, Jan, 59(1)1--2
Hoffmann, Jan, see Giesl, Jürgen
Höfner, Peter, 56(3)309--341, see Bourke, Timothy
Hohenwarter, Markus, 55(1)39--59
Hohenwarter, Markus, see Botana, Francisco
HOL, 21(3)279--294, 23(3)299--318, 39(2)181--218, 40(4)327--356, 41(3)219--249, 42(1)1--33, 43(3)289--304, 49(3)303--326, 50(2)173--190, 52(4)361--378, 53(4)407--429, 56(3)205--219, 57(3)219--244, 58(4)483--508, 58(4)509--535, 59(3)345--387, 60(2)237--254, 62(1)69--91, 62(2)261--280, 62(4)481--503, 62(4)531--555, 63(3)763--786, 63(3)787--808, 64(1)53--72, 64(2)331--360, 64(3)363--389, 64(4)737--765, 64(5)827--856, 64(7)1287--1306, 65(1)1--29, 65(4)569--598, 65(5)691--709, 66(1)141--171, 66(4)953--988, 67(1)z--99999999, 67(3)z--99999999, 68(1)z--99999999, 68(2)z--99999999, 68(3)z--99999999
HOL-Boogie, 44(1)z--z
HOL4, 47(1)1--16
Holden, Sean B., 53(2)141--172
Holden, Sean B., see Bridge, James P.
holds, 10(1)79--93
Holík, Luká{\v{s}}, 65(7)971--999, see Havlena, Vojt{\v{e}}ch
Hölldobler, Steffen, 5(3)309--337, see Furbach, Ulrich
Hollunder, Bernhard, 14(1)149--180, 15(1)41--68
Hollunder, Bernhard, see Baader, Franz
Holmes, M. Randall, 26(4)357--408
Holmes:2001:WTP, 26(4)357--408
Holub, {\v{S}}t{\v{e}}p{\'a}n, 67(3)z--99999999
Holub:2023:BCD, 67(3)z--99999999
Hölzl, Johannes, 59(3)345--387, 59(4)389--423, see Avigad, Jeremy
Holzl:2017:MCM, 59(3)345--387
Homogeneous, 64(4)677--688
Homomorphic, 48(2)135--158
Homotopy, 63(2)157--158, 63(2)255--284
Honavar, Vasant, 49(4)551--582
Honavar, Vasant, see Tao, Jia
Hong, Hoon, 21(1)23--38
Hong, Robert, 1(1)5--48
Hong, Robert, see Wos, L.
Hong, Tzung-Pei, 18(1)5--24
Hong, Tzung-Pei, see Hou, Rong-Huei
Hong:1998:TPP, 21(1)23--38
Hongbo, Li, 21(1)1--21
Hongbo:1998:CAR, 21(1)1--21
Honor, 20(3)255--282
honour, 29(3)183--188
Honsell, Furio, 9(3)309--354
Honsell, Furio, see Avron, Arnon
Hooker, J. N., 15(3)359--383, 28(4)371--396
Hooker:1995:BRS, 15(3)359--383
Hooker:2002:PIM, 28(4)371--396
Hoos, Holger H., 24(4)421--481
Hoos:2000:LSA, 24(4)421--481
Hoque, Khaza Anuarul, 60(1)85--105
Hoque, Khaza Anuarul, see Sardar, Muhammad Usama
Horn, 2(2)155--170, 5(3)309--337, 11(2)269--288, 16(3)241--319, 46(3)325--352, 66(2)239--274
Horn, Near-, 7(1)1--26
horn, Non-, 1(1)103--114
Horn, Non-, 4(3)287--325
Horn, non-, 1(2)141--160, 8(2)153--181
Horn-like, 13(3)391--407
Horrocks, Ian, 28(2)173--204, 39(3)249--276, 39(3)277--316, 47(4)427--450, 53(3)245--269
Horrocks, Ian, see Glimm, Birte, see Magka, Despoina, \see{Tsarkov, Dmitry
Horrocks:2002:EOD, 28(2)173--204
Horrocks:2007:TDP, 39(3)249--276
Horsfall, Ben, 54(3)199--284
Horsfall, Ben, see Reus, Bernhard
Horton, J. D., 25(1)1--34
Horton, J. D., see Spencer, Bruce
Horty, John, 11(2)249--267
Horty, John, see Grant, John
Hörwein, K., 19(2)173--203
Horwein:1997:SRP, 19(2)173--203
Hot, 22(1)1--44
Hou, Ping, 65(2)321--356
Hou, Ping, see Popescu, Andrei
Hou, Rong-Huei, 18(1)5--24
Hóu, Zhé, 65(4)569--598
Hou:1997:NPI, 18(1)5--24
Hou:2021:IHF, 65(4)569--598
How, 3(4)343--377, 9(1)77--97
Hsiang, Jieh, 6(1)79--109, 12(2)225--240, 13(1)1--33
Hsiang, Jieh, see Anantharaman, Siva, see Bonacina, Maria Paola
Huang, Cheng-Chao, 64(1)1--20
Huang, Guoxiang, 20(3)215--253
Huang, Zhisheng, 39(3)317--349
Huang, Zhisheng, see Schlobach, Stefan
Huang:1998:SSS, 20(3)215--253
Huang:2020:CDS, 64(1)1--20
Huber, Simon, 63(2)159--171, 63(2)173--210
Huber, Simon, see Bezem, Marc
Huber:2019:CCT, 63(2)173--210
Hudek, Alexander, 53(3)215--243
Hudek, Alexander, see Wu, Jiewen
Huerta y Munive, Jonathan Julián, 66(1)93--139
HuertayMunive:2022:PTS, 66(1)93--139
Huet, Knuth-Bendix-, 45(3)301--325
Huffman, 43(1)1--18
Huisman, Marieke, 64(7)1331--1332
Huisman, Marieke, see Beyer, Dirk
Human, 64(4)677--688
Human-Centered, 65(8)1153--1190
Human-Style, 58(2)253--291
Hunt, Jr., Warren A., 5(4)411--428, 5(4)429--460
Hunt, Jr., Warren A., see Bevier, William R.
{Hunt, Jr.}., Warren A., 40(4)245--269, see Ray, Sandip
Hunt:1989:MDV, 5(4)429--460
Hupel, Lars, 61(1)191--242
Hupel, Lars, see Diekmann, Cornelius
Hur, Chung-Kil, 49(2)141--159
Hur, Chung-Kil, see Benton, Nick
Hurd, Joe, 43(3)237--242
Hurd, Joe, see Boulton, Richard
Hustadt, U., 34(3)295--321
Hustadt, U., see Fernández-Gago, M. C.
Hustadt, Ullrich, 28(2)205--232, 39(3)351--384, 64(3)461--484, 64(8)1553--1610, 66(4)639--666, 66(4)1099--1099
Hustadt, Ullrich, see Nalon, Cláudia, see Papacchini, Fabio
Hustadt:2002:URT, 28(2)205--232
Hustadt:2007:RDL, 39(3)351--384
Hustadt:2020:TPP, 64(8)1553--1610
Hüttel, Hans, 36(1)125--147
Huttel:2006:DIE, 36(1)125--147
Hutter, 35(4)429--431
Hutter, Dieter, 18(3)399--442, 25(2)123--164
Hutter, Frank, 65(6)727--773
Hutter, Frank, see Vallati, Mauro
Hutter:1997:CTC, 18(3)399--442
Hutter:2000:MSI, 25(2)123--164
Huuck, Ralf, 42(2)123--124
Huuck, Ralf, see Klein, Gerwin
Hybrid, 41(2)143--189, 46(1)1--42, 48(1)43--105, 51(2)197--239, 52(4)407--450, 55(2)185--185, 63(4)1005--1029, 64(1)21--52, 66(1)93--139, 66(1)173--173
Hyper, 29(1)17--57
Hyper-Linking, 18(2)177--182, 25(3)167--217
hyper-linking, 9(1)25--42
Hyper-Linking-Based, 26(1)67--106
Hyper-Resolution, 57(1)3--36
Hyperbase, 24(3)365--370
Hyperbolic, 65(1)31--73
Hypergeometric, 55(3)223--243
Hyperidentities, 24(3)365--370
hyperlinking-based, 12(3)359--388
Hypermaps, 43(1)19--51
hyperparamodulation, 12(2)265--271, 12(3)407--409
hyperresolution, 4(2)215--217, 12(1)133--134, 25(1)35--82, 35(4)391--427
Hypersequent, 67(3)z--99999999