Index file section H for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
H
-
H, 18(1)2--2
-
H.2.4, 1(2)208--246
-
H.2.5, 1(2)208--246
-
Haan, Ronald, De, 18(3)21--21
-
Haase, Christoph, 18(3)24--24
-
Haase, Christoph, see Blondin, Michael
-
had, 9(1)7--7, 18(2)9--9
-
Hadamard, 9(1)2--2
-
Haddad, Axel, 15(3)24--24, 16(4)36--36
-
Haddad, Axel, see Carayol, Arnaud
-
Haddad, Serge, 18(3)24--24
-
Haddad, Serge, see Blondin, Michael
-
Haesevoets, Sofie, 9(2)13--13
-
Haesevoets, Sofie, see Geerts, Floris
-
Haeusler, Edward Hermann, 22(2)9--9
-
Haeusler, Edward Hermann, see Lopes, Bruno
-
Hague, Matthew, 18(3)25--25, 22(3)16--16
-
Hague, Matthew, see Broadbent, Christopher H.
-
Hague:2017:CPA, 18(3)25--25
-
Hájek, 9(3)21--21
-
Hájek, 9(3)21--21
-
Halamish, Shulamit, 16(1)1--1
-
Halamish:2015:MDL, 16(1)1--1
-
half, 8(3)14--14
-
Halpern, 1(2)247--284, 9(3)20--20, 20(1)4--4, 24(3)24--24
-
Halpern, Joseph Y., 1(2)175--207, 4(3)295--295, 9(3)20--20, 11(4)29--29
-
Halpern, Joseph Y., see Chockler, Hana,
see Friedman, Nir, \see{Gr{\"a}del, Erich
-
Halpern--Shoham, 18(3)22--22
-
Halpern-Shoham, 18(3)22--22
-
halting, 13(3)26--26, 18(3)18--18
-
Hamano, Masahiro, 19(4)25--25
-
Hamano:2018:GIM, 19(4)25--25
-
hampered, 15(4)30--30
-
Hampson, Christopher, 16(3)27--27
-
Hampson:2015:UPB, 16(3)27--27
-
hand, 2(2)255--287, 8(3)17--17, 9(4)27--27, 13(2)12--12, 13(3)19--19,
13(4)31--31, 16(2)13--13, 19(1)1--1, 19(2)15--15, 20(2)10--10,
20(3)18--18
-
hand, left-, 18(2)17--17
-
hand, right-, 18(2)17--17
-
hand-side, right-, 9(3)22--22
-
Handjopoulos, Konstantinos, 14(3)21--21
-
Handjopoulos, Konstantinos, see Charalambidis, Angelos
-
handle, 10(1)3--3, 14(3)24--24, 16(2)12--12, 16(4)31--31, 17(2)13--13,
17(4)23--23, 18(2)14--14, 18(4)31--31, 19(2)13--13, 19(4)27--27,
21(1)5--5
-
handling, 10(2)11--11, 13(1)6--6, 14(1)1--1, 14(2)11--11, 14(4)29--29,
15(1)5--5, 15(2)11--11, 19(3)22--22
-
handshaking, 10(1)6--6
-
Hanf, 2(1)135--153, 8(4)21--21
-
Hanf-local, 2(1)135--153
-
Hanf-locality, 2(1)135--153
-
Hannula, Miika, 19(1)2--2, 19(3)16--16
-
Hannula:2018:CPL, 19(1)2--2
-
Hannula:2018:HIL, 19(3)16--16
-
Hansen, Helle H., 15(1)3--3
-
Hansen, Helle H., see Bonchi, Filippo
-
Hanssen, Bj{\o}rn, Kjos-, 13(3)24--24
-
happen, 14(2)9--9
-
Happen-in-Parallel, May-, 17(2)11--11
-
happen-in-parallel, may-, 17(2)11--11
-
hard, 12(2)12--12, 12(4)27--27, 13(3)26--26, 15(4)35--35, 16(1)7--7,
17(4)30--30, 19(3)22--22, 20(1)1--1, 21(3)17--17, 21(4)29--29
-
hard, coNP-, 16(1)7--7
-
hard, NEXPTIME-, 22(4)24--24
-
hard, NonElementary-, 15(4)34--34
-
hard, NP-, 12(2)13--13, 14(1)3--3, 17(2)10--10, 17(3)22--22
-
hard, ower-, 16(3)20--20
-
hard, PSPACE-, 13(2)15--15, 22(4)24--24
-
hard, W[1]-, 14(3)18--18, 18(1)1--1
-
hard-easy, easy-, 17(3)22--22
-
hard/easy, 11(4)22--22
-
harder, 14(2)13--13, 15(4)34--34, 16(1)7--7, 17(1)7--7, 19(4)24--24,
19(4)25--25
-
hardness, 1(1)171--174, 14(4)30--30, 17(4)26--26, 24(2)10--10
-
hardness, A[2]-, 18(3)21--21
-
hardness, coNP-, 20(2)8--8
-
hardness, NEXP-, 16(1)9--9
-
hardware, 2(1)93--134, 9(1)4--4, 11(3)16--16, 19(4)28--28
-
Haret, Adrian, 18(1)6--6
-
Haret:2017:MHF, 18(1)6--6
-
Harland, James, 4(1)56--90
-
Harland:2003:RDB, 4(1)56--90
-
Harmer, Russell S., 3(3)359--382
-
Harmer, Russell S., see Danos, Vincent
-
Harper, 12(2)15--15, 13(4)30--30
-
Harper, Robert, 6(1)61--101, 7(4)676--722
-
Harper, Robert, see Stone, Christopher A.
-
Harper:2005:ECF, 6(1)61--101
-
Harrenstein, Paul, 22(2)8--8
-
Harrenstein, Paul, see Gutierrez, Julian
-
Harrington's, Paris-, 17(4)26--26
-
Harrington, Paris-, 17(4)26--26
-
Harsha, Prahladh, 11(3)19--19
-
Harsha, Prahladh, see Ben-Sasson, Eli
-
Hartmann, Ian, Pratt-, 14(2)13--13
-
Harwath, Frederik, 18(4)33--33
-
Harwath, Frederik, see Eickmeyer, Kord
-
hash-tables, 15(4)31--31
-
having, 9(2)9--9, 13(2)15--15, 14(2)13--13, 15(1)9--9, 15(2)16--16,
15(4)34--34, 16(2)10--10, 16(3)27--27, 17(2)14--14, 17(4)32--32,
18(2)16--16, 18(4)29--29, 20(2)10--10, 24(3)25--25
-
Havlicek, John, 15(2)13--13
-
Havlicek, John, see Eisner, Cindy
-
Hayes, Ian J., 17(3)15--15
-
Hayes, Ian J., see Dongol, Brijesh
-
Hayrapetyan, Ara, 6(1)102--123
-
Hayrapetyan, Ara, see Verma, Rakesh
-
head, 2(3)289--339, 13(1)6--6, 14(1)1--1, 14(4)28--28, 15(2)15--15
-
head-normalisation, 19(1)3--3
-
heap, 8(1)z--99999999, 15(4)33--33, 17(2)12--12
-
heap-based, 15(4)33--33
-
heart, 15(4)27--27
-
height, 9(3)18--18, 12(4)26--26, 15(1)6--6, 18(2)17--17
-
Hella, Lauri, 21(1)7--7
-
Hella:2020:SMI, 21(1)7--7
-
Hellman, Diffie-, 9(4)24--24, 21(1)2--2
-
help, 2(3)340--387, 9(1)7--7, 11(3)16--16, 11(4)24--24, 13(1)2--2,
14(3)18--18, 18(2)8--8
-
helping, 17(2)9--9
-
Hemaspaandra, 17(1)2--2
-
hence, 2(2)155--181, 8(4)23--23, 10(3)22--22, 13(4)34--34, 14(2)9--9,
14(2)14--14, 14(4)34--34, 15(4)30--30, 16(3)20--20, 17(1)7--7,
18(3)25--25, 19(3)23--23, 19(4)25--25
-
Hence,despite, 2(3)340--387
-
Hennessy--Milner, 15(2)14--14, 16(1)2--2
-
Hennie, 2(2)216--254
-
Henriques, D., 16(1)4--4
-
Henriques, D., see Biscaia, M.
-
Hentenryck, Pascal, Van, 5(2)351--383
-
Hentenryck, Pascal van, 1(2)285--320
-
Henzinger, 15(4)34--34
-
Henzinger, Thomas A., 6(1)1--32, 11(1)1--1, 11(4)23--23, 12(4)28--28,
15(4)27--27, 18(2)12--12, 18(4)31--31
-
Henzinger, Thomas A., see Boker, Udi,
see Chatterjee, Krishnendu,
see Daca, Przemyslaw
-
Henzinger:2005:CST, 6(1)1--32
-
Heras, Jónathan, 14(4)26--26, 15(3)23--23,
see Poza, María
-
Heras:2013:CPH, 14(4)26--26
-
Herbrand, 13(2)15--15, 14(1)5--5, 14(3)21--21
-
Herbrand, non-, 18(2)9--9
-
Herbreteau, Frédéric, 21(3)17--17
-
Herbreteau:2020:WLT, 21(3)17--17
-
Hercules, 17(3)16--16
-
here, 2(1)1--11, 8(3)15--15, 8(3)16--16, 8(4)21--21, 9(1)7--7,
11(4)22--22, 12(2)9--9, 12(4)27--27, 13(2)11--11, 13(2)16--16,
14(2)8--8, 14(2)16--16, 14(3)17--17, 14(4)29--29, 15(1)10--10,
15(2)14--14, 15(4)28--28, 15(4)34--34, 16(1)2--2, 16(3)21--21,
16(3)27--27, 16(4)31--31, 17(2)8--8, 17(2)14--14, 17(3)22--22,
18(2)10--10, 18(4)29--29, 19(2)12--12, 20(1)2--2, 20(4)24--24,
20(4)25--25, 21(1)2--2, 21(2)15--15, 21(3)22--22, 24(2)17--17
-
hereby, 16(1)9--9, 18(1)6--6
-
hereditarily, 19(2)7--7
-
herein, 17(2)12--12
-
Herlihy, 15(4)31--31
-
Hermanns, 16(1)2--2
-
Hernich, André, 21(3)20--20
-
Hernich:2020:DOM, 21(3)20--20
-
Hertling, Peter, 22(4)24--24
-
Hertling:2021:ECL, 22(4)24--24
-
Herzig, Andreas, 14(3)24--24
-
Herzig:2013:PUO, 14(3)24--24
-
Hesselink, Wim H., 6(1)175--201
-
Hesselink:2005:EVP, 6(1)175--201
-
heterogeneity, 10(1)1--1
-
heterogeneous, 1(2)208--246, 2(2)155--181, 7(1)151--198, 21(3)25--25
-
Hetzl, Stefan, 18(4)26--26
-
Hetzl, Stefan, see Eberhard, Sebastian
-
Heule, Marijn J. H., 16(3)24--24, 24(1)7--7, 24(4)31--31
-
Heule, Marijn J. H., see Bryant, Randal E.,
see Vukmirovi{\'c}, Petar
-
Heule:2015:SAC, 16(3)24--24
-
heuristic, 10(4)27--27, 14(2)10--10, 14(2)12--12, 16(2)16--16,
18(3)24--24, 20(3)15--15
-
Heuvel, Jan van den, 21(2)11--11
-
Heuvel, Jan van den, see Eickmeyer, Kord
-
Heymans, Stijn, 9(4)26--26
-
Heymans:2008:OAS, 9(4)26--26
-
Heyting, 20(4)24--24, 21(1)4--4
-
hide, 16(1)3--3
-
hierarchical, 23(4)27--27
-
hierarchy, 2(1)135--153, 9(4)25--25, 10(1)7--7, 11(4)22--22, 13(2)17--17,
13(3)24--24, 13(4)31--31, 13(4)33--33, 14(2)8--8, 14(3)19--19,
14(4)31--31, 15(4)26--26, 16(2)17--17, 16(2)18--18, 16(3)21--21,
16(3)26--26, 17(1)7--7, 17(4)24--24, 18(4)29--29, 18(4)30--30,
19(2)14--14, 19(3)16--16, 24(2)10--10
-
Hierons, Robert M., 13(2)15--15, 21(3)24--24, 24(2)17--17
-
Hierons, Robert M., see Baxter, James,
see Cavalcanti, Ana,
see Danicic, Sebastian
-
high, 1(1)131--161, 8(4)20--20, 14(4)28--28, 16(2)18--18, 17(4)24--24,
18(2)12--12, 20(2)12--12, 24(3)25--25
-
high-level, 1(2)285--320
-
higher, 2(3)340--387, 5(2)332--350, 16(2)18--18, 17(3)16--16,
17(4)29--29, 20(1)5--5, 20(2)12--12
-
Higher-Order, 13(2)10--10, 14(2)8--8, 14(3)21--21, 16(2)13--13,
20(1)5--5
-
higher-order, 1(1)3--32, 3(1)80--136, 4(4)493--529, 9(2)8--8, 10(2)8--8,
10(4)26--26, 11(1)6--6, 13(2)10--10, 13(3)20--20, 14(2)8--8,
14(3)21--21, 14(4)32--32, 16(2)13--13, 16(3)26--26, 18(1)4--4,
18(3)25--25, 20(1)5--5, 22(2)12--12, 23(4)25--25
-
highlight, 12(1)5--5, 14(1)1--1, 19(2)15--15
-
highly, 8(3)14--14, 13(3)26--26, 13(4)32--32, 15(3)18--18, 16(3)27--27,
18(3)24--24, 24(3)25--25
-
Higman, 17(3)16--16
-
Hilbert, 15(3)22--22, 16(1)5--5
-
hinder, 9(3)19--19
-
hindering, 20(2)12--12
-
Hindley-Milner, 21(2)13--13
-
Hirsch, Colin, 3(3)418--463
-
Hirsch, Colin, see Grädel, Erich
-
histories, 20(2)10--10
-
history-dependent, 9(1)5--5
-
history-preserving, 21(4)34--34
-
Hitchcock, John M., 8(2)z--99999999
-
Hitchcock:2007:ACD, 8(2)z--99999999
-
hitherto, 17(3)16--16
-
Hitzler, Pascal, 14(1)2--2
-
Hitzler, Pascal, see Krötzsch, Markus
-
Hlinený, Petr, 21(4)28--28, see Gajarský, Jakub
-
Hoare, 1(1)60--76, 1(1)171--174, 2(1)1--11, 17(2)13--13, 17(3)15--15,
18(1)3--3, 19(2)13--13
-
Hoare, Floyd-, 11(1)7--7
-
Hoare-style, 16(2)15--15, 17(2)12--12, 17(2)13--13
-
Hodges, 24(1)4--4
-
Hofmann, 10(2)8--8
-
Hofmann, Martin, 11(4)26--26
-
Hofmann:2010:PPP, 11(4)26--26
-
hold, 1(2)247--284, 8(3)17--17, 8(4)20--20, 10(1)7--7, 10(3)17--17,
10(4)28--28, 11(4)28--28, 13(2)15--15, 13(4)34--34, 15(2)17--17,
15(3)25--25, 16(2)14--14, 16(3)21--21, 16(3)22--22, 17(3)22--22,
18(1)3--3, 18(3)20--20, 20(1)1--1, 20(1)4--4, 20(4)22--22, 21(1)1--1,
21(1)6--6
-
holding, 13(2)15--15, 16(3)23--23
-
hole, 19(2)9--9
-
homogeneity, 20(1)4--4
-
homogeneous, 1(2)247--284, 18(3)23--23, 21(3)25--25
-
homogeneously, 18(3)25--25
-
homological, 15(3)23--23
-
homology, 14(4)26--26
-
homomorphic, 20(1)1--1
-
homomorphism, 18(4)29--29
-
homotopy, 16(2)18--18, 17(4)29--29, 19(2)15--15
-
homotopy-theoretic, 13(1)3--3, 16(3)23--23
-
Honavar, Vasant, 16(1)3--3
-
Honavar, Vasant, see Tao, Jia
-
honest, 14(4)34--34, 21(1)1--1
-
Honsell, F., 4(1)120--147
-
Honsell, F., see Dezani-Ciancaglini, M.
-
Hoogeboom, Hendrik Jan, 2(2)216--254
-
Hoogeboom, Hendrik Jan, see Engelfriet, Joost
-
hope, 10(4)29--29, 11(3)19--19, 14(2)8--8, 15(4)34--34
-
Horbach, Matthias, 11(4)27--27
-
Horbach:2010:SFD, 11(4)27--27
-
horizon, finite-, 10(1)5--5
-
horizontal, 13(4)34--34, 17(2)14--14
-
Horn, 1(1)131--161, 9(4)28--28, 11(4)27--27, 13(3)23--23, 13(4)32--32,
14(1)1--1, 14(1)2--2, 16(1)3--3, 17(1)2--2, 17(1)7--7, 17(3)20--20,
17(4)23--23, 18(1)6--6, 18(3)22--22
-
Horn, Florian, 11(1)1--1
-
Horn, Florian, see Chatterjee, Krishnendu
-
Horn, non-, 1(1)131--161, 14(1)2--2
-
Horn, Ord-, 11(3)15--15
-
Horne, Ross, 20(4)22--22
-
Horne:2019:MDN, 20(4)22--22
-
host, 12(3)20--20, 20(2)9--9
-
Hóu, Zhé, 19(2)13--13
-
Hou:2018:MLS, 19(2)13--13
-
how, 1(1)33--59, 1(2)208--246, 1(2)285--320, 2(1)12--56, 2(2)182--215,
2(3)388--407, 8(3)14--14, 8(4)20--20, 8(4)23--23, 9(1)4--4,
9(3)18--18, 9(3)20--20, 9(3)22--22, 10(1)1--1, 12(1)5--5,
13(3)25--25, 13(4)33--33, 14(1)1--1, 14(1)5--5, 14(2)10--10,
14(2)14--14, 14(3)20--20, 14(4)32--32, 14(4)33--33, 15(2)11--11,
15(2)12--12, 15(2)16--16, 15(4)31--31, 15(4)34--34, 16(2)11--11,
16(2)14--14, 16(3)24--24, 16(4)31--31, 16(4)32--32, 17(1)4--4,
17(2)14--14, 17(3)18--18, 17(4)30--30, 18(3)19--19, 18(3)24--24,
19(2)9--9, 19(2)13--13, 20(1)1--1, 20(1)4--4, 20(2)7--7, 20(3)13--13,
20(3)15--15, 20(4)25--25, 21(1)4--4, 21(1)7--7, 21(3)21--21,
21(4)30--30
-
Howard, Curry-, 12(3)22--22
-
however, 1(2)208--246, 2(1)1--11, 2(1)135--153, 2(2)216--254, 8(4)23--23,
9(2)11--11, 10(4)29--29, 11(3)16--16, 12(1)3--3, 12(2)15--15,
12(3)18--18, 12(4)24--24, 13(1)6--6, 13(4)30--30, 13(4)34--34,
14(1)2--2, 14(1)4--4, 14(2)13--13, 15(1)8--8, 15(3)25--25,
15(4)30--30, 15(4)33--33, 15(4)35--35, 16(1)4--4, 16(1)7--7,
16(2)11--11, 16(2)17--17, 16(3)27--27, 16(4)33--33, 17(2)8--8,
17(3)16--16, 17(3)19--19, 17(3)20--20, 17(3)22--22, 18(2)10--10,
18(2)15--15, 18(2)16--16, 19(1)1--1, 19(1)4--4, 19(2)7--7, 20(1)4--4,
20(2)9--9, 20(2)10--10, 20(2)11--11, 20(3)17--17, 20(4)19--19,
20(4)20--20, 24(2)18--18, 24(4)30--30
-
HS, 20(1)4--4, 24(3)24--24
-
http://www.csplib.org, 8(4)23--23
-
Hu, Jason Z. S., 23(4)25--25
-
Hu:2022:CTV, 23(4)25--25
-
Huang, Xiaowei, 19(4)26--26, 20(4)21--21
-
Huang:2018:ESL, 19(4)26--26
-
Huang:2019:RAC, 20(4)21--21
-
Huber, 19(2)15--15
-
huge, 10(1)4--4
-
Hughes, Dominic J. D., 6(4)784--842
-
Hughes--Van, 19(4)25--25
-
Hughes:2005:PNU, 6(4)784--842
-
human, 15(4)30--30, 19(3)22--22, 20(4)21--21
-
human-readable, 19(4)27--27
-
hundreds, 21(1)5--5
-
Hung, Edward, 8(4)24--24
-
Hung:2007:PIX, 8(4)24--24
-
Hustadt, Ullrich, 8(4)19--19, 15(1)10--10, 20(4)23--23
-
Hustadt, Ullrich, see Nalon, Cláudia,
see Schmidt, Renate A., \see{Zhang, Lan
-
HvG, 19(4)25--25
-
hybrid, 9(4)25--25, 14(2)16--16, 17(1)1--1, 18(3)19--19
-
Hydra, 17(3)16--16
-
hyper-endomorphisms, 13(1)5--5
-
hyper-resolution, 20(4)23--23
-
hyperbolicity, 20(3)17--17
-
hypercube, 1(2)247--284
-
hypergraph, 20(3)15--15
-
hyperresolution, 19(3)18--18
-
hypersequent, 6(3)578--613, 9(3)21--21, 19(2)11--11
-
hypotheses, 12(2)9--9, 15(4)28--28, 17(2)13--13
-
hypothesis, 18(4)29--29, 22(2)11--11
-
Hypothesis-based, 5(3)508--527