Index file section G for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
G
-
G, 121(1)179--186
-
Gabbrielli, M., 122(1)3--47
-
Gabbrielli, M., see Bossi, A.
-
Gabbrielli, Maurizio, 105(1)85--128
-
Gabbrielli:1992:UFS, 105(1)85--128
-
gain, 74(3)273--298, 128(1)179--210
-
Gaissaryan, Sergey S., 135(2)267--288
-
Gaissaryan, Sergey S., see Lastovetsky, Alexey L.
-
Gale, 129(2)385--396
-
Galil, Z., 86(2)143--203, 92(1)49--76, 95(2)231--244
-
Galil, Z., see Averbuch, A., \see{Rabani, Y.
-
Galil:1992:DPC, 92(1)49--76
-
Gallier, J., 83(1)3--28
-
Gallier, J., see Breazu-Tannen, V.
-
Gallier, Jean, 110(2)249--339
-
Gallier:1993:CLP, 110(2)249--339
-
Galmiche, 206(1)353--354
-
Galmiche, D., 71(2)227--239, 94(2)237--259
-
Galmiche, Didier, 135(1)67--110
-
Galmiche:1990:CSA, 71(2)227--239
-
Galmiche:1992:PDC, 94(2)237--259
-
Galmiche:1994:PNL, 135(1)67--110, 206(1)353--354
-
Galois, 81(1)117--126, 133(2)387--419, 134(2)455--471, 136(1)79--107
-
Gambosi, G., 70(2)251--260, 84(1)107--126
-
Gambosi:1990:LPP, 70(2)251--260
-
Gambosi:1991:PFD, 84(1)107--126
-
game-trees, 91(1)119--128
-
Gamma-controlled, 81(2)269--288
-
Ganesan, K., 129(2)309--321
-
Ganesan:1994:OWF, 129(2)309--321
-
Gannett, E., 76(2)331--341
-
Gannett:1990:OPS, 76(2)331--341
-
Ganzinger, H., 73(2)119--z, 89(1)3--32
-
Ganzinger:1990:F, 73(2)119--z
-
Ganzinger:1991:OSC, 89(1)3--32
-
gap, 72(1)65--94, 80(2)153--202
-
gap-order, 116(1)117--149
-
garbage, 131(1)29--94
-
Gardiner, P., 87(1)143--162
-
Gardiner:1991:DRP, 87(1)143--162
-
Gardy, D., 94(2)261--280
-
Gardy, Danièle, 131(2)375--414
-
Gardy:1992:MCL, 94(2)261--280
-
Gardy:1994:JSU, 131(2)375--414
-
Garg, V. K., 96(2)285--304
-
Garg:1992:CRE, 96(2)285--304
-
Gargano, L., 86(2)365--375
-
Gargano, L., see Capocelli, R. M.
-
Gargano, Luisa, 134(1)63--78
-
Gargano, Luisa, see Capocelli, Renato M.
-
Garofalakis, J., 128(1)63--74
-
Garofalakis:1994:TDD, 128(1)63--74
-
Garzon, M., 88(1)83--98
-
Garzon, Max, 108(1)83--102, 132(1)113--128, 134(1)51--61,
182(1)257--257
-
Garzon, Max, see Botelho, Fernanda,
see Botelho, Fernando,
see Koiran, Pascal
-
Garzon:1991:CGG, 88(1)83--98
-
Garzon:1993:CA, 108(1)83--102
-
Gasper, Askey-, 117(1)199--202
-
Gastin, P., 74(2)121--162
-
Gastin, Paul, 120(1)101--121, 125(2)167--204
-
Gastin:1990:AMD, 74(2)121--162
-
Gastin:1993:PIT, 120(1)101--121
-
Gastin:1994:EKO, 125(2)167--204
-
gate, 85(1)155--170, 86(2)343--364, 93(2)303--319, 97(2)285--300,
102(2)307--328, 107(1)63--76, 113(1)167--183, 130(1)203--236,
133(1)23--33
-
Gauss-reduced, 134(1)131--173
-
Gaussian, 93(2)201--225, 94(2)261--280, 131(2)375--414
-
Gavalda, R., 88(1)1--14
-
Gavalda:1991:SRS, 88(1)1--14
-
Gavilanes-Franco, A., 74(1)37--69
-
Gavilanes-Franco:1990:FOL, 74(1)37--69
-
Gecseg, F., 74(2)163--181, 80(1)35--51
-
Gecseg:1990:ARP, 74(2)163--181
-
Gecseg:1991:PA, 80(1)35--51
-
Geffert, Viliam, 118(1)49--65
-
Geffert:1993:STT, 118(1)49--65
-
Gelenbe, E., 125(1)1--z
-
Gelenbe, E., see Mitrani, I.
-
Gelenbe, Erol, 125(1)131--147
-
Gelenbe:1994:VTM, 125(1)131--147
-
general, 75(1)85--110, 82(1)165--176, 82(2)215--252, 84(2)281--292,
86(2)343--364, 94(2)281--294, 97(1)105--130, 98(1)99--114,
98(1)137--161, 99(1)1--63, 103(2)365--386, 116(1)195--226,
117(1)z--z, 121(1)169--178, 123(1)31--53, 125(1)45--59,
129(1)79--94, 130(1)17--47, 134(1)107--117, 135(2)221--266,
136(1)277--289
-
generalisation, 104(1)3--28
-
generalised, 106(2)327--335, 110(1)197--214, 119(1)z--z, 123(1)31--53
-
generality, 89(1)179--206
-
generalization, 70(1)159--178, 79(1)111--135, 87(1)203--208,
91(1)57--69, 96(1)249--283, 98(2)347--356, 108(2)251--270,
132(1)209--227, 133(2)307--340, 134(2)329--363
-
Generalizations, 97(2)183--198
-
generalize, 91(1)23--55
-
generalized, 70(1)35--64, 79(1)137--150, 79(1)263--273, 83(2)261--273,
84(2)165--177, 89(1)107--136, 90(1)61--79, 91(1)23--55,
91(1)101--117, 92(2)269--289, 104(2)285--298, 110(1)215--245,
111(1)103--123, 112(1)53--97, 112(1)99--143, 112(2)399--412,
116(1)117--149, 116(2)405--413, 117(1)137--151, 119(1)103--125,
119(2)267--291, 123(2)329--340, 127(2)269--286, 131(1)121--138,
133(1)65--84
-
Generalizing, 104(1)3--28
-
generated, 71(3)281--346, 83(2)205--218, 85(1)33--52, 87(2)315--327,
89(1)33--62, 100(2)267--302, 134(1)189--208
-
generated, finitely-, 134(2)537--544
-
generating, 71(3)381--400, 73(3)279--294, 79(1)37--109, 79(1)151--162,
79(1)163--177, 79(1)195--207, 79(1)257--261, 81(2)269--288,
92(2)249--268, 94(2)261--280, 98(1)65--76, 113(2)349--370,
113(2)371--375, 117(1)203--215, 117(1)273--287, 119(2)345--354,
131(2)375--414, 132(1)347--375, 132(1)415--425, 134(1)3--11
-
generating, equality-, 100(2)347--364
-
generating, stream-, 71(2)193--208
-
generation, 73(1)91--100, 75(1)z--z, 80(1)105--115, 84(2)225--250,
90(1)47--60, 113(2)349--370, 116(2)373--398, 122(1)1--z,
122(1)225--262, 127(2)333--350, 132(1)1--35, 132(1)347--375,
134(2)529--536
-
generative, 85(1)171--203, 98(2)249--262
-
generator, 82(2)329--339, 95(2)279--305, 104(2)161--183, 108(1)151--171,
116(2)373--398, 121(1)441--448, 125(1)149--165
-
generic, 98(1)115--133, 121(1)323--349, 133(2)307--340
-
genericity, 121(1)323--349
-
genre, 117(1)45--65
-
Gentzen, 85(2)333--351
-
Gentzen-type, 118(1)67--79
-
genus, 112(2)419--420, 117(1)45--65
-
genus-1, 117(1)45--65
-
Genzen, 114(2)317--330
-
geography, 110(1)197--214, 110(1)215--245, 112(2)371--382,
123(2)329--340
-
geometric, 74(3)253--271, 84(1)77--105, 88(2)231--251, 94(2)295--310,
104(2)235--261, 106(2)265--281, 112(1)53--97, 113(2)371--375,
115(2)291--319, 116(2)291--303, 130(1)49--72, 133(1)105--140
-
geometrical, 115(1)43--62, 115(2)291--319, 117(1)45--65
-
geométrique, 115(2)291--319
-
geometry, 74(1)95--114, 74(3)253--271, 81(2)289--294, 84(1)77--105,
84(1)127--150, 86(2)205--232, 88(2)231--251, 92(2)319--336,
94(2)295--310, 98(2)263--287, 103(1)107--135, 106(2)265--281,
112(2)215--253, 112(2)339--354, 113(2)371--375, 115(2)291--319,
115(2)351--357, 116(2)291--303, 116(2)359--371, 116(2)373--398,
117(1)153--167, 117(1)187--198, 117(1)203--215, 119(2)331--343,
123(1)151--165, 123(1)z--z, 127(1)187--198, 129(2)263--278,
129(2)369--383, 130(1)125--138, 130(1)139--161, 130(1)163--174,
131(2)361--374, 134(1)131--173, 134(2)415--426
-
gerbes, 94(2)199--213
-
Gerhard, J. A., 126(2)237--257
-
Gerhard:1994:UFD, 126(2)237--257
-
German, S. M., 97(1)67--81
-
German:1992:SRF, 97(1)67--81
-
Germano, G. M., 82(2)215--252
-
Germano:1991:CFG, 82(2)215--252
-
Geva, Shai, 101(2)177--221
-
Geva, Shai, see Brookes, Stephen
-
GHC, 75(1)67--83
-
Gibbons, A., 71(3)401--411
-
Gibbons:1990:OEC, 71(3)401--411
-
Giegerich, R., 73(2)177--211
-
Giegerich:1990:CSI, 73(2)177--211
-
Gil, B., 94(2)281--294
-
Gil:1992:CEG, 94(2)281--294
-
Gill, J., 103(1)3--23
-
Gill, J., see Beigel, R.
-
Gilleron, Rémi, 127(1)69--98,
see Coquidé, Jean-Luc
-
Gilmore, Paul C., 111(1)211--252, 111(1)253--290
-
Gilmore:1993:LCT, 111(1)211--252
-
Gilmore:1993:LFP, 111(1)253--290
-
Ginsburg, S., 76(1)143--177, 90(2)391--432
-
Ginsburg, S., see Dong, Guozhu
-
Ginsburg-Rose, 94(1)125--140
-
Giordano, L., 95(1)43--74
-
Giordano:1992:EHC, 95(1)43--74
-
Giovini, A., 96(1)249--283
-
Giovini, A., see Astesiano, E.
-
Girard, 111(1)3--57, 113(2)371--375
-
Girard, J. Y., 97(1)1--66
-
Girard-Reynolds, 89(1)137--159
-
Girard:1992:BLL, 97(1)1--66
-
Gire, F., 86(2)277--323
-
Gire, S., 117(1)187--198
-
Gire, S., see Dulucq, S.
-
Gire:1991:ALB, 86(2)277--323
-
given, 86(2)325--342
-
Glabbeek, Rob J. van, 113(2)293--348
-
glass, 108(2)311--329
-
global, 74(1)3--18, 75(3)263--287, 80(1)77--104, 94(2)175--197,
99(1)157--176, 119(1)23--38, 124(1)41--70, 126(1)3--30,
133(1)65--84
-
globally, 132(1)319--336
-
gluing, 109(1)181--224
-
Glushkov, 120(2)197--213
-
Gnaedig, I., 72(2)169--202
-
Gnaedig:1990:ECO, 72(2)169--202
-
goal, 75(1)67--83, 75(1)139--156, 83(1)131--155, 95(1)43--74,
120(1)1--44
-
Gobel, R., 75(3)289--309
-
Gobel, R., see Droste, M.
-
Godel, 100(1)45--66, 110(1)131--144, 130(2)239--319
-
Gödel, 130(2)237--z, 130(2)239--319
-
Godel-number, 70(2)193--211
-
Godin, Robert, 133(2)387--419
-
Godin:1994:ICF, 133(2)387--419
-
Goerdt, A., 93(1)159--167, 100(1)45--66
-
Goerdt:1992:CCC, 100(1)45--66
-
Goerdt:1992:URV, 93(1)159--167
-
Goguen, J. A., 91(2)239--264, 100(2)267--302
-
Goguen, J. A., see Moss, L. S.,
see Tarlecki, A.
-
Goguen, Joseph A., 105(2)217--273
-
Goguen:1992:OSA, 105(2)217--273
-
Goldfarb, 87(1)25--41
-
Goldwurm, M., 79(1)25--35, 86(2)325--342, 92(2)249--268
-
Goldwurm, M., see Bertoni, A.
-
Goldwurm:1992:PEN, 92(2)249--268
-
Goles, E., 92(2)291--300, 136(2)527--532
-
Goles, E., see Bitar, J., \see{Kiwi, M. A.
-
Goles, Eric, 110(1)53--78, 115(2)321--349, 125(2)329--337
-
Goles:1993:GLG, 115(2)321--349
-
Goles:1993:LSS, 110(1)53--78
-
Goles:1994:LOS, 125(2)329--337
-
Goltz, Ursula, 124(1)169--179
-
Goltz:1994:FPN, 124(1)169--179
-
Gonzalez, D., 123(2)259--272
-
Gonzalez, D., see Clerbout, M.
-
good, 110(1)131--144, 112(2)291--309, 120(2)169--195
-
G{\o}ransson, Morten, Elvang-, 114(2)317--330
-
Gorrieri, R., 72(2)203--223
-
Gorrieri:1990:AA, 72(2)203--223
-
gossiping, 127(2)395--402
-
Goto, S., 85(2)333--351, 122(1)1--z
-
Goto:1991:PNN, 85(2)333--351
-
Goto:1994:PSI, 122(1)1--z
-
Gottlob, Georg, 114(2)231--245, 118(2)315--315
-
Gottlob, Georg, see Eiter, Thomas
-
Gouyou-Beauchamps, D., 71(3)381--400
-
Gouyou-Beauchamps, D., see Dulucq, S.
-
Gouyou-Beauchamps, Dominique, 117(1)137--151
-
Gouyou-Beauchamps, Dominique, see Choi, Seul Hee
-
GPC, 90(1)61--79
-
Grabmeier, J., 84(2)151--164
-
Grabmeier, J., see Clausen, M.
-
Grabner, Peter, 123(2)291--314
-
Grabner, Peter, see Flajolet, Philippe
-
Grabowski, Michal, 120(1)69--81
-
Grabowski:1993:SPP, 120(1)69--81
-
Gradel, E., 101(1)35--57
-
Gradel:1992:CCC, 101(1)35--57
-
grafts, 94(1)63--69
-
Graham-Harrison-Ruzzo, 80(1)53--75
-
Grahne, G., 78(1)159--187
-
Grahne, G., see Abiteboul, S.
-
grammar, graph-, 109(1)49--82
-
grammars, H-, 85(2)253--281
-
grammars, hci-, 80(1)53--75
-
grammars, T-, 81(2)269--288
-
grammatical, 81(2)269--288, 112(2)277--289, 117(1)113--130,
125(2)259--293
-
grams, 92(1)191--211
-
grams, q-, 92(1)191--211
-
Grandjean, E., 101(1)1--z
-
Grandjean:1992:E, 101(1)1--z
-
graph-based, 88(1)117--125, 95(2)339--340
-
graph-grammar, 109(1)49--82
-
graph-rewriting, 109(1)7--48
-
graph-theoretic, 83(2)189--203, 95(1)115--142
-
graphical, 101(2)289--335, 106(1)3--20, 133(2)307--340
-
graphics, 116(2)373--398
-
GraphLog, 116(1)95--116
-
graphs, st-, 119(2)331--343
-
Grassl, Hillman-, 117(1)273--287
-
grassmannians, 117(1)289--301
-
grate, 123(2)389--395
-
greatest, 75(1)67--83, 97(1)175--181
-
greedy, 94(2)223--236, 123(2)377--388, 130(1)49--72, 130(1)73--84,
134(2)473--491
-
greedy-style, 134(2)473--491
-
Greibach, 95(2)339--340
-
grid, 134(1)51--61
-
Grigorchuk, 88(1)83--98
-
Grigoriev, D. Yu, 133(1)23--33
-
Grigoriev:1994:DTS, 133(1)23--33
-
Gröbner, 117(1)z--z, 134(1)131--173
-
Groote, Jan Friso, 118(2)263--299
-
Groote:1993:TSS, 118(2)263--299
-
Grosse-Rhode, M., 71(3)347--380
-
Grosse-Rhode, M., see Ehrig, H.
-
Große-Rhode, Martin, 135(2)221--266,
see Ehrig, Hartmut
-
Grossi, Roberto, 108(2)345--356
-
Grossi:1993:FCS, 108(2)345--356
-
Grothendieck, 79(2)359--363, 112(1)53--97, 131(1)29--94
-
ground, 74(2)227--237, 75(1)85--110, 75(1)111--138, 76(2)309--322,
86(1)81--92, 100(1)105--135, 106(1)87--117, 107(2)277--303,
115(2)391--399, 127(1)69--98, 136(1)21--56
-
ground-reducible, 106(1)87--117
-
groundedness, 105(1)27--56
-
group, 70(2)193--211, 72(1)65--94, 80(1)117--120, 80(2)227--262,
84(1)23--52, 84(2)225--250, 84(2)251--264, 86(2)233--241,
87(2)229--249, 87(2)315--327, 88(1)83--98, 88(1)151--170,
89(2)207--343, 91(1)119--128, 93(2)327--331, 94(2)199--213,
95(2)263--277, 98(1)79--97, 98(1)115--133, 98(2)321--337,
99(2)231--241, 108(1)3--16, 108(1)119--149, 108(1)151--171,
108(1)z--z, 109(1)3--6, 112(2)187--214, 112(2)311--337, 115(1)3--41,
117(1)243--253, 120(1)101--121, 123(2)239--258, 123(2)259--272,
125(1)149--165, 134(1)3--11, 134(1)189--208, 134(1)209--223,
134(1)z--z
-
groupe, 98(1)79--97, 117(1)243--253
-
groupoids, 107(1)31--61
-
groups, sub-, 117(1)243--253
-
growing, 107(1)31--61
-
growth, 112(2)399--412, 120(2)229--245
-
Grue, Klaus, 102(1)1--134
-
Grue:1992:MT, 102(1)1--134
-
Grumberg, Orna, 131(1)139--179
-
Grumberg, Orna, see Fix, Limor
-
Grundy, 119(2)311--321
-
Grundy, Sprague-, 75(3)311--333
-
Gruska, J., 71(1)47--77
-
Gruska:1990:SSP, 71(1)47--77
-
Grzegorczyk, 125(2)355--360
-
GSOS, 131(1)181--195
-
G/sub, 113(2)191--210
-
Gu, Xunrang, 134(2)559--565
-
Gu:1994:AOH, 134(2)559--565
-
Guaiana, G., 97(2)301--311
-
Guaiana:1992:SFT, 97(2)301--311
-
guarantee, 128(1)75--97, 130(1)5--16
-
guard-commit, 75(1)67--83
-
guarded, 70(1)73--83, 75(1)67--83, 75(1)z--z, 82(2)403--408,
128(1)179--210
-
guardedness, well-, 82(2)403--408
-
guards, 70(1)73--83, 75(1)15--43, 77(1)97--129
-
Gucht, D., Van, 87(2)263--286
-
Guerra, C., 92(1)3--17
-
Guerra, C., see Apostolico, A.
-
Guibas, L., 92(2)319--336
-
Guibas, L., see Edelsbrunner, H.
-
Guibas, L. J., 84(1)77--105
-
Guibas, L. J., see Chazelle, B.
-
guingois, 117(1)67--89
-
Gunawardena, Jeremy, 101(2)265--288
-
Gunawardena:1992:CA, 101(2)265--288
-
Gunter, C. A., 103(2)311--334
-
Gunter:1992:MP, 103(2)311--334
-
Gyssens, M., 87(2)263--286
-
Gyssens:1991:CBA, 87(2)263--286