Index file section F for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
F
-
F, 306(1)305--317, 315(1)3--34
-
FA, 312(2)359--378
-
face-cycle, 235(2)267--270
-
facility, 310(1)457--467, 326(1)431--442
-
fact, 315(2)405--417
-
factor, 249(2)305--311, 259(1)145--182, 262(1)569--582, 270(1)935--946,
273(1)99--117, 285(1)55--71, 304(1)365--385, 329(1)251--269
-
factorials, 326(1)419--429
-
Factoring, 234(1)301--308
-
factorization, 273(1)47--67, 273(1)81--97, 297(1)399--424,
302(1)211--222, 307(1)179--197, 310(1)489--499, 315(2)651--669
-
Factorizing, 290(2)1201--1222
-
faculty, 322(2)245--265
-
Fages, François, 325(1)25--44,
see Chabrier-Rivier, Nathalie
-
Fagin, Ronald, 239(2)309--338
-
Fagin:2000:FIW, 239(2)309--338
-
Faigle, Ulrich, 313(3)371--376
-
Faigle, Ulrich, see Erd{\H{o}}s, Peter L.
-
failure, 266(1)693--735, 290(1)863--936, 309(1)157--176
-
fairness, 243(1)307--338, 294(1)151--181
-
Fakotakis, Nikos D., 301(1)103--117
-
Fakotakis, Nikos D., see Sgarbas, Kyriakos N.
-
Falaschi, Moreno, 311(1)479--525
-
Falaschi, Moreno, see Alpuente, María
-
Falco, Lorenzo, Tortora de, 294(3)489--524
-
Falco, Diego de, 327(3)269--300
-
false, 299(1)289--306
-
family, 234(1)135--166, 242(1)361--376, 276(1)147--181, 286(1)65--95,
293(2)417--445, 301(1)451--462, 320(1)51--69, 320(2)199--212
-
fan, 235(2)257--266
-
Fang, Qizhi, 325(3)409--424
-
Fang, Qizhi, see Chin, Francis Y. L.
-
fanin, 240(2)319--335
-
Fanout, 255(1)281--293
-
far, 279(1)3--27
-
Farach-Colton, M. Martín, 321(1)5--12,
see Bender, Michael A.
-
Farach-Colton, Martin, 312(1)3--15
-
Farach-Colton, Martin, see Charikar, Moses
-
Faraut, Thomas, 322(2)313--334
-
Faraut, Thomas, see Weil, Georges
-
Farr, G. E., 306(1)1--18
-
Farr:2003:GPG, 306(1)1--18
-
Farré, Jacques, 313(1)73--91
-
Farre:2004:BCN, 313(1)73--91
-
farthest, 296(1)47--58
-
fast, 237(1)239--262, 240(2)447--469, 246(1)53--72, 254(1)379--422,
259(1)623--638, 295(1)233--250, 301(1)477--489, 315(2)419--452,
315(2)469--510, 315(2)511--523, 320(1)3--13
-
faster, 287(2)473--499, 315(2)469--510
-
fault, 233(1)247--261, 240(2)319--335, 242(1)237--245, 243(1)269--288,
259(1)307--321, 262(1)215--227, 264(1)91--125, 290(2)1201--1222
-
fault, multiple-, 315(1)191--208
-
Fault-diagnosis, 290(2)1149--1174
-
fault-free, 262(1)215--227
-
fault-tolerant, 255(1)649--658, 322(3)567--613
-
fault/error, 290(2)1223--1251
-
faulty, 297(1)241--260, 314(3)431--443, 321(1)149--170
-
Favaron, O., 263(1)247--254
-
Favaron:2001:NUR, 263(1)247--254
-
feared, 293(1)25--44
-
feasible, 238(1)477--482, 244(1)167--188, 303(1)63--81, 329(1)159--176
-
Feder, Tomás, 233(1)297--308, 255(1)281--293, 314(1)1--43,
324(2)201--218
-
Feder:2000:SPA, 233(1)297--308
-
Feder:2001:FLC, 255(1)281--293
-
Feder:2004:CRS, 324(2)201--218
-
Feder:2004:DCH, 314(1)1--43
-
Fedou, Jean-Marc, 314(1)57--95
-
Fedou, Jean-Marc, see Duchi, Enrica
-
feedback, 246(1)107--116, 302(1)295--317
-
Feige, Uriel, 233(1)247--261, 289(1)473--484
-
Feige, Uriel, see Aumann, Yonatan
-
Feige:2002:DSS, 289(1)473--484
-
Feigenbaum, Joan, 304(1)215--236
-
Feigenbaum:2003:HRM, 304(1)215--236
-
Fekete, Sándor P., 313(3)377--392
-
Fekete:2004:TSP, 313(3)377--392
-
Fellows, Michael R., 233(1)107--127, 244(1)167--188, 298(2)317--324
-
Fellows, Michael R., see Bodlaender, Hans L.,
see Cattell, Kevin
-
Fellows:2003:PCS, 298(2)317--324
-
Felty, Amy, 232(1)187--229
-
Felty:2000:CCF, 232(1)187--229
-
Fenner, Stephen, 262(1)241--256
-
Fenner:2001:HPH, 262(1)241--256
-
Fereti:2004:ECP, 319(1)333--356
-
Fereti{\c'}, Svjetlan, 319(1)333--356
-
Ferigato, Carlo, 290(1)637--668
-
Ferigato, Carlo, see Bernardinello, Luca
-
Fernández, Maribel, 290(1)975--1019, 297(1)157--181,
see Bakel, Steffen van
-
Fernández-Baca, David, 297(1)183--198
-
Fernandez-Baca:2003:DMP, 297(1)183--198
-
Fernandez:2003:OEI, 297(1)157--181
-
Fernau, H., 259(1)405--426, 299(1)633--662
-
Fernau, Henning, 276(1)377--405, 289(1)425--456, 296(2)225--251
-
Fernau:2001:HMC, 259(1)405--426
-
Fernau:2002:ELS, 289(1)425--456
-
Fernau:2002:SGA, 276(1)377--405
-
Fernau:2003:HMC, 299(1)633--662
-
Fernau:2003:NCP, 296(2)225--251
-
Ferrari, GianLuigi, 240(1)215--254, 269(1)47--82
-
Ferrari, GianLuigi, see Corradini, Flavio,
see Nicola, Rocco De
-
Ferrari, L., 307(2)327--335
-
Ferrari, Luca, 281(1)351--367
-
Ferrari:2002:ACS, 281(1)351--367
-
Ferrari:2003:SBR, 307(2)327--335
-
Ferretti, C., 231(2)157--170, 231(2)171--180
-
Ferretti, Claudio, 301(1)201--215
-
Ferretti:2000:NTT, 231(2)171--180
-
Ferretti:2000:UPS, 231(2)157--170
-
Ferretti:2003:TVR, 301(1)201--215
-
Fertin, Guillaume, 245(2)203--216, 326(1)29--43
-
Fertin, Guillaume, see Chauve, Cedric
-
Fertin:2000:SMB, 245(2)203--216
-
festoon, 319(1)333--356
-
Feuerstein, Esteban, 268(1)91--105
-
Feuerstein:2001:LSS, 268(1)91--105
-
few, 315(2)405--417, 322(2)233--235
-
Fiadeiro, J. L., 286(2)151
-
Fiadeiro:2002:P, 286(2)151
-
Fiala, Ji{\v{r}}{\'\i}, 326(1)261--292
-
Fiala:2004:DCL, 326(1)261--292
-
Fiat, Amos, 324(2)133--135
-
Fiat:2004:F, 324(2)133--135
-
fibers, 315(2)335--369
-
Fibonacci, 237(1)263--273, 326(1)241--260
-
fibrations, 311(1)71--103
-
Fidge, Colin, 282(1)151--190, 293(3)477--477
-
Fidge, Colin, see Lermer, Karl
-
Fidge:2003:F, 293(3)477--477
-
Fiebig, Doris, 262(1)349--375, 270(1)935--946
-
Fiebig, Ulf-Rainer, 262(1)349--375, 270(1)935--946
-
Fiebig, Ulf-Rainer, see Fiebig, Doris
-
Fiebig:2001:MCS, 262(1)349--375
-
Fiebig:2002:CFC, 270(1)935--946
-
Fiech, Adrian, 278(1)111--140
-
Fiech:2002:PLC, 278(1)111--140
-
field, 231(2)143--156, 231(2)253--273, 234(1)301--308, 244(1)263--265,
255(1)555--568, 265(1)69--77, 315(2)419--452, 320(2)465--483
-
fifty, 270(1)71--109
-
Figueira, Santiago, 270(1)947--958
-
Figueira, Santiago, see Becher, Verónica
-
Figueiredo, Celina M. H. de, 297(1)145--155, 306(1)391--405
-
Figueiredo, Celina M. H. de, see Dias, Vânia M. F.
-
file, 268(1)119--131
-
files, 233(1)191--199
-
Fill, James Allen, 326(1)69--102
-
Fill:2004:LDA, 326(1)69--102
-
filled, 250(1)125--141
-
filter, 238(1)363--387, 299(1)603--631
-
FIN-learning, 261(1)91--117
-
final, 233(1)129--145, 280(1)105--122, 294(1)3--29
-
Finally, 279(1)3--27
-
Finch, Ian, 262(1)569--582
-
Finch, Ian, see Czumaj, Artur
-
find, 292(2)465--479
-
finding, 232(1)165--186, 235(1)183--204, 259(1)233--244, 263(1)113--121,
279(1)51--64, 289(2)997--1008, 292(2)481--495, 296(1)167--177,
298(1)5--19, 299(1)707--718, 303(1)135--156, 303(2)353--374,
306(1)407--430, 310(1)287--307, 310(1)355--363, 312(1)3--15,
317(1)1--11
-
fine, 257(1)85--105, 270(1)401--419, 292(1)245--262
-
Fine, Shai, 284(1)25--51
-
Fine:2002:QCL, 284(1)25--51
-
Finelli, Michele, 244(1)219--241
-
Finelli, Michele, see Cattaneo, Gianpiero
-
Finger, Marcelo, 318(3)373--408
-
Finger, Marcelo, see Broda, Sabine
-
Finitary, 266(1)341--364
-
finite, 47(2)149--158, 231(1)59--74, 231(1)103--111, 234(1)167--176,
234(1)301--308, 235(1)183--204, 239(1)97--139, 242(1)219--235,
242(1)247--281, 244(1)263--265, 254(1)95--149, 255(1)151--162,
255(1)223--261, 255(1)697--697, 257(1)107--114, 259(1)323--339,
262(1)1--24, 262(1)333--347, 267(1)3--16, 273(1)69--79,
273(1)167--183, 273(1)185--196, 273(1)225--248, 273(1)249--261,
275(1)111--125, 275(1)633--674, 284(2)373--396, 286(1)97--116,
287(1)251--265, 287(1)299--311, 289(1)137--163, 289(1)225--251,
290(1)863--936, 292(1)263--281, 293(1)55--82, 293(1)169--188,
293(3)479--505, 294(1)151--181, 295(1)153--169, 295(1)223--232,
298(3)511--528, 299(1)451--475, 299(1)477--493, 302(1)257--274,
302(1)275--294, 302(1)295--317, 302(1)497--498, 306(1)123--137,
309(1)43--63, 310(1)489--499, 312(1)17--45, 313(1)45--56,
313(1)133--144, 313(1)145--158, 313(1)159--172, 315(1)109--133,
315(2)419--452, 320(2)465--483, 321(2)383--394, 322(1)69--84,
327(3)319--347, 327(3)375--390
-
finite, D-, 307(2)257--276
-
finite-connectivity, 265(1)199--225
-
Finite-dimensional, 263(1)275--281
-
finite-memory, 231(2)297--308
-
finite-state, 231(1)17--32, 258(1)409--433, 267(1)131--140,
270(1)677--700, 283(2)419--450, 310(1)1--33, 313(1)93--104,
313(1)105--117
-
finitely, 230(1)235--245, 244(1)1--33, 300(1)209--234, 301(1)271--284,
327(3)349--373
-
finiteness, 301(1)79--101
-
Finkel, A., 256(1)63--92
-
Finkel, O., 257(1)85--105
-
Finkel, O., see Duparc, J.
-
Finkel, Olivier, 255(1)223--261, 262(1)669--697, 269(1)283--315,
299(1)327--346, 301(1)217--270, 322(1)69--84
-
Finkel:2001:LFL, 255(1)223--261
-
Finkel:2001:TPO, 262(1)669--697
-
Finkel:2001:WHO, 269(1)283--315
-
Finkel:2001:WST, 256(1)63--92
-
Finkel:2003:AOC, 301(1)217--270
-
Finkel:2003:OCF, 299(1)327--346
-
Finkel:2004:CPL, 322(1)69--84
-
Finkelstein, Stacy E., 300(1)91--160, 311(1)527--527
-
Finkelstein:2003:NFD, 300(1)91--160, 311(1)527--527
-
Finkelstein:2004:ENF, 300(1)91--160, 311(1)527--527
-
Finocchiaro, Daniele V., 287(2)501--514
-
Finocchiaro:2002:CDP, 287(2)501--514
-
Fiorentini, Camillo, 294(1)103--149
-
Fiorentini:2003:CWP, 294(1)103--149
-
Fiorenzi, Francesca, 299(1)477--493
-
Fiorenzi:2003:CAS, 299(1)477--493
-
firewalls, 283(2)381--418
-
firing, 233(1)287--295, 244(1)243--256, 259(1)129--143, 270(1)827--841,
276(1)83--109, 314(3)303--334, 320(2)213--228
-
first, 275(1)347--388, 279(1)3--27, 281(1)471--498, 311(1)285--323,
313(3)533--537, 323(1)267--320
-
first, best-, 252(1)121--149
-
first, breadth-, 250(1)201--217
-
first-order, 247(1)191--212, 257(1)115--151, 266(1)543--567,
270(1)1--70, 281(1)177--206, 293(2)447--475, 308(1)227--237,
308(1)239--257
-
Fischer, Paul, 284(1)1--2, 326(1)383--398
-
Fischer, Paul, see Bernholt, Thorsten
-
Fischer, Paul F., 255(1)423--436
-
Fischer:2001:GST, 255(1)423--436
-
Fischer:2002:F, 284(1)1--2
-
Fischlin, Marc, 268(2)199--219
-
Fischlin:2001:CLP, 268(2)199--219
-
Fishkin, Aleksei V., 302(1)319--335, 326(1)261--292
-
Fishkin, Aleksei V., see Fiala, Ji{\v{r}}{\'\i}
-
Fishkin:2003:MTM, 302(1)319--335
-
fitness, 310(1)181--231
-
Fitting, Melvin, 278(1)25--51
-
Fitting:2002:FSL, 278(1)25--51
-
Fitzkee, Thomas L., 303(2)447--462
-
Fitzkee:2003:WMT, 303(2)447--462
-
five, 276(1)133--146, 299(1)785--794
-
fixed, 238(1)483--488, 259(1)183--197, 270(1)659--675, 272(1)315--339,
288(1)129--152, 289(1)503--516, 297(1)3--23, 299(1)719--734,
301(1)477--489, 307(1)47--75, 314(1)45--55, 326(1)57--67
-
fixed-order, 254(1)465--499
-
fixpoint, 238(1)275--311, 247(1)291--296, 278(1)25--51, 278(1)323--333,
308(1)367--392
-
Flagg, Robert C., 278(1)141--158
-
Flagg:2002:EIC, 278(1)141--158
-
Flajolet, P., 287(2)515--534
-
Flajolet, Philippe, 281(1)37--80, 287(2)593--617
-
Flajolet, Philippe, see Banderier, Cyril,
see Nicodème, Pierre
-
Flajolet:2002:RIR, 287(2)515--534
-
Flake, Gary William, 270(1)895--911
-
Flake:2002:RHP, 270(1)895--911
-
Flammini, Michele, 276(1)315--354
-
Flammini, Michele, see Cicerone, Serafino
-
flat, 254(1)363--377, 263(1)263--274
-
Fleischer, Rudolf, 268(1)161--174, 313(3)313--313, 313(3)325--338,
313(3)377--392, 313(3)539--543, 324(2)219--251
-
Fleischer, Rudolf, see Demaine, Erik D.,
see Fekete, Sándor P.
-
Fleischer:2001:BP, 268(1)161--174
-
Fleischer:2004:NRO, 324(2)219--251
-
Fleischer:2004:P, 313(3)313--313
-
Fleischner, Herbert, 289(1)503--516
-
Fleischner:2002:PTR, 289(1)503--516
-
Fleury, Emmanuel, 321(2)291--345
-
Fleury, Emmanuel, see Bouyer, Patricia
-
flexible, 262(1)285--310, 270(1)843--856
-
flips, 235(2)271--282
-
floating, 291(2)159--182, 291(2)183--201, 315(2)405--417
-
floating-point, 291(2)135--141
-
Flocchini, Paola, 291(1)29--53, 301(1)355--379
-
Flocchini:2002:SDD, 291(1)29--53
-
Flocchini:2003:CAN, 301(1)355--379
-
flops, 315(2)469--510
-
florilegium, 322(2)231--232
-
floundering, non-, 266(1)489--512
-
Flouret, M., 267(1)105--120
-
Flouret, M., see Duchamp, G.
-
flow, 237(1)105--122, 248(1)3--27, 283(2)381--418, 285(1)101--117,
311(1)463--478, 312(1)75--97, 315(1)209--256, 321(1)13--24,
322(1)181--201
-
Flum, Jörg, 239(2)257--276
-
Flum:2000:GTD, 239(2)257--276
-
Focardi, Riccardo, 283(2)271--304, 291(3)285--327
-
Focardi, Riccardo, see Bodei, Chiara
-
Focardi:2003:CTA, 291(3)285--327
-
Fokkink, Wan, 243(1)391--408
-
Fokkink:2000:LPP, 243(1)391--408
-
Folding, 322(2)285--296
-
Fomin, Fedor, 326(1)261--292
-
Fomin, Fedor, see Fiala, Ji{\v{r}}{\'\i}
-
fonctions, 250(1)265--332
-
Fonseca, Guilherme D. da, 306(1)391--405
-
Fonseca, Guilherme D. da, see Dias, Vânia M. F.
-
forbidden, 273(1)99--117, 314(1)121--171
-
forbidding, 237(1)149--158, 306(1)449--469
-
Forbidding--enforcing, 292(3)611--638
-
force, 232(1)299--333, 255(1)555--568
-
Forced, 235(2)309--324
-
Forcing, 303(2)409--416
-
forests, 263(1)283--304, 310(1)489--499
-
Foreword, 239(2)187--187, 240(1)1--2, 245(1)1--1, 248(1)1--2, 249(1)1--1,
252(1)1--3, 260(1)1--1, 261(1)1--1, 261(2)211--211, 264(1)1--2,
267(1)1--1, 268(2)175--177, 271(1)1--1, 278(1)1--2, 279(1)1--2,
280(1)1, 282(1)1--3, 282(2)221--222, 284(1)1--2, 284(2)197,
285(1)1, 288(1)1, 289(2)877, 292(1)1--1, 292(3)573--573,
293(1)1--2, 293(3)477--477, 295(1)1--1, 296(2)193--194,
296(3)377--377, 298(1)1--4, 303(1)1--1, 303(2)265--265, 305(1)1--2,
307(3)455--455, 313(2)173--174, 319(1)1--1, 322(1)1--3, 324(1)1--1,
324(2)133--135, 327(3)223--224
-
form, 232(1)121--132, 249(2)313--324, 255(1)511--538, 258(1)169--208,
266(1)365--405, 267(1)35--47, 278(1)141--158, 286(2)247--292,
307(2)277--302, 315(2)469--510, 328(3)325--354
-
formal, 47(2)149--158, 231(2)309--334, 251(1)1--166, 262(1)117--131,
269(1)469--498, 282(1)151--190, 285(2)519--560, 288(1)45--83,
289(1)425--456, 292(1)199--219, 292(2)345--357, 293(2)243--259,
298(1)21--50, 298(1)51--70, 305(1)347--408, 321(2)233--248,
325(1)69--110, 328(1)171--186
-
formalism, 236(1)3--34, 293(2)291--320, 328(1)19--37
-
Formalizing, 234(1)1--57, 323(1)351--397, 323(1)399--442
-
format, 309(1)65--109
-
formation, 292(2)345--357
-
Formenti, E., 259(1)271--285
-
Formenti, E., see Dubacq, J.-C.
-
Formenti, Enrico, 233(1)147--164, 299(1)523--535, 301(1)341--354,
304(1)269--290
-
Formenti, Enrico, see Cattaneo, Gianpiero,
see Durand, Bruno
-
Formenti:2003:NCC, 304(1)269--290
-
Formenti:2003:SAC, 301(1)341--354
-
Formisano, A., 293(2)447--475
-
Formisano, A., see Cantone, D.
-
Formisano, Andrea, 322(1)147--173
-
Formisano:2004:TVS, 322(1)147--173
-
formula, 230(1)1--37, 239(2)309--338, 241(1)37--50, 289(1)503--516,
292(1)165--183, 303(1)83--102, 306(1)485--511, 307(2)277--302,
319(1)71--81
-
Forster, Thomas, 309(1)111--123
-
Forster:2003:BQO, 309(1)111--123
-
Fortnow, Lance, 292(3)597--610, 298(2)303--315
-
Fortnow, Lance, see Downey, Rod
-
Fortnow:2003:OCT, 292(3)597--610
-
Fory, Wit, 307(1)117--127
-
Fory:2003:SCS, 307(1)117--127
-
foundation, 249(1)81--161, 255(1)449--481, 284(2)319--345,
285(2)289--318, 308(1)393--427, 315(1)1--2
-
founded, well-, 258(1)523--553
-
four, 257(1)167--183, 320(2)373--394
-
Fourey, Sébastien, 283(1)109--150
-
Fourey:2002:INT, 283(1)109--150
-
Fournet, Cédric, 266(1)569--603, 322(3)427--476,
see Abadi, Martín
-
Fournet:2001:BJC, 266(1)569--603
-
Fournier, Hervé, 255(1)607--610, 295(1)153--169
-
Fournier, J. C., 303(2)333--351
-
Fournier, Jean-Claude, 281(1)81--97
-
Fournier, Jean-Claude, see Beauquier, Danièle
-
Fournier, Laurent, 291(2)183--201
-
Fournier, Laurent, see Ziv, Abraham
-
Fournier:2001:SNC, 255(1)607--610
-
Fournier:2003:CPM, 303(2)333--351
-
Fournier:2003:QRP, 295(1)153--169
-
fourth, 319(1)441--446
-
Foustoucos, Eugénie, 303(1)103--133,
see Guessarian, Irène
-
Foy, John, 328(3)355--361
-
Foy:2004:DSW, 328(3)355--361
-
Fractal, 304(1)431--441
-
fractals, 262(1)377--414
-
fraction, 291(2)159--182
-
fractional, 255(1)363--376, 279(1)65--82, 302(1)239--256
-
Fraenkel, Aviezri, 313(3)377--392
-
Fraenkel, Aviezri, see Fekete, Sándor P.
-
Fraenkel, Aviezri S., 249(2)265--288, 252(1)5--12, 252(1)13--22,
282(2)271--284, 313(3)393--415, 313(3)539--543
-
Fraenkel, Aviezri S., see Demaine, Erik D.
-
Fraenkel:2000:RRQ, 249(2)265--288
-
Fraenkel:2001:ICI, 252(1)13--22
-
Fraenkel:2001:NHG, 252(1)5--12
-
Fraenkel:2002:ANS, 282(2)271--284
-
Fraenkel:2004:CAC, 313(3)393--415
-
fragment, 258(1)491--522, 294(3)551--573, 301(1)417--425,
318(3)373--408, 323(1)1--48
-
frame, 328(1)171--186
-
Frameproof, 273(1)295--304
-
framework, 232(1)187--229, 263(1)345--354, 266(1)463--487,
269(1)363--417, 290(1)863--936, 298(1)253--272, 300(1)91--160,
308(1)429--447, 310(1)527--537, 311(1)527--527
-
Francés, A. R., 283(1)29--66, see Ayala, R.
-
Francez, Nissim, 306(1)155--175
-
Francez:2003:ACD, 306(1)155--175
-
Franciosa, Paolo Giulio, 250(1)201--217
-
Franciosa:2001:SDB, 250(1)201--217
-
Franco, John, 265(1)147--157
-
Franco:2001:RRT, 265(1)147--157
-
François, Olivier, 306(1)269--289,
see Bienvenüe, Alexis
-
Françon, Jean, 234(1)233--254
-
Francon:2000:TMS, 234(1)233--254
-
Fran{\v{e}}k, Franti{\v{s}}ek, 249(2)289--303
-
Franek:2000:RSS, 249(2)289--303
-
Frank, Ian, 252(1)217--256
-
Frank:2001:TEI, 252(1)217--256
-
Frankel, Yair, 287(2)535--561
-
Frankel:2002:ASD, 287(2)535--561
-
Frankenstein, 282(2)271--284
-
Frappier, Marc, 247(1)257--276
-
Frappier, Marc, see Mili, Rym
-
Fraser, William, 313(3)527--532
-
Fraser, William, see Wolfe, David
-
Fredriksson, Kimmo, 321(2)283--290
-
Fredriksson, Kimmo, see Navarro, Gonzalo
-
free, 233(1)233--245, 242(1)247--281, 242(1)403--475, 262(1)25--36,
290(1)831--862, 293(1)55--82, 297(1)271--280, 299(1)327--346,
301(1)217--270, 307(1)77--92, 312(2)251--266, 324(1)87--105
-
free, chain-, 262(1)229--240
-
free, comma-, 301(1)399--415
-
free, conflict-, 286(1)65--95
-
free, context-, 230(1)247--256, 237(1)135--148, 242(1)327--359,
246(1)131--150, 255(1)511--538, 255(1)601--605, 255(1)667--677,
258(1)573--598, 262(1)669--697, 267(1)35--47, 269(1)283--315,
299(1)785--794, 306(1)113--122, 307(1)103--116, 314(3)445--449,
327(3)255--268
-
free, Cut-, 243(1)185--197
-
free, dart-, 321(2)171--194
-
free, fault-, 262(1)215--227
-
free, N-, 299(1)347--386
-
free, null-, 231(1)89--101
-
free, point-, 305(1)85--109
-
free, power-, 273(1)119--142
-
free, star-, 234(1)167--176
-
free, wait-, 291(1)55--77
-
free-language, context-, 248(1)29--98
-
freedom, 255(1)295--321
-
freeness, Context-, 314(3)445--449
-
freeness, non-context-, 293(2)261--289
-
Freivalds, R{\={u}}si{\c{n}}{\v{s}}, 261(1)91--117, 264(1)1--2,
268(2)367--393, see Ambainis, Andris,
see Aps{\=\i}tis, Kalvis
-
Freivalds:2001:F, 264(1)1--2
-
French, 246(1)151--194, 255(1)345--361, 281(1)3--23, 281(1)219--233,
281(1)251--289, 281(1)311--324
-
frequency, 292(1)33--43, 327(3)269--300
-
frequent, 290(1)669--693, 312(1)3--15
-
Freund, R., 259(1)405--426, 299(1)633--662
-
Freund, R., see Fernau, H.
-
Freund, Rudolf, 312(2)143--188
-
Freund:2004:RRC, 312(2)143--188
-
Frey, Alexandre, 277(1)105--117
-
Frey:2002:SSI, 277(1)105--117
-
Freyd, Peter, 278(1)3--21, 300(1)91--160, 311(1)527--527
-
Freyd, Peter, see Finkelstein, Stacy E.
-
Freyd:2002:CL, 278(1)3--21
-
Frias, Marcelo F., 254(1)543--556
-
Frias:2001:CRC, 254(1)543--556
-
Friburger, N., 313(1)93--104
-
Friburger:2004:FST, 313(1)93--104
-
Frid, A. E., 306(1)535--542
-
Frid:2003:ACS, 306(1)535--542
-
Friedrichs, Olaf, Delgado-, 303(2)431--445
-
Frigioni, Daniele, 250(1)201--217, 259(1)287--305, 297(1)83--102
-
Frigioni, Daniele, see Cicerone, Serafino,
see Franciosa, Paolo Giulio
-
Frigioni:2001:DAC, 259(1)287--305
-
Fringe, 299(1)231--271
-
Frisco, Pierluigi, 296(2)269--293, 312(2)295--319
-
Frisco:2003:DCU, 296(2)269--293
-
Frisco:2004:CPS, 312(2)295--319
-
front, move-to-, 242(1)313--325
-
Frontier, 231(2)217--251
-
Frosini, A., 319(1)447--454
-
Frosini:2004:NCT, 319(1)447--454
-
Frougny, Christiane, 279(1)1--2, 291(2)133--134, 292(1)221--235,
303(2)491--516, 319(1)281--305
-
Frougny, Christiane, see Chesneaux, Jean-Marie,
see Elkharrat, Avi, \see{Kornerup, Peter
-
Frougny:2003:AMP, 303(2)491--516
-
Frougny:2003:LDS, 292(1)221--235
-
frozen, 265(1)227--264, 329(1)93--113
-
fruitful, 235(2)325--337
-
FST, 231(1)33--46
-
Fu, Xiang, 328(1)19--37
-
Fu, Yuxi, 290(1)779--830, 308(1)55--130
-
Fu:2002:UMC, 290(1)779--830
-
Fu:2003:TLP, 308(1)55--130
-
Fu:2004:CPF, 328(1)19--37
-
Führmann, Carsten, 294(1)31--60, see Bucalo, Anna
-
Fujimura, Kikuo, 270(1)421--440
-
Fujimura:2002:TMP, 270(1)421--440
-
Fujita, Satoshi, 289(2)939--952
-
Fujita:2002:TDL, 289(2)939--952
-
Fujito, Toshihiro, 246(1)107--116
-
Fujito:2000:AMF, 246(1)107--116
-
Fukuda, Komei, 263(1)9--16
-
Fukuda, Tomoko, 292(2)497--524, 292(2)525--546
-
Fukuda, Tomoko, see Takeda, Masayuki
-
Fukuda:2001:NAO, 263(1)9--16
-
Fukuyama, Masahiko, 304(1)387--399, 304(1)401--419
-
Fukuyama:2003:NGPa, 304(1)387--399
-
Fukuyama:2003:NGPb, 304(1)401--419
-
full, 290(1)407--428, 294(1)269--305, 306(1)55--67
-
fully, 254(1)35--61, 254(1)557--589, 278(1)53--89, 294(1)151--181,
297(1)83--102, 306(1)543--551
-
Fülöp, Z., 250(1)219--233, 262(1)229--240, 276(1)221--244,
see Dányi, G.
-
Fülöp, Zoltán, 304(1)315--339, 314(3)387--429,
327(3)223--224, see Ésik, Zoltán
-
Fulop:2001:RGT, 250(1)219--233
-
Fulop:2002:IRT, 276(1)221--244
-
Fulop:2003:SPT, 304(1)315--339
-
Fulop:2004:HTS, 314(3)387--429
-
function, 212(1)261--303, 230(1)131--147, 234(1)109--133, 235(1)43--57,
235(2)239--256, 238(1)483--488, 241(1)143--189, 246(1)195--225,
249(1)81--161, 250(1)71--82, 254(1)63--94, 255(1)601--605,
255(1)615--625, 257(1)51--77, 258(1)99--129, 261(2)297--303,
262(1)37--68, 262(1)633--647, 266(1)441--461, 266(1)543--567,
266(1)997--998, 267(1)141--155, 268(2)351--366, 270(1)493--524,
270(1)609--623, 270(1)643--657, 270(1)797--809, 270(1)857--863,
271(1)37--46, 273(1)35--46, 276(1)133--146, 276(1)445--447,
278(1)91--110, 283(1)29--66, 284(2)199--206, 284(2)207--240,
284(2)279--318, 284(2)373--396, 284(2)419--436, 287(1)131--144,
287(2)393--418, 288(2)309--341, 290(1)695--740, 292(1)145--164,
292(1)263--281, 294(1)307--331, 295(1)41--64, 297(1)281--295,
298(1)111--143, 300(1)301--329, 301(1)1--30, 301(1)45--78,
310(1)181--231, 310(1)355--363, 312(2)321--335, 313(1)119--132,
313(2)195--207, 314(1)1--43, 315(1)109--133, 320(1)123--134,
321(1)149--170, 322(2)237--244, 324(2)337--345
-
function, -, 273(1)35--46
-
Function-dependent, 306(1)39--53
-
functional, 254(1)683--690, 258(1)233--267, 261(1)81--90,
266(1)365--405, 284(2)437--453, 292(2)481--495, 303(1)35--51,
303(1)233--243, 311(1)479--525, 316(1)137--151, 318(1)181--196,
318(1)225--241, 320(1)111--121, 326(1)69--102, 329(1)159--176
-
functionality, 292(1)45--63
-
functions, -, 284(2)199--206
-
functions, smooth-, 241(1)25--35
-
functor, 237(1)81--104, 272(1)113--175, 284(2)487--498, 294(1)3--29
-
functorial, 286(2)293--322
-
Fung, Stanley P. Y., 325(3)467--478
-
Fung, Stanley P. Y., see Chin, Francis Y. L.
-
Füredi, Z., 315(1)191--208
-
Füredi, Zoltán, 319(1)357--366
-
Furedi:2004:DGN, 319(1)357--366
-
Furedi:2004:MLT, 315(1)191--208
-
Furukawa, K., 292(2)343--344
-
Furukawa, K., see Arikawa, S.
-
Fusion, 260(1)165--207
-
Fúster-Sabater, A., 259(1)679--688
-
Fuster-Sabater:2001:EAG, 259(1)679--688
-
Futatsugi, Kokichi, 285(2)289--318
-
Futatsugi, Kokichi, see Diaconescu, R{\u{a}}zvan
-
fuzzy, 293(2)417--445, 317(1)61--69