Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
G
-
G, 29(3)183--188
-
Gabbay, Dov M., 7(4)511--536, 13(2)243--281
-
Gabbay, Dov M., see D'Agostino, Marcello
-
Gabbay:1991:FGD, 7(4)511--536
-
Gabriel--Zisman, 36(3)259--285
-
Gacek, Andrew, 49(2)241--273, 57(4)281--318
-
Gacek, Andrew, see Pham, Tuan-Hung
-
Gacek:2012:TLL, 49(2)241--273
-
Gadducci, Fabio, 49(2)161--183
-
Gadducci, Fabio, see Bonchi, Filippo
-
Gadgil, Siddhartha, 64(4)677--688
-
Gadgil:2020:HLF, 64(4)677--688
-
Gagné, Martin, 56(1)49--94
-
Gagne:2016:APB, 56(1)49--94
-
Gago, M. C., Fernández-, 34(3)295--321
-
Gaintzarain, Jose, 50(1)1--49
-
Gaintzarain:2013:IFC, 50(1)1--49
-
Galdino, André L., 45(3)301--325
-
Galdino, André Luiz, 58(2)231--251, 65(8)1231--1263,
see Lima, Thaynara Arielly de,
see Rocha-Oliveira, Ana Cristina
-
Galdino:2010:FKB, 45(3)301--325
-
Gall, Pascale, Le, 45(4)437--473
-
Gallardo, María del Mar, 42(2)229--264
-
Gallardo:2009:MCD, 42(2)229--264
-
Galletta, Letterio, 64(7)1445--1481
-
Galletta, Letterio, see Costa, Gabriele
-
Gallo, Giovanni, 6(2)203--209
-
Gallo, Giovanni, see Ferro, Giuseppa Carrà
-
Galmiche, Didier, 51(1)3--26, 64(7)1165--1167
-
Galmiche:2013:CBC, 51(1)3--26
-
Galmiche:2020:PSI, 64(7)1165--1167
-
Gamboa, R., 38(4)273--301
-
Gamboa, Ruben, 56(3)201--203
-
Gamboa, Ruben, see Klein, Gerwin
-
Gamboa, Ruben A., 27(4)323--351, 43(2)139--172
-
Gamboa:2001:NAA, 27(4)323--351
-
Gamboa:2007:TEA, 38(4)273--301
-
Gamboa:2009:FPA, 43(2)139--172
-
Gamma, 53(4)407--429
-
Gandalf, 18(2)199--204
-
Ganesalingam, M., 58(2)253--291
-
Ganesalingam:2017:FAT, 58(2)253--291
-
Ganesh, Vijay, 58(3)313--339
-
Ganesh, Vijay, see Zulkoski, Edward
-
Ganzinger, 64(7)1169--1195
-
Ganzinger, Harald, 32(2)103--120
-
Ganzinger:2004:FTI, 32(2)103--120
-
Gao, Xiao-Shan, 10(2)161--172, 10(2)173--189, 14(2)257--291,
17(3)325--347, 17(3)349--370, 25(3)219--246, 45(3)213--241,
45(3)243--266
-
Gao, Xiao-Shan, see Chou, Shang-Ching,
see Ye, Zheng
-
Gao, Xiaoshan, 6(4)403--417
-
Gao:1990:TFM, 6(4)403--417
-
Garbage, 63(2)463--488, 63(2)489--515
-
Garg, Pranav, 64(7)1523--1552
-
Garg, Pranav, see Neider, Daniel
-
Gargantini, Angelo, 45(4)331--358
-
Gargantini, Angelo, see Calvagna, Andrea
-
Garrigue, Jacques, 64(6)1123--1164
-
Garrigue, Jacques, see Affeldt, Reynald
-
Gascón, A., 65(4)521--567, see Butler, D.
-
Gascón, Adrià, 51(4)371--400, see Creus, Carles
-
Gauge, 67(4)z--99999999
-
Gauthier, Thibault, 65(2)257--286
-
Gauthier:2021:TLP, 65(2)257--286
-
Gawkowski, Marek, 30(3)399--444
-
Gawkowski, Marek, see Basin, David A.
-
Gazing, 8(3)311--344
-
GCWA, 20(1)143--165
-
Gehrke, Wolfgang, 26(2)139--160
-
Gehrke:2001:CAC, 26(2)139--160
-
Geisler, Tim, 18(2)227--236
-
Geisler:1997:SCF, 18(2)227--236
-
Gelder, Allen, Van, 23(2)137--193
-
Genaim, Samir, 46(2)161--203, 59(1)47--85
-
Genaim, Samir, see Albert, Elvira
-
general, 6(2)147--172, 7(4)489--510, 12(3)389--406, 22(1)45--63,
26(3)223--268, 28(3)257--305, 38(1)227--259, 39(1)77--106,
48(3)363--390, 64(4)641--675
-
general-purpose, 6(1)77--78
-
Generalising, 52(1)31--65
-
generalization, 2(1)75--88, 7(1)109--158, 13(2)243--281, 20(1)27--45,
57(3)245--280
-
generalized, 5(3)293--307, 11(2)149--184
-
Generalizing, 60(4)503--526
-
Generate, 22(2)149--170
-
Generated, Machine-, 56(2)155--200
-
Generating, 7(3)359--368
-
generation, 17(3)325--347, 17(3)349--370, 25(1)35--82, 38(1)57--78,
63(1)95--126, 64(2)197--251
-
Generational, 63(2)463--488
-
generator, 5(4)493--518, 37(1)117--152
-
generic, 5(3)363--397, 32(4)z--99999999, 62(1)93--126
-
Genesereth, Michael R., 3(4)395--431
-
Genesereth, Michael R., see Treitel, Richard
-
Genet, Thomas, 33(3)341--383
-
Genet, Thomas, see Feuillade, Guillaume
-
Genetic, 60(2)157--176
-
Gent, Ian P., 24(1)1--3, 28(2)99--99
-
Gent:2000:SY, 24(1)1--3
-
Gent:2002:SY, 28(2)99--99
-
Gentili, Graziano, 47(3)319--336
-
Gentili, Graziano, see Ciolli, Gianni
-
Gentilini, Paolo, 20(1)167--190
-
Gentilini, Paolo, see Forcheri, Paola
-
Gentilini, R., 31(1)73--103
-
Gentilini:2003:BSC, 31(1)73--103
-
Gentzen-type, 10(2)265--281
-
GeoGebra, 55(1)39--59
-
geometric, 17(3)325--347, 17(3)349--370, 26(2)139--160, 52(1)99--122,
59(3)331--344, 61(1)33--71, 63(3)787--808, 65(6)711--726,
67(1)z--99999999, 67(4)z--99999999
-
geometric, arithmetic-, 16(1)181--222
-
geometry, 2(3)219--220, 2(3)221--252, 2(3)253--273, 2(4)329--390,
3(3)291--299, 4(3)237--267, 5(1)97--118, 6(2)203--209, 6(4)403--417,
7(2)171--191, 10(2)161--172, 10(2)173--189, 12(3)351--358,
14(2)257--291, 21(1)1--21, 21(3)357--380, 23(1)63--82, 25(2)83--121,
25(3)219--246, 32(1)3--33, 39(2)161--180, 43(2)203--236,
44(1)z--99999999, 45(3)213--241, 45(3)243--266, 52(1)99--122,
58(1)181--207, 58(2)209--230, 65(1)31--73
-
Geser, Alfons, 34(4)365--385
-
Geser:2005:TPS, 34(4)365--385
-
GHC, 51(4)357--370
-
Gheri, Lorenzo, 64(4)641--675
-
Gheri:2020:FGT, 64(4)641--675
-
Ghilardi, Silvio, 33(3)221--249, 54(4)327--352, 65(3)425--460,
65(7)941--969, 66(3)409--435
-
Ghilardi, Silvio, see Alberti, Francesco,
see Calvanese, Diego
-
Ghilardi:2004:MTM, 33(3)221--249
-
Ghilardi:2021:HOQ, 65(3)425--460
-
Ghosh, Kamalesh, 54(1)31--68
-
Ghosh:2015:APE, 54(1)31--68
-
Giacomo, Giuseppe, De, 39(3)385--429
-
Giedra, H., 64(8)1663--1684
-
Giedra, H., see Alonderis, R.
-
Giese, Martin, 38(1)127--153
-
Giese:2007:SBE, 38(1)127--153
-
Giesl, Jügen, 34(4)323--323
-
Giesl, Jürgen, 19(1)1--29, 26(1)1--49, 34(2)103--104, 37(3)153--154,
37(3)155--203, 47(2)133--160, 47(4)337--339, 49(1)53--93,
51(1)27--56, 58(1)3--31, 58(1)33--65, 59(1)1--2, 59(1)121--163,
see Codish, Michael, \see{Frohn, Florian,
see Fuhs, Carsten, \see{Noschinski, Lars,
see Ströder, Thomas
-
Giesl:1997:TNM, 19(1)1--29
-
Giesl:2001:IPP, 26(1)1--49
-
Giesl:2005:Pa, 34(2)103--104
-
Giesl:2005:Pb, 34(4)323--323
-
Giesl:2006:MID, 37(3)155--203
-
Giesl:2006:TSI, 37(3)153--154
-
Giesl:2011:PSI, 47(4)337--339
-
Giesl:2017:APT, 58(1)3--31
-
Giesl:2017:PSI, 59(1)1--2
-
Ginsberg, Matthew L., 14(1)43--91
-
Ginsberg:1995:MI, 14(1)43--91
-
Giovanardi, Andrea, 28(2)101--142
-
Giovanardi, Andrea, see Cadoli, Marco
-
Giovanardi, Massimo, 28(2)101--142
-
Giovanardi, Massimo, see Cadoli, Marco
-
Girlando, Marianna, 67(3)z--99999999
-
Girlando, Marianna, see Das, Anupam
-
Giunchiglia, Enrico, 28(2)143--171, 35(1)1--2, 35(1)237--263, 36(4)z--z,
45(4)397--414
-
Giunchiglia, Enrico, see Angeletti, Damiano,
see Armando, Alessandro
-
Giunchiglia, F., 26(3)291--331
-
Giunchiglia, Fausto, 11(1)23--41, 19(3)319--346, 28(2)143--171
-
Giunchiglia, Fausto, see Bundy, Alan,
see Giunchiglia, Enrico
-
Giunchiglia:1993:IIA, 11(1)23--41
-
Giunchiglia:2001:RT, 26(3)291--331
-
Giunchiglia:2002:SBD, 28(2)143--171
-
Giunchiglia:2005:SY, 35(1)1--2
-
Giunchiglia:2006:ASP, 36(4)z--z
-
Givant, Steven, 37(4)277--322
-
Givant:2006:CRF, 37(4)277--322
-
Glabbeek, Robert J. van, 56(3)309--341
-
Glabbeek, Robert J. van, see Bourke, Timothy
-
Glickfeld, Barney, 2(4)419--431
-
Glickfeld:1986:FCL, 2(4)419--431
-
Glimm, Birte, 53(3)245--269, 53(4)351--405, 59(4)455--482
-
Glimm, Birte, see Parsia, Bijan,
see Steigmiller, Andreas
-
Glimm:2014:HOR, 53(3)245--269
-
Global, 50(4)355--381, 51(2)151--196, 51(2)197--239, 51(4)371--400,
64(1)21--52, 66(4)611--637
-
GMP, 29(3)225--252
-
GNU, 29(3)225--252
-
goal, 7(4)511--536, 47(1)17--56
-
Goal-Directed, 52(4)407--450
-
Goal-Driven, 28(1)1--34
-
Goal-Oriented, 62(1)127--167
-
Goal-Sensitive, 56(2)113--141, 59(2)165--218, 67(1)z--99999999
-
Gödel, 2(3)287--327, 4(2)219--231, 22(3)311--339, 55(1)1--37,
65(7)1027--1070
-
Gödel, Neumann-Bernays-, 8(1)91--147
-
Gödel--Dummett, 38(1)201--225
-
Gödel--Löb, 67(3)z--99999999
-
Godoy, Guillem, 30(1)99--120, 51(3)281--324, 51(4)371--400
-
Godoy, Guillem, see Bofill, Miquel,
see Creus, Carles
-
GOEDEL, 50(2)135--146
-
Goldberg, Eugene, 28(4)417--434
-
Goldberg:2002:PUC, 28(4)417--434
-
Goldschlag, David M., 23(3)445--498
-
Goldschlag:1999:MUP, 23(3)445--498
-
Goldsmith, Michael, 41(3)365--398
-
Goldsmith, Michael, see Moffat, Nick
-
Goller, C., 13(3)297--337
-
Goller, C., see Letz, R.
-
Goller, Christoph, 18(2)237--246
-
Goller, Christoph, see Moser, Max
-
Gomes, Carla P., 24(1)67--100
-
Gomes:2000:HTP, 24(1)67--100
-
Gonçalves, Rafael S., 59(4)455--482,
see Parsia, Bijan
-
Gondelman, Léon, 60(3)365--383, see Clochard, Martin
-
Good, No-, 24(4)483--533
-
Gordon, Michael J. C., 47(1)1--16
-
Gordon:2011:RTJ, 47(1)1--16
-
Goré, Rajeev, 50(4)355--381
-
Gore:2013:ETU, 50(4)355--381
-
Gorín, Daniel, 46(1)1--42, see Areces, Carlos
-
Gorrieri, Roberto, 41(3)325--364
-
Gorrieri:2008:FMA, 41(3)325--364
-
Gouw, Stijn de, 53(2)129--139, 62(1)93--126
-
Gow, Jeremy, 39(2)141--160
-
Gow, Jeremy, see Cairns, Paul
-
Gowers, W. T., 58(2)253--291
-
Gowers, W. T., see Ganesalingam, M.
-
GPU, 60(3)279--298
-
Grabczewski, Krzysztof, 17(3)291--323
-
Grabczewski, Krzysztof, see Paulson, Lawrence C.
-
Grabowski, Adam, 55(3)191--198, 55(3)211--221, 61(1)9--32
-
Grabowski, Adam, see Bancerek, Grzegorz
-
Grabowski:2015:FDM, 55(3)191--198
-
Grabowski:2015:MCL, 55(3)211--221
-
Graham-Lengrand, Stéphane, 64(3)579--609, 66(1)43--91,
see Bonacina, Maria Paola
-
Grained, Fine-, 64(3)485--510, 64(7)1419--1444
-
Grammars, 53(4)317--350, 60(3)257--277
-
GRAMY, 32(1)3--33
-
Grant, John, 11(2)249--267, 17(2)171--197
-
Grant, John, see Fernández, José Alberto
-
Grant, Kevin, 45(1)1--2
-
Grant, Kevin, see Xiang, Yang
-
Grant:1993:VUS, 11(2)249--267
-
graph, 2(1)43--62, 3(1)1--34, 4(4)425--444, 7(2)271--284, 13(1)83--115,
52(1)1--29, 64(5)795--825
-
Graph-based, 38(1)201--225
-
Graphical, 39(2)161--180
-
Grathwohl, Hans Bugge, 63(2)211--253
-
Grathwohl, Hans Bugge, see Birkedal, Lars
-
Grau, Bernardo Cuenca, 44(4)337--369
-
Grau:2010:ICD, 44(4)337--369
-
Graziani, Pierluigi, 67(1)z--99999999
-
Graziani, Pierluigi, see Quaresma, Pedro
-
Green, 63(3)763--786
-
Green, Cordell, 1(1)5--48
-
Green, Cordell, see Wos, L.
-
Green, Ian, 43(1)53--80, 47(1)57--105
-
Green, Ian, see Dennis, Louise Abigail,
see Monroy, Raúl
-
Greenaway, David, 57(3)219--244
-
Greenaway, David, see Blanchette, Jasmin Christian
-
Greenbaum, Steve, 18(2)259--264
-
Greenbaum:1997:V, 18(2)259--264
-
Grégoire, Thomas, 62(2)193--213
-
Gregoire:2019:MAF, 62(2)193--213
-
Gretton, Charles, 61(1)485--520
-
Gretton, Charles, see Abdulaziz, Mohammad
-
Gries, Charly, 62(1)1--68
-
Gries, Charly, see Boutry, Pierre
-
Gries, Owicki-, 66(1)141--171
-
Grieskamp, Wolfgang, 67(3)z--99999999
-
Grieskamp, Wolfgang, see Sheng, Ying
-
Griffin, Timothy G., 64(5)857--877
-
Griffin, Timothy G., see Daggitt, Matthew L.
-
Gritti, Armando Pesenti, 61(1)113--139
-
Gritti, Armando Pesenti, see Bauereiß, Thomas
-
Gröbner, 6(3)233--250, 59(3)331--344
-
Groote, Jan Friso, 24(1)101--125
-
Groote:2000:PFC, 24(1)101--125
-
Gross-Hardt, M., 32(3)259--286
-
Gross-Hardt, M., see Baumgartner, P.
-
ground, 17(1)131--143, 54(4)353--390, 66(3)301--329
-
group, 4(3)331--352, 6(3)251--286, 9(1)1--24, 9(3)291--308, 10(1)1--13,
14(3)383--412, 17(2)145--169, 28(3)235--256, 36(1)149--176,
36(3)241--257, 63(2)517--538, 64(4)677--688, 66(4)611--637
-
Groves, Lindsay, 66(4)747--803
-
Groves, Lindsay, see Pearce, David J.
-
Gruetter, Samuel, 61(1)367--422
-
Gruetter, Samuel, see Cao, Qinxiang
-
Grumberg, Orna, 63(4)1077--1101
-
Grumberg, Orna, see Frenkel, Hadar
-
Gu, Ming, 52(4)379--405
-
Gu, Ming, see Zhou, Min
-
Gu, Ronghui, 61(1)141--189
-
Gu, Ronghui, see Chen, Hao
-
Gu, Tianlong, 49(1)1--52
-
Gu, Tianlong, see Chang, Liang
-
Guan, Yong, 63(3)787--808, 65(1)1--29
-
Guan, Yong, see Li, Li-Ming
-
Guan:2021:FEL, 65(1)1--29
-
Guarantee, Rely-, 59(1)47--85, 63(2)489--515
-
guaranteeing, 5(3)399--401, 5(4)531--532
-
Guarantees, 61(1)33--71
-
Guarded, 63(2)211--253, 65(2)157--203, 67(4)z--99999999
-
Guidance, 35(4)429--431, 65(2)287--320
-
Guide, 32(3)187--226
-
Guided, 18(2)183--188, 24(1)205--223
-
Guided, Proof-, 45(4)437--473
-
Guided, Semantically-, 56(2)113--141, 59(2)165--218,
67(1)z--99999999
-
Guidi, Ferruccio, 44(1)z--99999999
-
Guidi:2010:PRC, 44(1)z--99999999
-
Guiol, Hervé, 64(4)737--765, see Echenim, Mnacho
-
Guo, Yu, 42(2)301--347
-
Guo, Yu, see Feng, Xinyu
-
Gutiérrez, Raúl, 60(4)465--501, 64(8)1611--1662,
see Lucas, Salvador
-
Guttman, Joshua D., 11(2)213--248, 48(2)159--195
-
Guttman, Joshua D., see Farmer, William M.
-
Guttman:2012:SPS, 48(2)159--195
-
Gwynne, Matthew, 52(1)31--65
-
Gwynne:2014:GUR, 52(1)31--65