Index file section F for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
F
-
f-dependent, 143(2)309--318
-
f-DS, Max-, 143(2)309--318
-
F-Horn, 185(1)177--190
-
F-presentation, 183(1)83--92
-
F-presentations, 183(1)83--92
-
F-semigroups, 183(1)83--92
-
Fabre, Eric, 152(2)171--217
-
Fabre, Eric, see Benveniste, Albert
-
Fabre, Stéphane, 137(2)219--236, 158(1)65--79
-
Fabre:1995:SSN, 137(2)219--236
-
Fabre:1996:DSN, 158(1)65--79
-
Fabret, Anne-Cécile, 215(1)225--237,
see Durand, Bruno
-
facility, 181(2)379--404
-
FACS, 138(2)273--314
-
facteurs, 165(2)295--309, 172(1)67--89
-
factor, 141(1)175--193, 141(1)269--282, 154(2)387--394, 158(1)81--115,
165(2)295--309, 172(1)67--89, 181(2)379--404, 205(1)337--344,
209(1)377--387, 218(1)41--59, 218(1)177--195
-
factoring, 146(1)269--310
-
factorisable, 157(1)115--127
-
factorisation, 196(1)319--345
-
factorization, 141(1)351--355, 164(1)223--252, 172(1)255--263,
172(1)309--321, 180(1)17--45, 182(1)245--256, 187(1)105--116,
191(1)1--36, 218(1)123--133
-
facts, 137(1)53--84
-
Fadel, R., 220(2)345--362
-
Fadel:1999:HHS, 220(2)345--362
-
Fages, François, 171(1)61--75, see Ruet, Paul
-
Fagin, Ronald, 174(1)97--121
-
Fagin, Ronald, see Arora, Sanjeev
-
Fagnot, Isabelle, 172(1)67--89
-
Fagnot:1997:FMA, 172(1)67--89
-
fail, 148(1)165--170
-
failure, 137(2)269--278, 160(1)283--303, 164(1)107--122, 171(1)61--75,
184(1)105--143, 186(1)199--230, 193(1)97--112, 211(1)85--127,
220(1)3--30
-
fair, 139(1)27--67, 139(1)243--273, 139(1)315--354, 176(1)205--234,
177(1)139--153
-
fair-like, outermost-, 165(1)75--95
-
fairness, 146(1)199--242, 152(2)219--249, 153(1)245--270,
176(1)205--234, 177(1)139--153, 183(2)229--251, 189(1)109--127,
197(1)1--56, 198(1)131--158
-
faithful, 151(1)277--294
-
Fakler, Winfried, 187(1)27--48
-
Fakler:1997:SOH, 187(1)27--48
-
Falaschi, Moreno, 142(1)27--57, 165(1)133--169, 183(2)281--315
-
Falaschi, Moreno, see Alpuente, María
-
Falaschi:1997:CCC, 183(2)281--315
-
Falco, L., Tortora de, 197(1)248--z--1
-
families;, redex-, 142(2)277--297
-
family, 147(1)211--248, 147(1)267--298, 154(1)57--65, 155(1)111--140,
158(1)193--219, 159(2)191--244, 161(1)157--190, 168(2)473--480,
180(1)17--45, 185(1)129--157, 186(1)157--169, 215(1)225--237
-
fan-in, 161(1)141--156
-
fans, 187(1)167--178
-
Farey, 183(1)45--82
-
farm, task-, 162(2)351--369
-
Farrell, C. A., 169(1)39--65
-
Farrell:1996:FSP, 169(1)39--65
-
fashion, 151(1)277--294
-
fast, 137(2)269--278, 140(2)265--289, 147(1)211--248, 154(1)3--22,
155(2)349--363, 162(1)133--150, 164(1)1--12, 164(1)59--72,
169(2)147--160, 205(1)307--316, 210(1)199--215, 215(1)89--98
-
fault, 164(1)107--122, 170(1)47--81, 182(1)159--170, 185(2)259--275,
196(1)319--345, 197(1)171--188
-
fault-tolerance, 185(2)259--275
-
fault-tolerant, 196(1)319--345, 209(1)195--211, 209(1)195--z
-
faulty, 164(1)107--122, 166(1)291--300
-
Favati, Paola, 174(1)157--170
-
Favati:1997:AOD, 174(1)157--170
-
FEA, 187(1)z--z
-
feasible, 138(1)201--210, 140(2)231--247, 147(1)31--54, 147(1)181--210,
207(1)245--259, 225(1)185--194
-
feature, 146(1)243--268, 166(1)63--81, 173(1)235--252, 184(1)105--143,
197(1)244--z--2, 210(2)245--260
-
feedback, 141(1)53--67, 226(1)61--92
-
Feige, Uriel, 169(2)147--160
-
Feige:1996:FRL, 169(2)147--160
-
Fekete, Alan, 149(1)151--178, 220(1)113--156
-
Fekete:1995:HAN, 149(1)151--178
-
Fekete:1999:ESD, 220(1)113--156
-
Felder, Miguel, 202(1)127--161
-
Felder:1998:TIR, 202(1)127--161
-
Felice, Clelia, De, 164(1)223--252
-
Felice, Clelia De, 148(2)227--260
-
Felice, Clelia De, see Bruyère, Véronique
-
Fellows, Michael R., 141(1)109--131, 147(1)31--54, 191(1)97--115,
209(1)123--140
-
Fellows, Michael R., see Bodlaender, Hans L.,
see Downey, Rod G.,
see Downey, Rodney G.
-
Felsner, Stefan, 175(2)283--292
-
Felsner:1997:LCP, 175(2)283--292
-
Feng, Dengguo, 226(1)37--43
-
Feng:1999:TCC, 226(1)37--43
-
Ferenczi, Sébastien, 218(1)177--195
-
Ferenczi:1999:CFF, 218(1)177--195
-
Ferguson, Michael, 159(2)271--317
-
Ferguson, Michael, see Erdogmus, Hakan
-
Ferguson, Thomas S., 191(1)157--171
-
Ferguson:1998:SCT, 191(1)157--171
-
Fernández, Maribel, 170(1)173--207, 190(1)3--39,
see Barbanera, Franco
-
Fernández-Baca, David, 181(1)57--74
-
Fernandez-Baca:1997:LTA, 181(1)57--74
-
Fernandez:1998:INT, 190(1)3--39
-
Fernau, Henning, 137(2)177--217, 194(1)35--55
-
Fernau:1995:VLA, 137(2)177--217
-
Fernau:1998:RRL, 194(1)35--55
-
Ferragina, Paolo, 201(1)249--262
-
Ferragina:1998:UST, 201(1)249--262
-
Ferrari, Gian-Luigi, 168(1)53--103
-
Ferrari:1996:CES, 168(1)53--103
-
Ferreira, Afonso, 158(1)53--64
-
Ferreira, William, 216(1)55--107
-
Ferreira:1996:RRG, 158(1)53--64
-
Ferreira:1999:BTF, 216(1)55--107
-
Ferretti, Claudio, 210(2)227--243
-
Ferretti, Claudio, see Sakakibara, Yasubumi
-
Feuerstein, Esteban, 181(1)75--90
-
Feuerstein:1997:PMT, 181(1)75--90
-
few, 163(1)211--238, 221(1)77--118
-
FGLM, 187(1)179--202
-
fiber, 221(1)119--137
-
Fibonacci, 165(2)295--309, 172(1)281--291, 178(1)205--224,
195(1)91--109, 218(1)95--106, 547-z-122
-
field, 138(1)35--65, 143(1)167--174, 152(2)171--217, 157(1)115--127,
157(1)129--136, 157(2)259--266, 157(2)273--275, 159(2)143--190,
162(2)173--223, 179(1)319--331, 187(1)105--116, 191(1)1--36,
194(1)219--223, 197(1)157--169
-
FIFO, 155(1)141--156, 174(1)217--230
-
{FIFO}-channel, 221(1)211--250
-
fifth, 185(2)379--391
-
Figueiredo, Celina M. H. de, 181(1)91--106
-
figure, 159(1)105--128, 165(2)325--354
-
FIL, 166(1)1--47
-
file, 139(1)69--113, 140(1)179--199, 140(2)249--263, 141(1)283--310,
144(1)3--58, 144(1)161--197, 144(1)199--220, 144(1)221--249,
144(1)251--275, 146(1)243--268, 148(1)171--180, 149(1)49--66,
149(1)151--178, 149(1)179--199, 152(2)269--283, 154(1)85--106,
154(2)165--181, 155(2)349--363, 156(1)39--70, 156(1)315--325,
158(1)1--33, 159(1)15--28, 159(2)191--244, 160(1)217--239,
163(1)239--243, 164(1)1--12, 164(1)73--106, 164(1)107--122,
165(1)201--232, 165(2)391--405, 166(1)147--172, 167(1)3--45,
168(1)21--38, 168(1)155--212, 169(1)67--80, 169(1)113--121,
172(1)1--41, 172(1)209--232, 173(2)349--391, 173(2)513--554,
175(2)373--392, 177(1)183--216, 178(1)103--118, 178(1)171--203,
181(1)3--15, 181(1)75--90, 182(1)1--143, 182(1)145--157,
182(1)183--202, 183(2)157--185, 188(1)1--44, 192(2)201--231,
196(1)109--130, 197(1)95--109
-
Filé, Gilberto, 202(1)163--192, 222(1)77--111,
see Cortesi, Agostino
-
File:1999:POA, 222(1)77--111
-
Fill, James Allen, 164(1)185--206
-
fill-in, 175(2)309--335
-
Fill:1996:LRC, 164(1)185--206
-
filling, 147(1)211--248, 181(1)3--15
-
filling, context-, 192(2)201--231
-
filling, Space-, 181(1)3--15
-
filter, 140(2)319--331, 170(1)83--128
-
find, 154(2)165--181, 205(1)307--316
-
Find, Union-, 154(2)165--181, 203(1)123--141
-
finding, 145(1)317--327, 145(1)357--369, 147(1)181--210, 157(2)273--275,
172(1)265--271, 172(1)303--308, 203(1)151--162
-
finding;, extrema-, 177(2)459--486
-
fine, 164(1)1--12, 191(1)37--59, 218(1)83--94, 218(1)135--141
-
finer, 160(1)321--363
-
finitariness, 166(1)203--219
-
finitary, 151(1)3--27, 151(1)277--294, 166(1)203--219, 175(1)93--125,
179(1)203--215, 179(1)421--425, 183(1)93--112
-
finite, pro-, 145(1)229--240
-
finite, weak-image-, 179(1)397--419
-
finite-element, 187(1)231--248
-
finite-state, 138(1)141--168, 139(1)315--354, 146(1)109--143,
152(2)251--268, 163(1)193--210, 170(1)445--464, 178(1)237--255,
180(1)181--201, 189(1)1--69
-
finitely, 138(2)391--423, 141(1)253--268, 146(1)321--329,
149(1)101--128, 182(1)245--256, 200(1)135--183, 202(1)223--230,
204(1)169--182, 209(1)163--178
-
finiteness, 143(2)269--284, 173(1)113--149, 174(1)217--230,
204(1)169--182
-
Finkel, Alain, 164(1)207--221, 174(1)217--230, 222(1)187--194
-
Finkel, Alain, see Dufourd, Catherine
-
Finkel:1996:PAM, 164(1)207--221
-
Finkel:1997:VIC, 174(1)217--230
-
Finta, Lucian, 162(2)323--340
-
Finta:1996:SUU, 162(2)323--340
-
Fiorio, Christophe, 154(2)165--181, 218(2)273--283
-
Fiorio, Christophe, see d'Andréa, Gilles
-
Fiorio:1996:TLT, 154(2)165--181
-
firing, 165(2)475--482, 168(2)367--404
-
firing, chip-, 172(1)121--134
-
first, 147(1)149--163, 160(1)241--270, 160(1)271--281, 160(1)305--320,
162(2)351--369, 176(1)67--87, 177(1)59--71, 177(1)217--283,
179(1)137--202, 183(2)157--185, 185(2)277--318, 187(1)7--25,
190(2)115--149, 190(2)317--361, 194(1)246--247, 227(1)333--396
-
first, depth-, 184(1)105--143
-
first-class, 192(2)201--231
-
first-order, 139(1)207--242, 142(2)141--177, 144(1)59--65,
146(1)69--108, 146(1)243--268, 148(2)261--279, 149(1)49--66,
149(1)67--99, 149(1)101--128, 152(1)91--138, 154(1)67--84,
156(1)177--201, 160(1)241--270, 160(1)271--281, 160(1)305--320,
165(1)3--55, 166(1)63--81, 170(1)173--207, 171(1)179--219,
172(1)135--174, 173(1)151--181, 173(2)349--391, 173(2)393--443,
173(2)513--554, 176(1)67--87, 176(1)283--328, 184(1)237--245,
185(1)47--62, 185(2)217--235, 185(2)393--410, 192(2)315--351,
193(1)129--148, 194(1)247--z--1, 197(1)247--z--1, 208(1)179--190,
216(1)55--107, 222(1)55--75, 222(1)153--179
-
Fischer, Herbert, 215(1)345--348
-
Fischer, Paul, 172(1)43--65
-
Fischer:1997:PLG, 172(1)43--65
-
Fischer:1999:MCL, 215(1)345--348
-
Fishburn, Peter, 217(2)359--383
-
Fishburn:1999:PST, 217(2)359--383
-
Fix, Limor, 211(1)253--273
-
Fix, Limor, see Alur, Rajeev
-
fixed, 138(2)273--314, 139(1)1--25, 142(2)257--276, 147(1)31--54,
148(1)33--55, 148(1)67--92, 150(1)57--75, 151(1)3--27,
154(2)203--224, 155(1)1--38, 160(1)1--85, 160(1)87--143,
161(1)301--306, 172(1)265--271, 178(1)265--273, 179(1)1--60,
183(1)21--32, 187(1)49--79, 189(1)1--69, 193(1)53--73,
193(1)215--244, 195(1)61--89, 215(1)359--370, 217(2)301--358,
222(1)181--186
-
fixed-degree, 141(1)133--150, 161(1)301--306
-
fixed-parameter, 141(1)109--131, 147(1)31--54
-
fixed-point, 146(1)311--320, 155(1)1--38, 173(1)235--252, 179(1)1--60
-
fixpoint, 138(1)141--168, 149(1)67--99, 160(1)283--303, 169(2)201--220,
176(1)205--234, 176(1)283--328, 177(1)27--58, 178(1)237--255,
190(2)317--361, 194(1)241--z, 195(2)133--153, 198(1)131--158
-
Flagg, Bob, 177(1)111--138
-
Flagg:1997:CSR, 177(1)111--138
-
Flajolet, Philippe, 144(1)3--58, 144(1)101--124, 194(1)1--34,
215(1)371--381
-
Flajolet:1995:MTAa, 144(1)3--58
-
Flajolet:1995:MTAb, 144(1)101--124
-
Flajolet:1998:CFA, 194(1)1--34
-
Flajolet:1999:SAA, 215(1)371--381
-
flame, 187(1)249--262
-
Flammini, Michele, 186(1)171--198, 205(1)115--133
-
Flammini:1997:DBR, 186(1)171--198
-
Flammini:1998:MIR, 205(1)115--133
-
Flanders, Harley, 215(1)345--348
-
Flanders, Harley, see Fischer, Herbert
-
Flasi{\'n}ski, M., 201(1)189--231
-
Flasinski:1998:PPN, 201(1)189--231
-
flat, 159(2)245--270, 175(1)183--222, 176(1)283--328
-
flatwords, 161(1)93--108
-
flexible, 157(1)53--77, 171(1)281--302, 192(2)201--231
-
floating, 156(1)1--38, 196(1)201--214
-
floating-point, 162(1)151--170, 196(1)201--214, 218(2)233--248
-
Flocchini, P., 145(1)1--26
-
Flocchini, P., see Braga, G.
-
floor-like, 150(1)161--191
-
Floréen, Patrik, 229(1)143--175,
see Kosters, Walter A.
-
flow, 141(1)1--52, 148(1)93--109, 148(1)165--170, 151(1)195--205,
159(2)191--244, 167(1)131--170, 168(2)367--404, 179(1)203--215,
195(1)3--32, 196(1)201--214, 196(1)365--393, 199(1)167--198
-
flow-shop, 191(1)205--214
-
FLS, 147(1)181--210
-
Flynn, Michael J., 196(1)201--214
-
Flynn, Michael J., see Oberman, Stuart F.
-
Fokkink, Wan, 177(2)407--423, 209(1)163--178
-
Fokkink, Wan, see Aceto, Luca
-
Fokkink:1997:TME, 177(2)407--423
-
fold, 139(1)69--113, 169(1)113--121
-
folding, 190(1)61--85
-
folding, Unfolding-definition-, 142(1)89--124
-
folding, unfolding-definition-, 142(1)89--124
-
folding,, Unfolding-definition-, 142(1)89--124
-
fold/unfold, 194(1)244--z--1
-
fonctions, 145(1)229--240
-
Fondement, 159(1)105--128
-
food, 191(1)193--203
-
Fooling, 168(1)39--51
-
forbidden, 145(1)111--145, 172(1)209--232
-
force, 187(1)231--248, 197(1)157--169
-
Ford-Fulkerson, 148(1)165--170
-
forest, 141(1)351--355, 149(2)299--332, 156(1)145--158, 182(1)145--157,
199(1)145--166, 215(1)359--370
-
forests;, in-, 162(2)323--340
-
forests;, out-, 162(2)323--340
-
Foreword, 149(1)1--z, 151(2)295--z, 167(1)1--1, 168(2)213--214,
175(1)1--1, 177(1)1--1, 181(2)227--227, 183(2)155--156, 185(1)1--1,
187(1)1--1, 190(2)113--z, 192(1)1--1, 192(2)163--z, 195(1)1--1,
203(1)1--1
-
fork, 188(1)211--220
-
fork-statement, 195(1)3--32
-
form, 137(1)129--144, 139(1)115--130, 139(1)243--273, 139(1)315--354,
146(1)185--197, 152(2)269--283, 152(2)285--303, 154(1)41--56,
155(1)1--38, 155(1)85--109, 155(1)141--156, 157(1)53--77,
157(1)79--90, 159(2)343--354, 161(1)205--233, 170(1)407--444,
176(1)39--65, 185(2)379--391, 186(1)231--248, 190(1)41--60,
194(1)z--z, 195(2)155--182, 197(1)z--z, 208(1)33--58
-
form, Closed-, 210(1)217--223
-
formalisation, 166(1)147--172, 169(1)81--112
-
formalism, 138(2)425--454, 146(1)243--268, 149(1)101--128,
152(1)139--169, 183(2)187--214, 194(1)241--242
-
formalization, 224(1)291--317
-
Formalizing, 146(1)185--197
-
format, 146(1)25--68
-
formation, 145(1)189--228
-
formed, 176(1)39--65
-
formel, 187(1)123--145, 187(1)263--284
-
Formenti, E., 217(1)31--51
-
Formenti, E., see Cattaneo, G.
-
forming, type-, 139(1)69--113
-
formula, 138(1)169--199, 141(1)269--282, 155(1)277--288, 160(1)87--143,
171(1)3--24, 171(1)179--219, 179(1)353--380, 182(1)183--202,
185(1)177--190, 193(1)129--148, 195(2)183--203, 197(1)245--z--2,
207(2)383--386
-
formulae, 141(1)269--282, 142(2)141--177, 146(1)243--268,
166(1)147--172, 171(1)3--24, 183(2)187--214, 190(1)41--60,
198(1)201--209, 215(1)1--30
-
formulation, 151(2)437--486, 156(1)289--299, 166(1)49--62
-
Forti, Marco, 156(1)203--215
-
Forti:1996:GCH, 156(1)203--215
-
fortification, 176(1)205--234
-
Fortnow, Lance, 161(1)123--140, 197(1)139--156
-
Fortnow:1996:RBI, 161(1)123--140
-
Fortnow:1998:RSL, 197(1)139--156
-
FORTRAN, 167(1)131--170
-
Fortran, 167(1)131--170, 196(1)289--317
-
Forum, 165(1)201--232, 197(1)247--248
-
forward, 140(1)53--71, 142(2)179--207, 173(1)49--87
-
Fouks, Jean-Denis, 223(1)121--142
-
Fouks, Jean-Dénis, 166(1)147--172
-
Fouks:1996:MRA, 166(1)147--172
-
Fouks:1999:TAT, 223(1)121--142
-
foundation, 135(1)67--110, 146(1)199--242, 176(1)205--234,
183(2)253--279, 185(2)319--345, 192(2)315--351, 193(1)149--179,
194(1)242--243, 219(1)95--109
-
founded, 158(1)117--141, 166(1)221--262, 176(1)205--234
-
founded, anti-, 224(1)173--213
-
founded, well-, 146(1)145--184, 166(1)221--262, 170(1)209--244,
170(1)383--406
-
Fouquere, C., 197(1)243--z
-
Fouquere:1998:LLT, 197(1)243--z
-
four, 137(1)109--127, 192(2)167--199
-
four-colour, 154(1)3--22
-
four-colouring, 154(1)3--22
-
four-valued, 171(1)61--75
-
four-vertex, 154(1)3--22
-
Fourier, 229(1)143--175
-
Fourneau, Jean-Michel, 155(1)141--156
-
Fourneau:1996:NMC, 155(1)141--156
-
Fournier, J. C., 159(1)105--128
-
Fournier:1996:PFP, 159(1)105--128
-
fourth, 148(1)133--140
-
FPTAS, 150(1)1--55
-
fractal, 137(2)177--217, 145(1)159--187, 165(2)325--354, 180(1)363--370
-
fraction, 165(2)295--309, 194(1)1--34, 204(1)75--86, 226(1)93--104
-
Fraenkel, Aviezri S., 143(2)319--333, 205(1)283--296, 218(1)95--106,
547-z-122
-
Fraenkel:1995:MNM, 143(2)319--333
-
Fraenkel:1998:AWG, 205(1)283--296
-
Fraenkel:1999:ENS, 218(1)95--106, 547-z-122
-
Fraenkel:2014:CEN, 218(1)95--106, 547-z-122
-
fragment, 156(1)177--201, 176(1)159--173, 176(1)283--328,
183(2)187--214, 183(2)215--228, 197(1)242--z--1, 197(1)245--246,
197(1)245--z--2, 197(1)246--z--1, 224(1)267--289
-
fragmentary, 148(1)1--17
-
Fraigniaud, Pierre, 194(1)225--237, 196(1)1--1
-
Fraigniaud, Pierre, see Bougé, Luc
-
Fraigniaud:1998:XPM, 194(1)225--237
-
Fraisse, Ehrenfeucht-, 174(1)97--121
-
Fra\"\iss\'e;, Ehrenfeucht-, 174(1)97--121
-
frames, 151(1)3--27, 151(1)79--124
-
framework, 137(1)3--23, 138(1)211--239, 139(1)187--205, 139(1)207--242,
140(1)53--71, 140(1)139--177, 150(1)1--55, 151(1)163--193,
152(2)305--320, 163(1)161--176, 166(1)173--202, 168(1)53--103,
169(1)39--65, 173(2)349--391, 175(1)29--74, 183(2)187--214,
185(1)191--213, 186(1)43--81, 190(2)241--277, 196(1)45--70,
196(1)289--317
-
Franceschinis, G., 176(1)39--65
-
Franceschinis, G., see Chiola, G.
-
Françon, Jean, 156(1)159--176
-
Francon:1996:TPA, 156(1)159--176
-
Franklin, Matthew, 220(1)185--210
-
Franklin, Matthew, see Beimel, Amos
-
Fraser, Campbell, 165(2)233--246
-
Fraser:1996:CSS, 165(2)233--246
-
Fredholm, Daniel, 152(1)1--66, 163(1)269--276, 206(1)301--315
-
Fredholm, Daniel, see Colson, Loïc
-
Fredholm:1995:IAF, 152(1)1--66
-
Fredholm:1996:CMP, 163(1)269--276
-
Fredlund, Lars-åke, 177(2)459--486
-
Fredlund:1997:FVL, 177(2)459--486
-
Fredman, Michael L., 154(1)57--65
-
Fredman, Michael L., see Cohen, David M.
-
free, 138(2)391--423, 141(1)331--335, 142(2)229--255, 145(1)229--240,
152(1)91--138, 153(1)271--300, 160(1)241--270, 163(1)55--98,
164(1)223--252, 165(2)325--354, 165(2)355--390, 168(1)105--119,
170(1)47--81, 175(2)393--406, 179(1)421--425, 183(1)83--92,
187(1)105--116, 191(1)117--129, 191(1)145--156, 192(1)107--161,
197(1)189--201, 204(1)35--54, 204(1)131--152, 224(1)13--33,
224(1)157--172, 225(1)149--161
-
free, -, 175(2)393--406
-
Free, Conflict-, 207(1)193--201
-
free, Context-, 143(2)343--352
-
free, context-, 127(2)287--312, 137(2)177--217, 141(1)331--335,
142(1)3--26, 143(2)343--352, 147(1)87--116, 158(1)143--159,
158(1)161--176, 161(1)23--68, 161(1)141--156, 161(1)205--233,
163(1)1--54, 164(1)207--221, 165(2)275--293, 165(2)463--474,
167(1)171--192, 168(2)241--255, 168(2)321--336, 180(1)353--361,
181(1)141--157, 183(1)21--32, 184(1)195--236, 185(1)15--45,
194(1)35--55, 197(1)189--201, 202(1)231--244, 215(1)349--358
-
free, coupled-context-, 161(1)205--233
-
free, cut-, 170(1)129--144
-
free, cycle-, 175(2)337--347
-
free, function-, 193(1)215--244
-
free, house-hole-domino-sun-, 172(1)209--232
-
free, n-, 175(2)393--406
-
free, noise-, 185(1)129--157
-
free, quasi-, 192(1)107--161
-
free, repetition-, 218(1)161--175
-
free, square-, 187(1)105--116
-
free, star-, 154(1)67--84, 180(1)1--15, 186(1)135--156
-
free, triple-, 175(2)309--335
-
free, Wait-, 220(1)211--245
-
free-choice, 147(1)117--136, 153(1)245--270, 198(1)211--224
-
freedom, deadlock-, 222(1)1--53
-
Frege, 170(1)129--144, 211(1)189--232
-
Freivalds, R{\=u}sin{\c{\v{s}}}, 188(1)175--194, 197(1)139--156,
219(1)3--17, see Aps{\=\i}tis, Kalvis,
see Fortnow, Lance
-
Freivalds:1997:KNM, 188(1)175--194
-
French, 137(2)219--236, 145(1)229--240, 156(1)1--38, 156(1)159--176,
158(1)65--79, 159(1)5--13, 159(1)43--63, 159(1)105--128,
161(1)69--92, 164(1)165--183, 165(2)295--309, 165(2)325--354,
172(1)67--89, 174(1)171--191, 180(1)81--113, 187(1)123--145,
187(1)263--284, 191(1)61--77, 201(1)137--150, 204(1)87--98,
204(1)119--130, 209(1)261--285, 215(1)31--49
-
Frequences, 165(2)295--309
-
frequency, 163(1)177--192, 165(2)295--309, 209(1)347--363
-
Freyd, P. J., 228(1)49--76
-
Freyd:1999:B, 228(1)49--76
-
Frigioni, Daniele, 203(1)69--90
-
Frigioni, Daniele, see Cicerone, Serafino
-
fringe, 143(1)175--188
-
Froidevaux, Christine, 171(1)247--280
-
Froidevaux, Christine, see Chatalic, Philippe
-
front, 187(1)249--262
-
front, move-to-, 164(1)185--206
-
frontier, 154(1)85--106
-
Frota Mattos, Luiz A., 200(1)313--334
-
Frota Mattos, Luiz A., see Blundo, C.
-
Frougny, Christiane, 191(1)61--77
-
Frougny:1998:SDA, 191(1)61--77
-
FSSP, 165(2)475--482
-
F/sub, 176(1)235--282
-
Fu, Yuxi, 221(1)327--368
-
Fu:1999:VMP, 221(1)327--368
-
fugitive-search, 172(1)233--254
-
Fujii, Robert H., 200(1)101--134
-
Fujii, Robert H., see Schmitt, Lothar M.
-
Fulk, Mark, 161(1)235--261
-
Fulk:1996:LPI, 161(1)235--261
-
Fulkerson, Ford-, 148(1)165--170
-
full, 151(1)207--256, 154(1)57--65, 168(1)155--212, 174(1)203--216,
176(1)159--173, 185(2)217--235, 188(1)231--240, 197(1)241--z,
197(1)242--z--1, 197(1)245--z--1, 200(1)45--100, 221(1)251--270,
227(1)3--42
-
fully, 138(2)315--352, 149(2)201--229, 151(1)207--256, 154(2)379--385,
156(1)177--201, 165(2)407--440, 168(1)155--212, 170(1)445--464,
176(1)205--234, 179(1)217--250, 185(2)259--275, 197(1)241--z,
228(1)105--150
-
Fülöp, Z., 194(1)57--85, see Dányi, G.
-
Fun, 176(1)235--282, 193(1)75--96
-
function-free, 193(1)215--244
-
functional, 139(1)131--162, 141(1)175--193, 142(1)59--87, 144(1)59--65,
146(1)69--108, 146(1)243--268, 149(1)129--149, 152(2)269--283,
154(1)41--56, 155(1)1--38, 159(2)191--244, 160(1)145--184,
160(1)185--216, 160(1)217--239, 167(1)193--233, 168(1)155--212,
173(1)113--149, 175(1)29--74, 175(1)75--92, 175(1)93--125,
176(1)111--158, 176(1)175--204, 177(1)27--58, 178(1)1--36,
185(2)277--318, 187(1)147--165, 187(1)203--219, 189(1)221--228,
190(2)151--166, 192(2)201--231, 194(1)1--34, 194(1)240--z--1,
194(1)241--z--1, 194(1)241--z--2, 194(1)244--z--2, 194(1)245--z--2,
194(1)246--z--1, 198(1)177--200, 206(1)283--300, 228(1)5--47,
228(1)105--150
-
functional, differential-, 144(1)161--197
-
Functional-logic, 212(1)77--99
-
functions;, set-, 139(1)243--273
-
functor, 139(1)69--113, 150(1)57--75, 152(1)67--89, 173(2)311--347
-
functor;, 2-, 177(1)73--109
-
fundamental, 141(1)1--52, 172(1)1--41, 176(1)235--282
-
Fusion, 215(1)337--344
-
future, 166(1)1--47, 170(1)1--46
-
fuzzy, 171(1)281--302, 179(1)427--436, 192(2)315--351