Index file section F for jsymcomp.bib
Last update: Wed Mar 6 02:01:19 MST 2024
Return to index directory
F
-
F, 15(5)641--672
-
F-LIMETTE, 22(5)721--735
-
F5, 45(12)1442--1458, 46(9)1017--1029, 82(z)164--165, 102(z)132--152
-
F5, Matrix-, 80(z)329--350, 89(z)227--254
-
F5C, 45(12)1442--1458
-
Faber, 22(3)345--354
-
Faccin, Paolo, 56(z)27--45
-
Faccin, Paolo, see Dietrich, Heiko
-
face, 77(z)162--174
-
face-compatible, 17(5)457--472
-
facility, 7(1)71--84, 39(5)503--521
-
fact, 22(5)649--664
-
factor, 4(1)111--122, 5(3)295--302, 5(3)303--320, 12(4)459--474,
12(4)517--526, 15(1)91--98, 15(2)123--142, 16(2)115--130,
16(2)131--145, 17(1)51--90, 21(3)313--328, 22(4)377--380,
27(4)367--386, 27(5)501--519, 44(7)908--922, 45(12)1296--1315,
46(7)755--772, 47(4)492--502, 50(z)532--563, 52(z)3--16,
75(z)171--192, 104(z)183--206, 108(z)98--116, 112(z)105--121
-
factor, co-, 10(2)138--164
-
factor, Single-, 38(6)1507--1521, 47(11)1318--1346
-
factor, single-, 15(4)393--414
-
factorial, 20(3)235--268
-
factorial-basis, 117(z)15--50
-
factorially, 6(2)149--168
-
factoring, 1(2)241--243, 2(1)99--102, 2(2)179--200, 4(1)123--127,
9(3)229--240, 10(1)7--37, 13(1)47--58, 21(3)313--328, 21(4)397--410,
26(4)463--486, 26(5)583--606, 31(1)3--17, 31(1)19--36,
32(5)533--547, 36(3)443--471, 39(6)617--630, 40(6)1325--1339,
42(1)159--177, 43(8)515--544, 58(z)77--98, 75(z)127--148,
79(z)411--443, 96(z)22--61, 104(z)805--823, 105(z)199--213
-
factorisation, 4(1)3--10, 4(1)69--75, 5(3)303--320, 15(4)393--414,
43(5)311--341
-
factorise, 108(z)23--40
-
factorization, 1(1)57--67, 1(2)235--240, 1(2)241--243, 2(1)99--102,
2(3)217--236, 4(1)3--10, 5(3)303--320, 7(1)49--54, 7(5)445--456,
9(3)300--320, 10(1)7--37, 11(5)421--438, 11(5)439--454, 13(1)47--58,
15(4)371--392, 15(4)393--414, 15(5)547--570, 16(5)401--412,
17(3)277--282, 17(6)545--563, 18(6)573--584, 19(4)305--320,
19(5)435--440, 20(3)235--268, 20(4)363--398, 21(3)313--328,
21(4)377--396, 23(2)241--254, 24(1)1--30, 24(5)537--562,
26(1)89--95, 33(5)701--733, 37(2)157--186, 37(5)557--574,
38(5)1429--1443, 38(6)1461--1470, 40(3)1053--1075, 41(6)682--696,
42(4)477--494, 43(5)359--376, 44(7)703--725, 44(9)1194--1211,
45(12)1280--1295, 46(5)609--621, 47(11)1318--1346, 60(z)47--61,
66(z)34--69, 71(z)98--123, 75(z)56--73, 77(z)175--188,
85(z)188--205, 92(z)190--202, 92(z)269--297, 94(z)126--148,
99(z)189--230, 115(z)266--284
-
factorization-free, 18(6)519--540, 29(4)641--662
-
factorizing, 15(2)123--142
-
Faculty of RISC-Linz, 41(3)255--258
-
Faculty of RISC-Linz, see Hong, Hoon
-
Fages, François, 3(3)257--275
-
Fages:1987:ACU, 3(3)257--275
-
Fagin, Ronald, 1(2)169--188
-
Fagin, Ronald, see Borodin, Allan
-
Fahmy, Amr F., 15(5)807--842
-
Fahmy:1993:SRT, 15(5)807--842
-
fail, 104(z)134--141
-
Failed, 18(6)497--502
-
failure, 7(3)295--318, 11(3)205--212
-
Fairbairn, B. T., 44(8)1044--1067
-
Fairbairn, B. T., see Curtis, R. T.
-
fairness, 21(4)507--522, 22(5)521--554
-
Faisant, Alain, 42(5)549--560, 46(12)1403--1412
-
Faisant, Alain, see Bretto, Alain
-
faithful, 9(5)551--570, 19(6)527--544, 19(6)585--600, 33(1)31--41
-
Falcón, R. M., 42(11)1142--1154
-
Falcón, Raúl M., 89(z)26--40,
see Álvarez, Víctor
-
Falcon:2007:GBN, 42(11)1142--1154
-
Falkensteiner, Sebastian, 108(z)137--151, 114(z)1--17, 115(z)53--73
-
Falkensteiner, Sebastian, see Cano, José
-
Falkensteiner:2023:IFT, 115(z)53--73
-
fall, 87(z)207--226, 114(z)322--335
-
false, 13(3)255--299, 14(6)619--644
-
Famelis, I. Th, 37(3)311--327
-
Famelis:2004:SDR, 37(3)311--327
-
familiar, 1(1)69--100
-
family, 8(5)537--541, 10(2)203--208, 26(2)151--171, 26(2)173--185,
32(3)231--253, 33(3)275--305, 34(5)437--449, 38(3)1145--1163,
38(4)1191--1205, 39(1)51--60, 41(9)980--998, 42(8)803--834,
43(4)304--309, 45(1)1--18, 46(9)1070--1084, 47(8)926--941,
55(z)10--18, 65(z)29--48, 80(z)251--272, 101(z)352--366,
104(z)874--898, 106(z)68--77
-
fan, 6(2)183--208, 24(3)443--464, 39(2)127--153, 41(10)1091--1104,
83(z)315--341
-
Fano, 119(z)81--89
-
Far, 7(3)275--294
-
Faridi, Sara, 42(1)74--88
-
Faridi, Sara, see Caboara, Massimo
-
Farmer, William M., 19(1)201--216
-
Farmer:1995:CMR, 19(1)201--216
-
Farouki, Rida, 9(4)405--422
-
Farouki, Rida, see Sakkalis, Takis
-
Farouki, Rida T., 23(2)301--314, 44(2)161--179, 44(4)307--332,
45(8)844--856, 47(2)214--226, 58(z)1--17, 58(z)99--102,
73(z)87--103, 74(z)140--151, 95(z)202--216
-
Farouki:1997:CAC, 23(2)301--314
-
Farouki:2009:HPCa, 44(2)161--179
-
Farouki:2009:HPCb, 44(4)307--332
-
Farouki:2010:RRM, 45(8)844--856, 58(z)99--102
-
Farouki:2012:CCQ, 47(2)214--226
-
Farouki:2013:CSR, 45(8)844--856, 58(z)99--102
-
Farouki:2013:SVA, 58(z)1--17
-
Farouki:2016:GRS, 73(z)87--103
-
Farouki:2016:SQQ, 74(z)140--151
-
Farouki:2019:EPH, 95(z)202--216
-
Farrán, J. I., 48(z)54--63
-
Farran:2013:GBN, 48(z)54--63
-
Fassino, Claudia, 43(12)883--894, 45(1)19--37
-
Fassino, Claudia, see Abbott, John
-
Fassino:2010:AVP, 45(1)19--37
-
fast, 1(1)57--67, 2(4)357--362, 4(2)233--254, 9(3)320--320,
10(3)253--280, 12(4)459--474, 15(4)415--450, 16(3)295--304,
16(4)321--328, 17(3)227--236, 17(5)371--391, 18(6)573--584,
19(6)507--526, 26(6)691--714, 29(1)33--57, 30(4)451--467,
31(3)315--341, 31(6)717--743, 33(1)13--29, 33(4)385--392,
36(3)473--499, 37(2)137--156, 37(2)261--293, 37(4)455--484,
41(1)1--29, 44(7)726--767, 44(7)891--907, 46(7)841--858,
47(5)536--551, 47(7)771--792, 47(7)859--882, 50(z)208--226,
72(z)231--251, 80(z)484--501, 83(z)187--210, 89(z)194--215,
94(z)234--254, 98(z)192--224, 98(z)270--283, 104(z)381--401,
104(z)824--854, 105(z)28--63, 114(z)302--321, 115(z)96--123,
115(z)285--315, 116(z)146--182, 123(z)z--99999999
-
faster, 12(3)329--336, 18(4)373--378, 28(1)155--186, 36(3)513--533,
44(10)1502--1510, 45(6)677--683, 47(4)454--479, 60(z)113--119,
75(z)4--24, 79(z)411--443, 87(z)238--241, 101(z)367--386
-
fat, 91(z)3--16, 109(z)510--519
-
Fateman, Richard J., 13(5)545--579
-
Fateman:1992:RM, 13(5)545--579
-
Faugère, 45(12)1442--1458
-
Faugere, J. C., 16(4)329--344
-
Faugère, Jean-Charles, 44(3)221--221, 44(12)1605--1607,
44(12)1608--1625, 44(12)1676--1689, 46(4)406--437, 46(4)459--466,
47(8)926--941, 55(z)30--58, 64(z)1--2, 70(z)49--70, 76(z)107--141,
80(z)538--569, 80(z)719--784, 83(z)36--67, 101(z)270--303,
105(z)71--96, 109(z)1--30, 116(z)365--399,
see Albrecht, Martin R.,
see Augot, Daniel, \see{Bardet, Magali,
see Bender, Matías R.,
see Berthomieu, Jérémy,
see Eder, Christian
-
Faugere:1993:ECZ, 16(4)329--344
-
Faugere:2009:EAD, 44(12)1676--1689
-
Faugere:2009:F, 44(3)221--221
-
Faugere:2011:ADS, 46(4)459--466
-
Faugere:2011:GBB, 46(4)406--437
-
Faugere:2013:CGM, 55(z)30--58
-
Faugere:2014:MCA, 64(z)1--2
-
Faugere:2016:CCG, 76(z)107--141
-
Faugere:2017:SFA, 80(z)538--569
-
Faugere:2023:CCP, 116(z)365--399
-
Fault-tolerant, 80(z)707--718
-
Favorite, 29(6)891--919
-
Fawcett, L. R., 4(3)381--390, 13(2)221--230
-
Fawcett, L. R., see Beyer, W. A.
-
feasibility, 47(4)454--479
-
feasible, 4(2)137--172, 16(2)189--226, 104(z)942--959
-
feature, 3(1)3--38, 7(3)343--370, 13(4)441--461, 17(5)421--455
-
February, January-, 120(z)z--z
-
Fee, G. J., 2(2)179--200
-
Fee, G. J., see Char, Bruce W.
-
Fee, Greg J., 14(1)103--120
-
Fee, Greg J., see Carminati, John
-
feedback, 5(3)321--338, 24(2)153--160
-
Feinsilver, Philip, 26(3)329--338
-
Feinsilver:1998:CRL, 26(3)329--338
-
Feit, W., 4(1)93--97
-
Felszeghy, Bálint, 41(6)663--681
-
Felszeghy:2006:LGS, 41(6)663--681
-
Felty, Amy, 23(4)367--398
-
Felty:1997:ITP, 23(4)367--398
-
Feng, Huichun, 5(1)131--140
-
Feng, Huichun, see Arnborg, Stefan
-
Feng, Lei, 66(z)84--97
-
Feng, Ruyong, 41(7)739--762, 43(10)746--763, 45(3)287--305,
45(3)306--323, 68(z)1--26, 73(z)175--191
-
Feng, Ruyong, see Chen, Shaoshi
-
Feng:2006:PTA, 41(7)739--762
-
Feng:2008:RSO, 43(10)746--763
-
Feng:2010:ACL, 45(3)306--323
-
Feng:2010:LSL, 45(3)287--305
-
Feng:2015:ACM, 66(z)84--97
-
Feng:2016:CIT, 73(z)175--191
-
Feo, Luca, De, 47(7)771--792
-
Fermat, 21(4)377--396, 44(6)591--605, 71(z)60--72, 80(z)502--510,
95(z)177--184, 120(z)z
-
fermions, 10(6)657--664
-
Fermüller, Christian G., 19(4)353--391,
see Baaz, Matthias
-
Fernández, Maribel, 22(1)49--82, 26(1)97--133
-
Fernández-Sánchez, Jesús, 104(z)653--682,
see Casanellas, Marta
-
Fernandez:1996:ACP, 22(1)49--82
-
Fernandez:1998:NEE, 26(1)97--133
-
Fernando, José F., 79(z)57--64
-
Fernando:2017:SPO, 79(z)57--64
-
Ferrari, Luca, 113(z)126--138
-
Ferrari, Luca, see Bean, Christian
-
Ferreira, Jorge N. M., 79(z)356--371
-
Ferreira, Nelson, Martins-, 61(z)53--65
-
Ferreira:2017:IRS, 79(z)356--371
-
Ferro, Giuseppa Carrá, 41(1)112--121, 41(5)619--619
-
Ferro, Giuseppa Carrà, 6(2)219--230
-
Ferro:1988:GBH, 6(2)219--230
-
Ferro:2006:EIB, 41(1)112--121, 41(5)619--619
-
Ferro:2006:IBM, 41(1)112--121, 41(5)619--619
-
Festi, Dino, 106(z)48--67
-
Festi, Dino, see Besier, Marco
-
Fetzer, Matthias, 68(z)4--26
-
Fetzer, Matthias, see Albert, Mario
-
Fevola, Claudia, 114(z)282--301, 120(z)z
-
Fevola, Claudia, see Agostini, Daniele
-
Fevola:2024:HVR, 120(z)z
-
few, 15(5)641--672, 30(6)843--857, 41(10)1125--1154, 46(8)889--903
-
Fewer, 9(3)229--240
-
Feynman, 47(10)1267--1289
-
FFT, 45(8)857--878
-
FFT-based, 109(z)88--115
-
FFT-like, 33(1)123--127
-
FGLM, 30(4)429--449, 80(z)538--569, 82(z)38--56
-
FGLM, Scalar-, 101(z)270--303
-
FGLM, sparse-, 98(z)163--191
-
fiber, 74(z)276--307, 74(z)578--591, 91(z)98--115, 94(z)52--69
-
fibration, 7(1)93--100, 94(z)149--172
-
Fieker, C., 24(3)267--283, 24(3)267--284
-
Fieker, C., see Daberkow, M.
-
Fieker, Claus, 30(2)129--136, 38(1)833--842, 80(z)581--615,
116(z)243--262
-
Fieker, Claus, see Acciaro, Vincenzo,
see Biasse, Jean-François
-
Fieker:2004:MRN, 38(1)833--842
-
Fieker:2023:CSF, 116(z)243--262
-
field, -, 107(z)23--66
-
Fienberg, Stephen E., 41(2)222--233
-
Fienberg, Stephen E., see Eriksson, Nicholas
-
fifteen, 16(5)413--422
-
Figueroa, Fernando, Sanchez-, 46(2)207--217
-
file, 15(1)91--98, 22(5)585--614
-
Filgueiras, Miguel, 19(6)507--526
-
Filgueiras:1995:FMF, 19(6)507--526
-
filiform, 108(z)73--90
-
filiform, quasi-, 44(5)527--539
-
Filippi, Siegfried, 9(1)49--60
-
filtration, 91(z)98--115
-
Filtrations, 34(5)399--435
-
final, 11(5)595--618, 15(5)607--640, 116(z)139--145
-
finally, 8(1)101--140, 47(2)123--130
-
Finance, 33(3)343--355
-
find, 15(5)641--672, 36(6)835--843, 53(z)1--25
-
finding, 5(3)321--338, 12(4)517--526, 15(5)467--494, 16(4)321--328,
19(1)145--158, 19(6)507--526, 20(5)537--566, 20(5)637--652,
25(1)45--60, 26(3)343--354, 26(6)739--760, 28(1)187--212,
28(3)339--360, 30(2)129--136, 30(3)309--323, 38(6)1523--1533,
41(3)475--511, 41(7)739--762, 46(6)659--671, 46(7)755--772,
47(3)259--265, 47(10)1290--1296, 66(z)98--110, 74(z)205--238,
117(z)15--50, 122(z)z
-
finding, Root-, 33(5)701--733
-
fine, 42(5)497--510
-
fine-grain, 4(3)269--293
-
FINGER, 2(3)305--316
-
finitary, 20(3)343--362
-
finite, C-, 43(11)787--803
-
finite, -, 85(z)108--127, 94(z)90--104, 95(z)217--237,
116(z)400--424
-
finite, polycyclic-by-, 79(z)269--284
-
finite, Representation-, 32(5)491--497
-
finite-dimension, 6(1)105--112
-
finite-dimensional, 2(4)357--362, 6(2)371--388, 36(3)443--471,
37(5)575--587
-
finite-precision, 80(z)329--350
-
finite-state, 12(4)397--414, 17(4)341--350
-
finite-value, 19(4)353--391
-
finitely, 1(4)383--418, 3(1)3--38, 3(3)231--247, 4(1)111--122, 5(1)3--28,
5(3)339--358, 7(5)457--472, 9(1)27--38, 9(5)707--724, 12(4)415--426,
12(4)427--438, 12(4)439--442, 15(2)123--142, 16(6)523--550,
18(2)91--112, 21(3)337--350, 22(2)155--178, 24(3)335--350,
25(1)45--60, 26(5)621--648, 30(4)469--490, 31(1)133--147,
31(6)631--649, 32(3)255--262, 41(3)372--380, 41(5)559--572,
80(z)416--450, 92(z)203--210, 93(z)230--245
-
finitely-generated, 33(1)31--41, 72(z)196--205
-
finitely-presented, 44(7)786--800
-
finitely-valued, 13(3)235--254
-
finiteness, 8(1)3--50, 12(2)127--142, 18(2)91--112, 22(2)155--178,
44(8)1037--1043, 50(z)314--334, 74(z)650--652, 123(z)z--99999999
-
finitistic, 37(4)537--546
-
Finkelstein, Larry, 12(4)475--498, 17(6)513--528, 24(3)471--488
-
Finkelstein, Larry, see Cooperman, Gene
-
Fioravanti, Mario, 41(11)1187--1205
-
Fioravanti:2006:CIT, 41(11)1187--1205
-
Fiore, Marcelo, 37(6)707--716
-
Fiore:2004:ORG, 37(6)707--716
-
first, 1(1)7--29, 1(2)229--234, 1(4)351--362, 2(1)59--81, 3(1)133--151,
7(3)371--425, 8(1)101--140, 8(6)605--628, 10(1)59--94,
11(1)129--148, 13(3)255--299, 13(6)683--693, 14(5)437--458,
14(6)619--644, 15(5)607--640, 16(5)423--444, 18(1)41--82,
18(1)83--86, 19(1)245--268, 20(5)567--594, 36(1)1--3, 36(5)685--698,
41(7)739--762, 41(10)1125--1154, 45(12)1341--1358,
45(12)1426--1441, 46(8)889--903, 46(11)1284--1290, 108(z)137--151,
124(z)z--99999999
-
first, Depth-, 36(1)117--138
-
first-, 2(3)293--304, 5(1)3--28, 13(3)301--328, 13(3)329--352,
19(4)353--391
-
First-Order, 13(3)255--299, 13(3)301--328
-
first-order, 4(2)173--190, 8(1)101--140, 11(1)3--19, 11(1)21--50,
13(3)235--254, 13(3)329--352, 15(5)705--744, 16(5)445--477,
17(1)51--90, 19(4)321--352, 19(6)601--623, 20(3)315--342,
22(4)401--424, 29(2)117--118, 47(9)1009--1010, 54(z)36--58,
87(z)127--139
-
Fish, W., 45(7)800--812
-
Fish:2010:BCL, 45(7)800--812
-
Fisher, M., 22(5)627--648
-
Fisher, T. A., 44(6)673--682
-
Fisher, T. A., see Cremona, J. E.
-
Fisher:1996:TSC, 22(5)627--648
-
Fisikopoulos, Vissarion, 73(z)139--152
-
Fisikopoulos, Vissarion, see Emiris, Ioannis Z.
-
Fitch, J. P., 11(3)291--305
-
Fitch, J. P., see Cohen, H. I.
-
Fitch, John P., 1(2)211--228
-
Fitch:1985:SAP, 1(2)211--228
-
Fitt, A. D., 8(3)305--308
-
Fitt:1989:SCH, 8(3)305--308
-
fitting, 13(5)485--510, 23(2)229--240, 23(2)241--254, 23(2)255--266,
23(2)267--286, 23(2)301--314, 23(2)315--333
-
Fitzpatrick, 35(4)451--461
-
Fitzpatrick, Patrick, 13(2)133--138, 24(5)575--590, 31(5)565--584,
45(7)721--722
-
Fitzpatrick, Patrick, see Byrne, Eimear,
see Campillo, Antonio
-
Fitzpatrick:1992:GBT, 13(2)133--138
-
Fitzpatrick:1997:SMC, 24(5)575--590
-
five, 20(5)725--730, 116(z)213--242
-
five-body, 6(1)117--127
-
Fix, George, 21(3)329--336
-
Fix:1996:IRP, 21(3)329--336
-
fixed, 4(2)207--232, 6(2)209--218, 15(3)251--266, 16(2)167--188,
22(4)377--380, 32(6)663--675
-
Fixing, 27(2)221--238
-
fixpoint, 15(5)607--640, 47(12)1479--1511
-
fKenzo, 46(6)685--698
-
flag, 55(z)59--71, 79(z)457--474, 101(z)90--108, 101(z)189--201
-
Flagella, Tito, 21(3)293--312
-
Flagella, Tito, see Attardi, Giuseppe
-
Flajolet, 46(9)1085--1086
-
Flajolet, Philippe, 20(5)653--672, 41(1)1--29
-
Flajolet, Philippe, see Bostan, Alin
-
Flajolet:1995:CAL, 20(5)653--672
-
Flamant, Maurice, 20(2)197--206
-
Flannery, D. L., 43(1)8--26, 44(8)1037--1043, 50(z)100--109,
68(z)138--145
-
Flannery, D. L., see Detinko, A. S.
-
flat, 43(12)858--873, 46(9)1070--1084, 68(z)27--60, 89(z)109--120
-
flatness, 18(5)447--462
-
Flattenings, 34(3)199--212
-
Fleischmann, Peter, 19(6)585--600, 43(4)259--274, 79(z)356--371
-
Fleischmann, Peter, see Ayad, Mohamed,
see Ferreira, Jorge N. M.
-
Fleming, Michael, 35(2)127--135
-
Fleming:2003:DC, 35(2)127--135
-
Flener, Pierre, 15(5)775--806, 30(1)1--3, 30(1)93--127
-
Flener:1993:LPS, 15(5)775--806
-
Flener:2000:AFC, 30(1)93--127
-
Flener:2000:FSI, 30(1)1--3
-
flex, 47(3)266--281
-
flexible, 7(2)199--204
-
float, Twin-, 47(5)536--551
-
float, twin-, 47(5)536--551
-
floating, 16(2)155--166
-
Floating-Point, 24(6)695--704
-
floating-point, 26(1)71--87, 47(5)536--551
-
floats, 47(5)536--551, 53(z)40--52
-
flow, 4(3)269--293, 8(3)305--308, 9(4)515--530, 12(6)669--672,
18(2)157--182
-
flowing, 9(4)515--530, 12(6)669--672
-
Fl{\o}ystad, Gunnar, 86(z)97--119
-
Floystad:2018:CFE, 86(z)97--119
-
fluid, 10(5)499--508, 11(3)291--305, 12(2)221--231, 12(6)669--672,
23(4)427--443
-
flutter, 4(3)391--396
-
Flynn, 35(4)451--461
-
Flynn, E. V., 43(4)293--303
-
Flynn, John, 13(2)133--138
-
Flynn, John, see Fitzpatrick, Patrick
-
Flynn:2008:DIE, 43(4)293--303
-
focus, 12(2)233--254, 17(4)297--310
-
focus, center-, 82(z)57--73
-
fold, 20(4)399--418, 45(4)393--413
-
Fold, -, 20(4)399--418
-
fold, three-, 8(1)101--140
-
Foldash, 15(5)495--522
-
fold/unfold, 15(5)495--522
-
foliations, 41(5)603--618, 72(z)147--160, 112(z)62--78
-
follower, 4(3)391--396
-
following, 14(5)523--534
-
Folz, H. G., 4(1)53--67
-
Folz:1987:WRD, 4(1)53--67
-
Fontein, Felix, 64(z)3--15
-
Fontein:2014:PGL, 64(z)3--15
-
Foo, Mao-Ching, 37(1)101--119
-
Foo:2004:CEC, 37(1)101--119
-
Foote, Richard, 37(2)187--207
-
Foote:2004:TDW, 37(2)187--207
-
FOR-loops, 45(11)1101--1113
-
force, 4(3)391--396
-
forcing, 11(1)3--19
-
Ford, David, 10(5)453--464, 21(2)133--138
-
Ford, David, see Casperson, David,
see Mathieu, Marie-Hélène H.
-
Ford, David J., 4(1)69--75
-
Ford-Zassenhaus, 4(1)3--10
-
Ford:1987:CMO, 4(1)69--75
-
Foreward, 14(2)121--122, 14(2)123--126
-
foreword, 15(5)463--466, 20(5)483--486, 21(4)377--377, 23(2)133--135,
24(2)123--123, 24(3)233--234, 24(6)625--626, 25(2)125--125,
25(4)395--395, 26(6)649--652, 28(4)435--440, 28(6)737--738,
29(2)117--118, 29(4)483--483, 30(1)1--3, 30(6)631--633, 31(1)1--1,
32(4)303--304, 32(6)573--574, 40(4)1129--1130, 42(1)1--3,
42(11)1001--1002, 43(6)395--396, 44(3)221--221, 44(5)419--420,
44(12)1605--1607, 45(5)499--500, 45(12)1251--1253, 46(2)93--94,
46(3)219--221, 47(9)1009--1010, 47(10)1137--1139, 47(12)1413--1415,
49(z)1--2, 51(z)1--2, 79(z)1--3, 88(z)1--4, 91(z)1--2, 102(z)1--2,
105(z)1--3, 109(z)199--201, 115(z)407--408
-
form, Closed-, 10(5)525--528
-
form, closed-, 10(5)525--528
-
form, Horn-, 17(1)51--90
-
FORMAC, 1(1)101--107, 7(6)611--619, 10(2)203--208
-
formalism, 8(1)101--140, 15(5)607--640, 15(5)775--806, 18(3)265--296,
22(5)615--626
-
formalization, 30(1)93--127, 90(z)149--168, 106(z)23--47
-
formalized, 15(5)607--640
-
Formalizing, 69(z)93--108
-
formally, 19(1)25--38, 45(7)787--799, 115(z)74--95
-
Formanek, E., 16(4)345--354
-
format, 41(3)336--356, 120(z)z
-
Formations, 122(z)z
-
Formisano, Andrea, 29(2)259--297
-
Formisano:2000:GBA, 29(2)259--297
-
formula, 2(3)293--304, 2(3)305--316, 3(1)39--68, 5(1)3--28, 7(3)371--425,
10(5)411--436, 11(1)129--148, 12(2)143--160, 12(3)299--328,
13(1)59--80, 13(2)221--230, 13(3)301--328, 13(3)329--352,
14(2)211--242, 15(5)705--744, 18(4)379--384, 24(1)45--50,
29(1)79--82, 46(8)904--918, 47(7)859--882, 68(z)146--168,
101(z)109--127, 109(z)465--481, 112(z)164--181, 120(z)z
-
formulae, 4(3)397--408, 12(2)143--160, 13(1)59--80, 13(2)221--230,
18(4)297--318, 19(1)217--244, 23(2)137--152, 24(2)209--231,
36(1)163--192, 36(3)317--342, 44(6)635--654, 46(8)889--903,
46(8)919--942, 47(7)820--842
-
formulæ, 98(z)65--83
-
formulate, 15(5)467--494
-
formulating, 12(6)655--668
-
formulation, 22(1)49--82, 36(3)289--315, 38(1)777--814, 38(2)915--958,
79(z)594--608
-
Fortenbacher, Albrecht, 3(3)217--229, 8(1)201--216, 15(4)371--392,
17(1)91--129
-
Fortenbacher, Albrecht, see Clausen, Michael
-
Fortenbacher:1987:AAU, 3(3)217--229
-
FORTRAN, 2(2)201--206, 2(2)213--216, 2(3)305--316, 7(2)183--188
-
Fortran, 7(2)179--182
-
FORTRAN-based, 2(3)305--316
-
Fortuna, E., 33(5)609--625, 36(3)343--364, 38(6)1551--1567,
39(3)305--316, 40(4)1169--1179, 44(9)1234--1254, 68(z)131--166
-
Fortuna:2002:DRP, 33(5)609--625
-
Fortuna:2003:ACT, 36(3)343--364
-
Fortuna:2004:ADT, 38(6)1551--1567
-
Fortuna:2005:IDP, 39(3)305--316
-
Fortuna:2005:SCR, 40(4)1169--1179
-
Fortuna:2009:GIA, 44(9)1234--1254
-
Fortuna:2015:CTI, 68(z)131--166
-
Fortune, Steven, 33(5)627--646
-
Fortune:2002:IEA, 33(5)627--646
-
forward, 7(2)163--178, 37(2)133--135
-
forward-, 18(4)319--352
-
Forward-Branching, 18(4)319--352, 22(4)381--400
-
forward-branching, 18(4)319--352, 22(4)381--400
-
Foulkes, 80(z)833--843
-
Found, 20(5)567--594
-
foundation, 4(3)391--396, 9(2)207--214, 10(2)203--208, 15(5)571--606,
19(5)441--458, 47(7)751--751, 52(z)1--2, 57(z)19--47
-
founded, well-, 17(1)23--50, 20(1)43--60
-
Foupouagnigni, M., 47(11)1347--1371, 53(z)96--118
-
Foupouagnigni, Mama, 28(6)801--818
-
Foupouagnigni:1999:FOD, 28(6)801--818
-
Foupouagnigni:2012:ROP, 47(11)1347--1371
-
Foupouagnigni:2013:CLC, 53(z)96--118
-
four, 28(1)125--154, 39(6)631--642, 47(4)492--502, 48(z)64--100,
50(z)139--158, 77(z)162--174, 108(z)23--40, 115(z)74--95, 121(z)z
-
Fourier, 16(4)377--399, 26(2)245--260, 37(2)137--156, 41(2)182--195,
61(z)116--127, 63(z)1--20, 75(z)219--243, 90(z)65--88,
98(z)319--357, 110(z)66--80
-
Fournié, M., 26(3)381--386
-
Fournie:1998:CMD, 26(3)381--386
-
Fournier, Robert, 19(1)159--174
-
Fournier:1995:VMS, 19(1)159--174
-
Foursov, Mikhail V., 33(5)647--660
-
Foursov:2002:CAC, 33(5)647--660
-
fourteen, 16(5)413--422
-
fourth-, 12(6)669--672
-
fourth-order, 12(6)669--672, 28(6)801--818
-
Fousse, Laurent, 46(7)823--840
-
Fousse, Laurent, see Dumas, Jean-Guillaume
-
Fox, Nathan, 87(z)99--126
-
Fox:2018:DLR, 87(z)99--126
-
FP, 18(2)91--112, 18(2)157--182
-
fractals, 80(z)451--483
-
fraction, 4(1)103--109, 6(2)361--370, 10(2)138--164, 19(5)393--402,
47(11)1372--1412, 72(z)21--54, 76(z)200--218, 77(z)16--38
-
fraction-free, 10(2)138--164, 31(4)447--460, 41(5)513--543,
47(10)1214--1232
-
fractional, 52(z)35--50, 64(z)22--34
-
fractional, linear-, 47(12)1447--1478
-
Fraenkel, Zermelo-, 41(3)435--470
-
fragment, 17(5)421--455, 35(1)21--58, 41(7)763--789, 45(2)153--172
-
frame, 36(3)501--512, 45(8)844--856, 47(2)214--226, 58(z)1--17,
58(z)99--102, 74(z)400--407
-
framework, 2(2)139--170, 10(2)203--208, 13(3)235--254, 15(5)467--494,
15(5)495--522, 15(5)775--806, 16(5)445--477, 19(1)217--244,
21(1)101--131, 21(4)669--698, 27(3)271--310, 30(5)493--519,
32(4)403--445, 33(1)1--12, 44(9)1326--1345, 46(3)316--337,
88(z)47--66, 95(z)100--133
-
Franca, 49(z)95--119
-
Francis, Maria, 65(z)1--14, 86(z)1--19
-
Francis:2014:RGB, 65(z)1--14
-
Francis:2018:GBK, 86(z)1--19
-
Franco, Davide, 94(z)105--125, 121(z)z
-
Franco, Davide, see Bertone, Cristina,
see Cioffi, Francesca
-
Frandsen, Gudmund Skovbjerg, 39(6)643--652
-
Frandsen, Gudmund Skovbjerg,
see Damgård, Ivan Bjerre
-
Franke, Andreas, 32(4)365--402
-
Franke, Andreas, see Kohlhase, Michael
-
Franz, 4(3)365--380
-
Frau, M. D., 44(5)558--570
-
Frau, M. D., see Alvarez, V.
-
Frau, María Dolores, 89(z)26--40,
see Álvarez, Víctor
-
Frechina, F., 69(z)3--39
-
Frechina, F., see Alpuente, M.
-
Fredet, Anne, 38(2)975--1002
-
Fredet:2004:LDE, 38(2)975--1002
-
Fredholm, 3(3)291--301
-
free, 3(1)153--181, 3(3)217--229, 6(1)99--104, 8(1)3--50, 8(1)51--100,
8(4)383--414, 8(5)449--478, 8(5)523--536, 10(2)179--202,
13(3)329--352, 14(5)483--504, 15(3)267--276, 16(3)279--288,
16(6)523--550, 16(6)557--562, 19(5)393--402, 22(1)27--48,
26(4)409--432, 27(2)133--142, 30(4)357--382, 32(6)575--595,
40(6)1285--1290, 42(11)1113--1141, 44(9)1311--1325,
44(10)1529--1532, 48(z)110--131, 68(z)4--26, 68(z)87--108,
74(z)1--45, 94(z)126--148, 107(z)167--189, 113(z)29--38,
113(z)211--241, 115(z)201--222, 119(z)64--80, 121(z)z
-
free, Ancilla-, 73(z)1--26
-
free, Collapse-, 3(1)153--181
-
free, collapse-, 3(1)153--181, 8(1)51--100
-
free, constant-, 8(5)479--498
-
free, context-, 5(3)339--358, 101(z)28--50
-
free, coordinate-, 11(5)579--594
-
free, cut-, 22(2)121--142
-
free, division-, 46(7)773--790
-
free, equivalence-, 14(4)283--302
-
free, Factorization-, 29(4)641--662
-
free, factorization-, 18(6)519--540
-
free, Fraction-, 31(4)447--460, 41(5)513--543,
47(10)1214--1232
-
free, fraction-, 10(2)138--164
-
free, Gröbner-, 48(z)37--53
-
free, Quantifier-, 24(2)209--231
-
free, quantifier-, 5(1)3--28
-
free, Redundancy-, 12(1)29--70
-
free, redundancy-, 12(1)29--70
-
free, square-, 16(4)321--328, 20(3)235--268, 42(6)668--677,
65(z)79--110, 104(z)402--418
-
free, Torsion-, 33(1)31--41
-
free, torsion-, 92(z)203--210
-
free, type-, 14(1)71--84
-
free-piston, 2(1)103--108
-
free-variable, 36(1)117--138
-
Freese, Ralph, 16(3)279--288
-
Freese:1993:TRS, 16(3)279--288
-
Freire, Jose L., 44(5)571--582
-
Freire, Jose L., see Jorge, J. Santiago
-
Freireich, Itnuit, Janovitz-, 47(1)102--122
-
Freitag, Burkhard, 46(2)183--206
-
Freitag, Burkhard, see Schönberg, Christian
-
Frenkel, Elizaveta, 74(z)96--108
-
Frenkel:2016:KPP, 74(z)96--108
-
frequency, 3(3)277--281, 79(z)342--355
-
Freudenburg, Gene, 57(z)19--47
-
Freudenburg:2013:FIT, 57(z)19--47
-
Freyd-categories, 46(3)272--293
-
Frías, M. A., Moreno-, 58(z)103--116, 93(z)230--245
-
Fribourg, 23(1)23--46
-
Fribourg, Laurent, 8(3)253--276
-
Fribourg:1989:SRI, 8(3)253--276
-
friendliness, 6(1)83--98
-
Frink, Alexander, 33(1)1--12
-
Frink, Alexander, see Bauer, Christian
-
Frobenius, 22(4)459--468, 43(1)1--7, 47(8)996--1008, 60(z)29--46,
109(z)441--464, 120(z)z
-
Fröberg, Ralf, 8(6)545--552, 10(2)165--178, 12(3)329--336,
13(5)473--484, 14(1)1--30, 17(2)149--158, 21(2)139--154,
see Björck, Göran
-
Froberg:1994:HSI, 17(2)149--158
-
Fronk, Alexander, 44(1)15--47
-
Fronk:2009:SSA, 44(1)15--47
-
frontiers, 41(12)1360--1375
-
Frühbis-Krüger, Anne, 38(4)1191--1205, 46(5)550--560,
86(z)153--165, see Böhm, Janko
-
Fruhbis-Kruger:2004:PSB, 38(4)1191--1205
-
Fruhbis-Kruger:2011:MCI, 46(5)550--560
-
Frühwirth, T., 22(5)555--584
-
Fruhwirth:1996:TAC, 22(5)555--584
-
Fu, Guofeng, 68(z)1--26
-
Fu, Guofeng, see Chen, Shaoshi
-
Fu, Lei, 104(z)539--562
-
Fu, Qiuju, 95(z)185--201
-
Fu, Qiuju, see Li, Yongbin
-
Fu:2021:UDC, 104(z)539--562
-
Fuchs, Marc, 29(2)299--341
-
Fuchs, Matthias, 30(1)37--61
-
Fuchs:2000:CUC, 29(2)299--341
-
Fuchs:2000:PST, 30(1)37--61
-
fuchsian, 85(z)108--127
-
Fuchssteiner, Benno, 20(2)179--196
-
fuel, 12(1)89--114
-
Fujise, Tetsuro, 5(3)303--320, 15(2)123--142, 21(4)377--396
-
Fujise, Tetsuro, see Kobayashi, Hidetsune,
see Murao, Hirokazu
-
Fujiwara, Toru, 23(1)79--118
-
Fujiwara, Toru, see Kaji, Yuichi
-
Fukuda, K., 42(3)298--312
-
Fukuda, Komei, 38(4)1261--1272
-
Fukuda:2004:ZCM, 38(4)1261--1272
-
Fukuda:2007:GGW, 42(3)298--312
-
full, 9(3)355--374, 41(2)196--209, 68(z)120--137, 115(z)74--95
-
Fulling, S. A., 9(1)73--86
-
Fulling:1990:AAR, 9(1)73--86
-
fully, 47(6)711--732, 100(z)11--37
-
function, -, 94(z)30--51
-
function-symbol, 3(1)153--181
-
functional, 1(1)115--118, 2(2)123--138, 3(1)203--216, 3(1)z--z,
4(3)269--293, 7(5)445--456, 8(6)629--650, 8(6)651--680,
9(3)281--300, 10(5)437--452, 12(1)89--114, 15(1)91--98,
15(5)467--494, 15(5)607--640, 15(5)641--672, 16(5)478--492,
17(3)227--236, 17(5)421--455, 18(2)157--182, 19(4)293--304,
21(1)41--100, 21(4)561--576, 22(1)49--82, 22(3)235--246,
23(2)287--300, 23(2)315--333, 40(1)875--903, 44(5)571--582,
47(6)711--732, 75(z)193--208, 115(z)74--95
-
Functional, Para-, 21(4)593--614
-
functional, para-, 21(4)593--614
-
functional-logic, 21(1)41--100
-
functionality, 18(2)157--182
-
functionally, 61(z)12--30
-
Functions, Error-, 13(5)525--544, 16(3)227--242
-
functions, error-, 13(5)525--544, 16(3)227--242
-
Functors, 94(z)105--125
-
fundamental, 6(1)113--116, 29(1)59--77, 44(10)1425--1447, 47(2)123--130,
115(z)53--73
-
Furbach, U., 2(2)123--138
-
Furbach, Ulrich, 16(5)445--477
-
Furbach, Ulrich, see Baumgartner, Peter
-
Furbach:1986:MCF, 2(2)123--138
-
Furter, J.-Ph, 26(3)381--386
-
Furter, J.-Ph., see Fournié, M.
-
further, 109(z)124--143
-
Furukawa, Akio, 5(3)303--320
-
Furukawa, Akio, see Kobayashi, Hidetsune
-
Fushchich, W. I., 7(6)611--619
-
Fushchich:1989:CAA, 7(6)611--619
-
Futatsugi, Kokichi, 45(5)551--573
-
Futatsugi, Kokichi, see Nakamura, Masaki
-
future, 2(3)217--236