Index file section G for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
G
-
G.1.5, 1(1)162--170
-
G.3, 1(1)162--170
-
G3i, 16(1)8--8
-
G3i-derivation, 16(1)8--8
-
G3i-trees, 16(1)8--8
-
Gabbay, 16(1)9--9
-
Gabbay, Dov, 6(3)578--613
-
Gabbay, Dov, see Metcalfe, George
-
Gabbay, Murdoch J., 13(3)20--20
-
Gabbay, Murdoch J., see Dowek, Gilles
-
Gabbay-Pitts, 20(4)22--22
-
Gabbrielli, Maurizio, 5(4)706--731, 10(2)11--11, 13(1)6--6
-
Gabbrielli, Maurizio, see De Boer, Frank S.,
see Di Giusto, Cinzia
-
Gabbrielli:2009:CSC, 10(2)11--11
-
Gaboardi, Marco, 13(2)18--18
-
Gaboardi:2012:ICP, 13(2)18--18
-
Gadducci, Fabio, 15(4)35--35
-
Gadducci, Fabio, see Bonchi, Filippo
-
Gaifman, 2(1)135--153, 14(2)8--8, 16(1)9--9
-
Gaifman-locality, 2(1)135--153
-
gained, 17(3)20--20
-
gaining, 15(1)5--5
-
Gaintzarain, 14(4)28--28
-
Gaintzarain, Jose, 14(4)28--28
-
Gaintzarain:2013:LFM, 14(4)28--28
-
Gajarský, Jakub, 21(4)28--28, 21(4)29--29
-
Gajarsky:2020:FOI, 21(4)29--29
-
Gajarsky:2020:NPF, 21(4)28--28
-
Galesi, 12(1)4--4
-
Galesi, Nicola, 12(1)4--4, 14(3)20--20, 17(4)26--26
-
Galesi, Nicola, see Beyersdorff, Olaf,
see Carlucci, Lorenzo
-
Galesi:2010:OSD, 12(1)4--4
-
Gall, Daniel, 19(3)22--22
-
Gall:2018:OSC, 19(3)22--22
-
Gallo, Fabio R., 23(1)4--4
-
Gallo:2022:LBD, 23(1)4--4
-
Galmiche, Didier, 14(1)6--6
-
Galmiche, Didier, see Larchey-Wendling, Dominique
-
Galois, 11(4)24--24, 13(1)5--5
-
Game, Good-for-, 24(1)4--4
-
game-based, 9(1)1--1, 13(3)22--22
-
Game-Theoretic, 19(3)17--17
-
game-theoretic, 11(3)17--17, 16(3)25--25, 19(3)17--17, 19(4)26--26
-
Ganian, Robert, 17(2)10--10
-
Ganian, Robert, see Bova, Simone
-
Ganty, Pierre, 22(4)22--22
-
Ganty:2021:CAC, 22(4)22--22
-
GAP, 14(2)10--10
-
gap, 12(2)15--15, 14(1)1--1, 16(1)9--9, 16(2)12--12, 20(1)1--1, 20(1)5--5,
20(3)13--13
-
Gardenfors, 13(4)30--30
-
Garlík, Michal, 19(4)29--29
-
Garlik:2018:SSC, 19(4)29--29
-
Garner, Richard, 13(1)3--3
-
Garner, Richard, see Berg, Benno van den
-
Gascón, Adrià, 12(4)26--26
-
Gascon:2011:UMC, 12(4)26--26
-
Gastin, Paul, 14(2)9--9, 15(2)15--15
-
Gastin, Paul, see Bollig, Benedikt
-
Gastin:2013:FSA, 14(2)9--9
-
gates, 10(3)19--19
-
gathered, 19(4)28--28
-
Gaussian, 20(4)19--19
-
Gavanelli, Marco, 9(4)29--29
-
Gavanelli, Marco, see Alberti, Marco
-
gave, 15(1)4--4
-
Gay, Simon J., 19(4)28--28
-
Gay, Simon J., see Ardeshir-Larijani, Ebrahim
-
Gazda, Maciej, 16(4)29--29, 24(2)17--17
-
Gazda, Maciej, see Baxter, James,
see Cranen, Sjoerd
-
GCTL, 13(3)25--25
-
GDH.2, A-, 9(4)24--24
-
Gebser, Martin, 14(2)15--15
-
Gebser:2013:TCL, 14(2)15--15
-
Geck, Gaetano, 20(3)18--18
-
Geck:2019:PCC, 20(3)18--18
-
Geerts, Floris, 9(2)13--13
-
Geerts:2008:FOC, 9(2)13--13
-
Gelade, Wouter, 13(1)4--4, 13(3)19--19
-
Gelade:2012:DCF, 13(3)19--19
-
Gelade:2012:SCI, 13(1)4--4
-
Genaim, Samir, 9(3)17--17, 14(3)22--22, 15(4)33--33, 17(2)11--11
-
Genaim, Samir, see Albert, Elvira,
see Zanardini, Damiano
-
Genaim:2008:INS, 9(3)17--17
-
Genco, Francesco A., 19(2)11--11
-
Genco, Francesco A., see Ciabattoni, Agata
-
general, 1(1)33--59, 1(1)131--161, 1(2)175--207, 2(3)289--339,
4(4)417--430, 8(4)19--19, 8(4)23--23, 9(2)8--8, 9(3)15--15,
9(3)17--17, 9(4)24--24, 9(4)26--26, 10(1)5--5, 10(1)7--7,
10(2)13--13, 11(1)7--7, 11(3)19--19, 12(2)12--12, 12(2)16--16,
12(3)21--21, 12(4)24--24, 13(1)6--6, 13(2)16--16, 13(3)27--27,
14(1)2--2, 14(1)3--3, 14(2)16--16, 14(3)18--18, 14(3)24--24,
14(4)27--27, 14(4)32--32, 15(1)9--9, 15(2)16--16, 15(3)18--18,
15(4)28--28, 15(4)33--33, 15(4)34--34, 15(4)35--35, 16(1)1--1,
16(1)3--3, 16(1)5--5, 16(2)12--12, 16(3)27--27, 16(4)31--31,
16(4)32--32, 17(3)20--20, 17(3)22--22, 18(1)7--7, 18(2)9--9,
18(2)15--15, 18(2)17--17, 18(3)21--21, 18(4)32--32, 18(4)33--33,
19(1)5--5, 19(2)7--7, 19(2)10--10, 19(2)13--13, 19(3)16--16,
19(3)20--20, 19(3)21--21, 19(3)22--22, 19(3)23--23, 19(4)24--24,
19(4)28--28, 20(2)8--8, 20(2)11--11, 20(3)13--13, 20(3)16--16,
20(4)20--20, 20(4)21--21, 21(1)6--6, 21(1)7--7, 21(2)11--11,
21(4)29--29, 22(2)12--12, 22(3)20--20, 23(3)17--17, 23(4)23--23,
24(4)33--33
-
general-purpose, 10(1)4--4, 23(3)19--19
-
generalisation, 13(1)5--5, 20(4)22--22
-
generalise, 17(4)28--28, 19(2)7--7, 19(2)12--12, 19(3)18--18
-
generalised, 16(4)29--29, 18(2)12--12, 19(2)13--13
-
generalising, 14(2)8--8
-
generality, 10(2)13--13, 12(3)22--22, 13(2)10--10, 19(3)19--19
-
generalization, 11(4)23--23, 13(4)33--33, 14(1)5--5, 14(4)30--30,
15(1)3--3, 16(2)14--14, 18(1)7--7, 20(1)3--3, 20(2)12--12,
21(2)10--10, 21(4)33--33
-
generalize, 8(3)17--17, 8(4)21--21, 10(1)2--2, 10(3)17--17, 12(2)11--11,
13(2)12--12, 13(4)32--32, 13(4)33--33, 14(1)1--1, 14(2)15--15,
14(3)21--21, 16(3)27--27, 16(4)34--34, 17(3)19--19, 17(3)22--22,
18(2)14--14, 18(2)17--17, 18(3)23--23, 18(4)32--32, 20(1)3--3,
20(2)12--12, 21(3)18--18
-
generalized, 1(1)33--59, 2(1)135--153, 9(2)14--14, 9(4)26--26,
10(3)17--17, 12(3)22--22, 13(4)30--30, 13(4)32--32, 14(1)7--7,
14(2)10--10, 15(3)19--19, 15(3)22--22, 15(4)27--27, 16(2)12--12,
17(1)3--3, 18(1)7--7, 18(2)9--9, 19(4)27--27, 19(4)30--30, 20(1)3--3,
22(4)25--25, 24(1)7--7, 24(2)11--11
-
generalizing, 9(1)7--7, 10(3)17--17, 13(3)25--25, 16(1)9--9, 24(2)18--18
-
generally, 2(2)255--287, 2(3)289--339, 9(2)12--12, 10(3)20--20,
13(3)24--24, 15(4)30--30, 21(1)1--1, 23(1)1--1
-
generate, 2(1)93--134, 9(4)27--27, 10(3)20--20, 12(1)1--1, 13(1)1--1,
14(2)10--10, 15(4)28--28, 16(1)1--1, 16(1)8--8, 18(2)8--8,
18(3)25--25
-
generated, 1(2)247--284, 2(1)93--134, 10(2)10--10, 10(3)22--22,
12(1)1--1, 13(2)13--13, 14(2)8--8, 15(4)28--28, 16(1)8--8,
16(2)10--10, 17(4)23--23, 18(3)25--25, 20(1)2--2, 22(2)12--12,
22(3)16--16, 24(1)5--5
-
generated, term-, 11(4)27--27
-
generating, 15(4)30--30, 17(3)22--22, 18(3)25--25, 19(2)9--9,
19(2)10--10, 24(3)26--26, 24(4)31--31
-
generation, 5(2)177--205, 8(3)14--14, 8(4)19--19, 12(1)7--7, 14(3)17--17,
16(1)8--8, 18(2)8--8
-
generative, 10(2)9--9
-
generator, 5(1)1--25, 18(3)25--25
-
generic, 6(4)749--783, 9(2)13--13, 9(4)24--24, 10(1)3--3, 10(2)13--13,
10(4)29--29, 12(1)2--2, 14(1)4--4, 15(1)7--7, 16(4)32--32,
17(3)15--15, 19(1)4--4, 19(2)14--14, 23(2)11--11
-
generically, 19(4)24--24
-
genericity, 9(2)13--13
-
generics, 1-, 13(3)24--24
-
generous, 9(2)9--9
-
Genevès, Pierre, 16(2)16--16
-
Geneves:2015:EDC, 16(2)16--16
-
Gentzen, 10(2)14--14
-
genuine, 10(1)3--3
-
geometric, 9(2)13--13, 15(3)18--18, 17(3)21--21, 19(3)21--21,
19(4)25--25
-
geometry, 8(3)14--14, 10(2)8--8, 10(4)25--25, 19(4)25--25, 20(3)17--17
-
German, Steven, 2(1)93--134
-
German, Steven, see Bryant, Randal E.
-
Gervet, Carmen, 10(1)3--3
-
Gervet, Carmen, see Yorke-Smith, Neil
-
Gesbert, Nils, 16(2)16--16
-
Gesbert, Nils, see Genevès, Pierre
-
get, 1(1)33--59, 15(1)6--6, 17(2)14--14, 19(3)18--18, 21(1)6--6
-
Getoor, Lise, 8(4)24--24
-
Getoor, Lise, see Hung, Edward
-
getting, 15(4)34--34, 20(1)4--4, 21(1)6--6
-
GF, 9(4)26--26, 17(2)8--8, 17(4)32--32, 19(2)8--8, 21(3)20--20
-
GgPs, 9(4)26--26
-
Ghafari, Naghmeh, 13(1)7--7
-
Ghafari:2012:RPP, 13(1)7--7
-
Ghilardi, Silvio, 9(2)8--8, 13(3)21--21, 15(1)5--5, 21(1)4--4,
24(4)28--28
-
Ghilardi, Silvio, see Baader, Franz,
see Bruttomesso, Roberto
-
Ghilardi:2008:CCF, 9(2)8--8
-
Ghilardi:2020:FPE, 21(1)4--4
-
Ghilardi:2023:IRA, 24(4)28--28
-
Giacobazzi, Roberto, 6(1)33--60
-
Giacobazzi:2005:MAD, 6(1)33--60
-
Giacomo, Giuseppe, De, 2(4)495--525, 9(3)22--22
-
Gianola, Alessandro, 24(4)28--28
-
Gianola, Alessandro, see Ghilardi, Silvio
-
Giesl, Jürgen, 11(1)2--2, see Schneider-Kamp, Peter
-
Gil, Oliver Fernández, 21(2)12--12,
see Feng, Shiguang
-
Gilis, David, 7(4)765--797, 8(1)z--99999999
-
Gilis, David, see Vennekens, Joost
-
Giordano, Laura, 10(3)18--18, 10(3)21--21
-
Giordano:2009:ATC, 10(3)18--18
-
Giordano:2009:TCP, 10(3)21--21
-
Giovannetti, Elio, 11(4)25--25
-
Giovannetti, Elio, see Dezani-Ciancaglini, Mariangiola
-
Girard, 10(2)8--8, 10(2)12--12, 19(4)25--25
-
Giraud, 16(3)23--23
-
Giusto, Cinzia, Di, 13(1)6--6
-
Givan, Robert, 3(4)521--541
-
Givan:2002:PTC, 3(4)521--541
-
give, 1(1)3--32, 1(1)33--59, 1(1)131--161, 2(1)135--153, 2(3)408--429,
8(4)20--20, 8(4)23--23, 9(2)9--9, 9(2)10--10, 9(2)11--11, 9(3)20--20,
9(4)28--28, 10(1)3--3, 10(1)4--4, 10(1)5--5, 10(1)7--7, 10(2)12--12,
10(3)18--18, 11(3)16--16, 11(4)23--23, 12(4)24--24, 13(2)16--16,
13(3)20--20, 13(4)31--31, 13(4)32--32, 13(4)34--34, 14(2)9--9,
14(2)14--14, 14(4)25--25, 14(4)34--34, 15(1)3--3, 15(1)9--9,
15(2)14--14, 15(2)15--15, 15(2)17--17, 15(4)26--26, 16(3)19--19,
16(4)28--28, 17(2)8--8, 17(4)32--32, 18(3)20--20, 18(4)30--30,
19(1)4--4, 19(3)23--23, 19(4)25--25, 19(4)29--29, 20(1)1--1,
20(2)12--12, 20(3)14--14, 21(1)4--4, 21(1)6--6, 21(2)14--14,
21(4)28--28, 23(3)14--14, 23(4)26--26
-
given, task-, 16(4)31--31
-
giving, 10(4)29--29, 18(3)25--25, 19(1)5--5, 19(1)6--6, 19(2)13--13
-
Glabbeek, 19(4)25--25
-
Glabbeek, Rob J., Van, 5(1)26--78, 6(4)784--842
-
Gliozzi, Valentina, 10(3)18--18, 10(3)21--21
-
Gliozzi, Valentina, see Giordano, Laura
-
global, 8(3)15--15, 8(3)16--16, 8(4)21--21, 8(4)24--24, 9(3)19--19,
13(3)21--21, 14(4)27--27, 14(4)29--29, 17(1)2--2, 17(2)11--11,
18(2)14--14, 19(2)13--13, 20(3)16--16, 23(2)11--11
-
globally, 15(3)25--25
-
glued, 15(4)34--34
-
Gnaedig, Isabelle, 10(2)10--10
-
Gnaedig:2009:TRU, 10(2)10--10
-
GNF, 17(2)8--8
-
goal, 1(1)33--59, 8(4)19--19, 8(4)20--20, 9(3)17--17, 10(1)1--1,
12(4)24--24, 14(2)14--14, 14(4)33--33, 15(3)18--18, 15(4)34--34,
16(1)6--6, 16(1)8--8, 16(3)25--25, 16(4)33--33, 16(4)35--35,
17(2)11--11, 18(1)6--6, 20(4)21--21, 21(3)22--22, 23(4)21--21,
24(3)25--25
-
goal-directed, 6(3)539--577, 13(4)32--32
-
goal-oriented, 16(1)8--8
-
Gödel, 10(4)26--26, 16(3)26--26, 16(4)35--35, 19(3)18--18
-
Godoy, Guillem, 5(2)321--331, 12(4)26--26
-
Godoy, Guillem, see Gascón, Adrià
-
Godoy:2004:CTR, 5(2)321--331
-
GoI, 19(4)25--25
-
going, 11(4)27--27, 13(2)11--11, 13(4)29--29, 19(4)24--24
-
going, on-, 24(3)21--21
-
Goldblatt, Robert, 13(3)26--26
-
Goldblatt:2012:WSP, 13(3)26--26
-
Göller, Stefan, 15(4)26--26, 16(1)9--9
-
Goller:2014:RPR, 15(4)26--26
-
Goller:2015:CDM, 16(1)9--9
-
Golovach, Petr A., 23(3)17--17
-
Golovach, Petr A., see Fomin, Fedor V.
-
Goncharov, Sergey, 21(3)23--23
-
Goncharov:2020:TUT, 21(3)23--23
-
Gonthier, 10(2)8--8
-
González, Saúl Fernández, 23(2)10--10,
see Balbiani, Philippe
-
good, 11(3)18--18, 12(2)13--13, 13(3)20--20, 15(3)24--24, 15(4)32--32,
16(1)1--1, 20(1)1--1, 21(3)21--21
-
Good-for-Game, 24(1)4--4
-
goodness, 10(1)5--5
-
Goranko, Valentin, 11(1)3--3, 17(1)4--4, 19(3)17--17, 23(4)21--21
-
Goranko, Valentin, see Cerrito, Serenella,
see Enqvist, Sebastian
-
Goranko:2009:TBD, 11(1)3--3
-
Goranko:2018:GTS, 19(3)17--17
-
Goré, Rajeev, 19(2)13--13, see Hóu, Zhé
-
Gorrieri, Roberto, 3(4)465--520
-
Gorrieri, Roberto, see Bravetti, Mario
-
Gottlob, Georg, 3(1)42--79, 6(2)232--272, 7(3)499--562, 12(1)3--3,
15(3)20--20, 21(1)6--6
-
Gottlob, Georg, see Aschinger, Markus,
see Benedikt, Michael, \see{Cadoli, Marco,
see Leone, Nicola
-
Gottlob:2002:DLD, 3(1)42--79
-
Gottlob:2010:MDF, 12(1)3--3
-
Goualard, Frédéric, 5(4)732--767,
see Benhamou, Frédéric
-
Gouveia, Maria João, 21(1)4--4, see Ghilardi, Silvio
-
Governatori, Guido, 2(2)255--287, 12(1)6--6
-
Governatori, Guido, see Antoniou, Grigoris,
see Billington, David
-
governed, norm-, 10(1)1--1
-
governing, 10(1)1--1
-
governs, 14(2)10--10
-
gPs, 9(4)26--26
-
GPU, 18(1)3--3
-
GPUs, 18(1)3--3
-
graded, 8(3)18--18, 10(2)13--13, 13(3)25--25, 18(2)15--15, 19(1)4--4
-
Grädel, Erich, 3(1)42--79, 3(3)418--463, 4(3)295--295, 5(2)282--315,
23(2)13--13, see Dawar, Anuj,
see Gottlob, Georg
-
Gradel:2002:BFB, 3(3)418--463
-
Gradel:2003:LSI, 4(3)295--295
-
Gradel:2022:LMS, 23(2)13--13
-
gradually, 12(3)21--21
-
grained, fine-, 14(2)15--15, 14(3)24--24, 18(4)33--33
-
grained, finer-, 19(4)25--25
-
grammar, 11(3)20--20, 12(4)26--26, 13(2)12--12, 18(4)26--26
-
grammar-based, 12(4)26--26
-
Grandjean, Etienne, 8(4)21--21
-
Grandjean, Etienne, see Durand, Arnaud
-
grant, 15(4)27--27
-
granularity, 14(2)15--15
-
granulation, 20(2)7--7
-
graph, CFI-, 19(2)7--7
-
Graph-Structured, 18(4)27--27
-
graph-structured, 18(4)27--27
-
graph-theoretic, 18(4)29--29
-
Graph., 10(4)29--29
-
graphics, 18(1)3--3
-
graphlike, 18(1)1--1
-
Graphs, !?-Flow-, 12(4)23--23
-
graphs, CFI-, 19(2)7--7
-
grasp, 1(1)33--59
-
Gratzer, Daniel, 23(3)18--18
-
Gratzer:2022:MPA, 23(3)18--18
-
Gray, David, 9(1)2--2
-
Gray, David, see Avigad, Jeremy
-
great, 1(1)131--161, 9(3)22--22, 16(1)1--1
-
greater, 14(2)13--13, 15(1)8--8, 15(4)33--33, 20(4)22--22
-
greatest, 10(1)2--2, 13(1)2--2, 14(3)21--21, 21(1)4--4
-
greatly, 2(1)93--134, 17(2)11--11
-
Greco, Gianluigi, 9(1)7--7
-
Greco, Gianluigi, see Angiulli, Fabrizio
-
Greco, Giuseppe, 23(4)23--23, 24(2)13--13
-
Greco, Giuseppe, see Chen, Jinsheng
-
Greco, Sergio, 18(4)28--28
-
Greco, Sergio, see Calautti, Marco
-
Greco:2023:LLP, 24(2)13--13
-
GREEDY-SNDOPs, 14(2)10--10
-
grid, 13(1)9--9, 15(1)2--2, 16(3)27--27, 19(2)8--8
-
grid-free, 20(3)17--17
-
grid-like, 16(3)27--27
-
Griffioen, David, 5(4)577--610
-
Griffioen:2004:TNS, 5(4)577--610
-
Griggio, Alberto, 12(1)7--7, 19(3)19--19
-
Griggio, Alberto, see Cimatti, Alessandro
-
Grohe, Martin, 1(1)112--130, 3(3)336--358, 17(4)25--25, 24(1)6--6
-
Grohe, Martin, see Elberfeld, Michael
-
Grohe:2000:LOI, 1(1)112--130
-
Grohe:2002:FOT, 3(3)336--358
-
Grohe:2023:CDG, 24(1)6--6
-
Groote, Jan Friso, 18(2)13--13
-
Groote:2017:ACS, 18(2)13--13
-
ground, 6(1)102--123, 8(3)17--17, 9(4)26--26, 10(1)4--4, 10(2)10--10,
10(3)20--20, 13(2)13--13, 13(2)18--18, 15(2)14--14, 15(4)26--26,
15(4)32--32, 18(2)17--17, 18(4)28--28, 20(4)25--25
-
ground-breaking, 19(1)1--1
-
ground-complete, 10(1)6--6
-
grounded, 16(3)22--22
-
grounding, 14(3)17--17, 15(4)32--32
-
groundwork, 8(3)15--15
-
group, 9(2)13--13, 9(4)24--24, 14(3)23--23, 14(4)30--30, 17(1)5--5,
19(2)7--7, 19(3)21--21, 21(2)16--16
-
grouping, 15(3)21--21
-
grow, 14(4)30--30, 23(1)4--4
-
growing, 13(1)1--1, 15(1)6--6, 16(1)6--6
-
growth, 20(4)19--19
-
Grumberg, Orna, 4(2)181--206, 9(1)1--1
-
Grumberg, Orna, see Bustan, Doron,
see Shoham, Sharon
-
Grüninger, Michael, 20(4)20--20, 24(1)9--9,
see Aameri, Bahar
-
Grzegorczyk, 14(4)31--31
-
gso, 17(4)25--25
-
GTRS, 15(4)26--26
-
GTS, 16(4)29--29, 19(3)17--17
-
GTSs, 16(4)29--29
-
guarantee, 10(2)9--9, 11(3)16--16, 11(3)20--20, 14(4)32--32, 15(4)33--33,
16(1)8--8, 17(1)5--5, 18(1)6--6, 20(2)12--12, 20(3)13--13,
24(3)25--25
-
guarantee, assume-, 11(3)16--16
-
guaranteed, 10(1)3--3, 10(1)4--4, 15(4)32--32, 15(4)33--33
-
guaranteeing, 19(1)5--5
-
guarded, 1(1)3--32, 2(4)495--525, 3(3)418--463, 9(4)26--26, 10(2)11--11,
13(1)6--6, 17(2)8--8, 17(4)25--25, 17(4)32--32, 19(2)8--8,
20(2)12--12, 21(3)20--20, 24(1)1--1, 24(1)3--3
-
guards, 19(2)8--8
-
Guatto, Adrien, 23(3)18--18
-
Guatto, Adrien, see Gratzer, Daniel
-
Guerrini, Stefano, 10(2)12--12
-
Guerrini:2009:PTC, 10(2)12--12
-
guessing, 17(4)23--23
-
Guest, 10(4)23--23
-
Guglielmi, Alessio, 8(1)z--99999999, 10(2)14--14, 12(4)23--23,
19(1)5--5, 23(4)26--26
-
Guglielmi, Alessio, see Barrett, Chris,
see Bruscoli, Paola,
see Burger, Lutz Straß,
see Tubella, Andrea Aler
-
Guglielmi:2007:SIS, 8(1)z--99999999
-
Guha, Shibashis, 22(1)7--7
-
Guha, Shibashis, see Berthon, Raphaël
-
guide, 16(4)32--32, 20(4)22--22, 20(4)25--25
-
guided, 12(1)1--1
-
guided, counterexample-, 12(1)1--1
-
Guidi, Ferruccio, 11(1)5--5, 23(1)2--2
-
Guidi:2009:FS, 11(1)5--5
-
Guidi:2022:FSU, 23(1)2--2
-
Guller, Dusan, 19(3)18--18
-
Guller:2018:ADG, 19(3)18--18
-
Gurevich, 19(2)7--7
-
Gurevich, Yuri, 1(1)77--111, 2(1)1--11, 4(4)578--651, 7(2)363--419,
8(3)15--15, 8(3)16--16, 9(3)18--18, 9(3)19--19, 12(2)9--9,
12(2)16--16
-
Gurevich, Yuri, see Blass, Andreas
-
Gurevich:2000:SAS, 1(1)77--111
-
Gurevich:2011:LIP, 12(2)9--9
-
Gurfinkel, Arie, 13(1)1--1, 13(1)7--7
-
Gurfinkel, Arie, see Ghafari, Naghmeh
-
Gurfinkel:2012:RVB, 13(1)1--1
-
Gutierrez, 22(2)8--8
-
Gutierrez, Julian, 22(2)8--8
-
Gutierrez:2021:ENE, 22(2)8--8
-
Gyssens, 14(4)30--30