Index file section F for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
F
-
F-semantics, 129(1)39--77
-
Fabre, S., 123(1)55--60
-
Fabre, S., see Blanchard, F.
-
Fabris, M., 124(2)297--328
-
Fabris, M., see Bossi, A.
-
face, 86(2)205--232
-
Fachini, E., 83(2)249--260
-
Fachini:1991:NCC, 83(2)249--260
-
facility, 73(2)213--230, 106(2)243--264
-
factor, 71(3)381--400, 80(2)227--262, 82(1)71--84, 88(1)59--82,
92(1)145--164, 92(1)213--221, 92(1)z--z, 95(2)187--205,
102(2)283--305, 108(1)3--16, 117(1)91--98, 129(2)263--278,
133(1)49--64, 134(2)559--565
-
factor, constant-, 125(2)345--353
-
factoring, 81(2)317--324
-
factorization, 72(1)65--94, 73(1)81--89, 74(3)341--354, 82(1)35--49,
88(1)59--82, 106(2)373--383, 117(1)39--43, 127(1)53--67,
134(1)209--223
-
factorization, z-, 108(2)251--270
-
factorizing, 127(1)53--67
-
Fages, François, 113(1)3--34, see Albert, Luc
-
Fagin, Ronald, 116(1)3--31
-
Fagin:1993:FMT, 116(1)3--31
-
Fahmy, H. M. A., 77(3)321--330
-
Fahmy:1990:APN, 77(3)321--330
-
failure, 75(1)45--66, 75(1)z--z, 79(2)275--294, 80(2)263--288,
86(1)107--139, 101(2)239--263, 105(1)85--128, 120(1)1--44,
124(1)169--179, 128(1)127--157, 128(1)179--210, 131(2)295--310
-
failure, negation-as-, 94(2)281--294
-
fair, 74(1)71--93, 75(1)45--66, 80(1)77--104, 97(1)131--142,
99(1)121--140, 107(2)305--332, 111(1)125--143, 135(2)377--404
-
fairness, 80(1)77--104, 82(2)341--372, 97(1)131--142, 99(1)121--140,
103(2)191--204, 107(2)305--332, 111(1)125--143, 111(1)z--z
-
Falaschi, M., 75(1)45--66
-
Falaschi:1990:FFP, 75(1)45--66
-
falsi, 88(2)313--324
-
family, 70(1)73--83, 70(3)305--342, 76(2)243--250, 78(2)357--362,
83(2)261--273, 87(2)287--313, 91(2)239--264, 104(2)235--261,
104(2)263--283, 107(1)77--94, 117(1)45--65, 117(1)99--112,
129(2)337--367
-
fan-in, 78(2)357--362, 85(1)155--170, 93(2)303--319, 116(2)415--419
-
Farmer, W. M., 87(1)25--41
-
Farmer:1991:SSO, 87(1)25--41
-
fast, 73(1)91--100, 81(1)97--115, 92(1)3--17, 92(1)165--179,
92(1)191--211, 92(1)z--z, 106(2)265--281, 115(2)391--399,
116(2)421--429, 123(2)427--428, 130(1)17--47, 134(1)63--78
-
Fatou, 93(2)327--331, 98(1)5--13
-
fault, 79(2)323--339, 119(1)215--222, 119(1)z--z, 128(1)99--125,
128(1)127--157, 128(1)159--177, 128(1)179--210, 128(1)241--252
-
fault-tolerant, 128(1)159--177, 128(1)241--252
-
faulty, 95(1)169--185, 128(1)159--177
-
Faure, Henri, 123(1)131--137
-
Faure:1994:MQM, 123(1)131--137
-
feasibility, 118(1)3--20
-
feature, 122(1)263--283, 130(1)101--123
-
Fedou, J. M., 98(1)65--76
-
Fedou, J. M., see Delest, M. P.
-
feedback, 100(2)325--346
-
Feldmann, Anja, 130(1)49--72
-
Feldmann:1994:DSP, 130(1)49--72
-
Felleisen, M., 103(2)235--271
-
Felleisen:1992:RRS, 103(2)235--271
-
Ferenczi, S., 94(2)215--221, 129(2)369--383
-
Ferenczi:1992:TMS, 94(2)215--221
-
Ferenczi:1994:TLR, 129(2)369--383
-
Ferguson, T. S., 96(2)389--403
-
Ferguson:1992:MBK, 96(2)389--403
-
Fernandez-Camacho, M.-I., 74(3)273--298
-
Fernandez-Camacho, M.-I., see Casas, R.
-
Ferrari, Alberto, 121(1)113--143
-
Ferrari, Alberto, see Coppo, Mario
-
Ferreira, A., 120(2)311--315
-
Ferreira, A. G., 95(2)323--337
-
Ferreira, A. G., see Akl, S. G.
-
Ferreira:1993:SEA, 120(2)311--315
-
Ferrers, 98(1)65--76
-
Feuerstein, Esteban, 116(2)359--371
-
Feuerstein:1993:DAS, 116(2)359--371
-
fewness, 103(1)3--23
-
Fey, W., 77(1)27--71
-
Fey, W., see Ehrig, H.
-
fi, 87(1)189--202
-
Fiat, Amos, 130(1)85--99
-
Fiat:1994:CAW, 130(1)85--99
-
Fibonacci, 88(2)365--384, 136(2)361--385
-
fibration, 79(2)359--363, 107(2)169--207, 136(1)3--20
-
Fiech, Adrian, 136(1)57--78
-
Fiech:1994:ADN, 136(1)57--78
-
field, 72(2)119--131, 72(2)z--z, 84(2)151--164, 93(2)303--319,
98(1)41--50, 98(1)79--97, 98(1)115--133, 133(1)95--104
-
field, finite-, 112(2)291--309
-
FIFO, 85(1)171--203
-
fifo, 113(1)93--117
-
fifth, 75(1)z--z, 122(1)1--z
-
figure, 123(1)151--165
-
file, 71(3)419--424, 72(2)97--117, 72(2)147--167, 75(3)223--262,
76(1)53--91, 77(1)161--194, 79(2)275--294, 83(2)275--285,
84(1)107--126, 85(1)97--116, 87(1)115--142, 87(1)143--162,
91(2)239--264, 91(2)285--313, 92(1)191--211, 93(2)201--225,
94(1)1--35, 95(2)245--261, 96(1)249--283, 100(2)267--302,
101(2)177--221, 103(2)335--363, 104(1)89--107, 104(1)129--159,
106(1)21--60, 106(2)391--393, 107(1)121--133, 108(2)345--356,
109(1)257--274, 111(1)191--210, 112(1)99--143, 112(2)339--354,
113(1)35--54, 113(2)273--291, 116(1)59--94, 116(2)227--290,
116(2)359--371, 117(1)131--136, 117(1)303--313, 118(1)21--48,
118(1)81--98, 119(2)233--245, 119(2)331--343, 119(2)355--361,
120(1)101--121, 121(1)113--143, 122(1)263--283, 123(1)9--19,
124(1)93--125, 124(1)127--148, 124(1)149--168, 125(2)259--293,
127(2)387--393, 128(1)3--30, 129(2)397--406, 130(1)85--99,
130(1)139--161, 131(1)29--94, 131(2)295--310, 132(1)151--178,
132(1)377--385, 134(2)473--491, 136(1)79--107, 136(1)109--123
-
Filé, Gilberto, 107(2)277--303, see Cortesi, Agostino
-
Filippenko, I., 94(1)63--69
-
Filippenko:1992:DLP, 94(1)63--69
-
filter, 95(1)143--158, 102(1)135--163, 115(1)63--75, 121(1)113--143,
121(1)351--409
-
filtering, 112(1)53--97
-
final, 100(2)267--302
-
finding, 71(3)419--424, 81(2)237--256, 88(1)59--82, 108(2)345--356,
125(2)229--241
-
FindMax, 84(1)107--126
-
FindMin, 84(1)107--126
-
Fine, 95(1)159--168
-
finitary, 74(2)121--162, 115(1)131--149
-
finite, Hereditarily-, 119(1)187--214
-
finite, hereditarily-, 119(1)187--214, 119(1)z--z
-
finite, image-, 118(2)263--299
-
finite-automaton, 88(1)99--116, 119(1)215--222
-
finite-dimensional, 125(1)149--165
-
finite-field, 112(2)291--309
-
finite-memory, 134(2)329--363
-
finite-model, 116(1)3--31
-
finite-state, 72(2)265--288, 83(2)287--300, 85(1)53--74, 92(2)249--268,
106(1)135--181, 106(2)283--308, 108(1)83--102, 110(1)1--51,
113(1)93--117, 129(2)323--336, 134(1)225--251, 134(2)329--363
-
finite-trace, 120(1)101--121
-
finite-valued, 101(1)143--158, 134(1)225--251
-
finite-valuedness, 106(1)135--181
-
finitely, 71(3)281--346, 85(1)33--52, 87(2)315--327, 93(1)1--41,
100(2)267--302, 113(1)35--54, 114(2)273--298, 115(1)131--149,
126(2)183--235, 131(2)271--294
-
finitely-generated, 134(2)537--544
-
finiteness, 87(2)315--327, 98(1)5--13, 111(1)89--101, 131(2)271--294,
134(2)365--385
-
firing, 91(1)57--69, 92(2)291--300, 127(2)313--332, 136(2)527--532
-
first, 70(1)127--150, 74(1)37--69, 76(2)343--351, 79(2)295--321,
87(1)81--96, 88(1)33--57, 88(1)183--189
-
first, breadth-, 85(1)171--203, 124(2)343--350
-
first, depth-, 104(1)109--128
-
first-order, 73(1)47--60, 85(2)213--229, 93(2)169--183, 94(1)63--69,
95(1)75--95, 96(1)249--283, 97(1)157--173, 100(1)45--66,
102(1)207--214, 103(2)387--394, 104(1)109--128, 104(1)129--159,
105(1)57--84, 106(2)337--349, 108(1)83--102, 111(1)145--189,
111(1)211--252, 111(1)253--290, 112(1)99--143, 113(1)3--34,
118(2)167--191, 118(2)231--262, 120(1)69--81, 122(1)69--96,
123(1)31--53, 123(1)117--130, 124(2)221--272, 126(1)97--112,
127(1)1--23, 131(1)95--120, 133(2)307--340, 135(1)139--153
-
first-order-definable, 120(1)69--81
-
fix, 99(2)327--z
-
Fix, Limor, 131(1)139--179
-
FIX-logic, 136(1)217--242
-
Fix:1994:PCU, 131(1)139--179
-
fixed, 70(1)65--72, 70(1)85--97, 70(2)179--192, 75(1)15--43,
76(2)179--222, 77(3)309--319, 80(2)227--262, 81(2)317--324,
83(2)337--343, 86(2)377--389, 87(1)1--24, 87(1)209--220,
87(1)221--228, 95(2)307--321, 97(1)175--181, 99(2)327--z,
121(1)71--88, 122(1)263--283, 127(2)269--286, 130(1)5--16
-
fixed-point, 85(1)75--95, 91(2)129--179, 94(2)335--356, 121(1)411--440
-
fixed-point, least-, 118(2)301--314
-
fixpoint, 73(1)101--112, 75(1)45--66, 75(1)67--83, 76(2)309--322,
86(1)93--106, 87(1)209--220, 89(1)161--177, 93(1)1--41,
103(2)205--234, 105(1)85--128, 115(1)151--189, 116(1)151--194,
122(1)3--47, 129(1)123--142, 131(1)95--120, 133(2)267--306
-
FL, 93(1)1--41
-
Flajolet, 100(1)243--251
-
Flajolet, P., 79(1)37--109
-
Flajolet, Philippe, 123(2)291--314, 132(1)1--35
-
Flajolet:1991:AAC, 79(1)37--109
-
Flajolet:1994:CRG, 132(1)1--35
-
Flajolet:1994:MTA, 123(2)291--314
-
flat, 75(1)67--83, 75(1)z--z, 87(2)263--286, 119(1)63--102
-
Flatto, Leopold, 125(1)3--16
-
Flatto, Leopold, see Coffman, Jr., E. G.
-
floating, 96(1)217--248
-
flow, 75(3)347--355, 75(3)357--363, 91(2)129--179, 104(2)285--298,
106(2)243--264, 116(2)359--371
-
flowchart, 99(1)1--63
-
flowcharting, 99(1)1--63
-
FLUO, 122(1)201--223
-
Fokkinga, M. M., 87(1)81--96
-
Fokkinga, M. M., see Balsters, H.
-
fold, 75(1)139--156, 86(1)107--139, 105(1)57--84
-
folding, 105(1)57--84
-
folding, paper-, 119(2)345--354
-
folk, 95(2)323--337
-
folklore, 135(2)423--431
-
following, 133(1)65--84
-
following, path-, 133(1)65--84
-
fonctionnelle, 117(1)45--65
-
for-Sets, BIT-, 130(1)101--123
-
forbidden, 72(1)55--64
-
forcing, 79(1)179--193
-
forest, 72(1)65--94, 76(2)261--271, 84(2)293--311, 93(2)245--264,
99(2)177--211, 125(2)259--293, 133(2)307--340
-
Foreword, 72(1)1--z, 73(2)119--z, 92(1)1--z, 104(1)1--z, 107(1)1--z,
108(1)1--z, 111(1)1--z, 116(1)1--z
-
form, 73(2)231--248, 79(1)227--239, 81(2)305--310, 82(1)95--111,
83(2)219--235, 87(2)287--313, 92(1)87--105, 92(1)z--z, 93(1)91--113,
94(2)199--213, 95(2)339--340, 97(1)105--130, 97(2)233--244,
98(1)115--133, 102(2)307--328, 104(1)3--28, 107(2)253--276,
112(2)277--289, 116(1)59--94, 119(1)145--171, 120(2)197--213,
121(1)71--88, 123(2)199--237, 133(2)387--419
-
form, closed-, 72(2)119--131, 116(1)117--149, 128(1)211--239
-
form, normal-, 125(2)167--204
-
form, product-, 125(1)61--90
-
formalism, 85(2)333--351, 90(1)119--125, 91(2)285--313, 99(1)105--119,
101(2)265--288, 103(1)51--106, 104(2)235--261, 106(1)3--20,
119(1)3--22, 122(1)165--200, 128(1)127--157, 133(2)307--340
-
formalizations, 91(1)101--117
-
formally, 83(2)169--188
-
formation, 133(2)387--419
-
formed, well-, 81(2)223--235
-
forming, path-, 110(1)215--245
-
Formisano, M. R., 81(1)147--153
-
Formisano, M. R., see Cori, R.
-
formula, 72(2)265--288, 79(1)227--239, 79(1)241--256, 80(2)125--151,
80(2)263--288, 83(2)323--335, 93(1)159--167, 96(2)405--410,
98(1)99--114, 98(1)z--z, 99(2)315--z, 101(1)133--141,
115(2)191--224, 115(2)321--349, 116(2)405--413, 117(1)113--130,
117(1)243--253, 118(2)99--166, 120(1)157--168, 122(1)69--96,
126(1)77--96, 129(1)193--206, 133(2)307--340, 135(1)5--9,
135(1)139--153, 136(2)361--385, 136(2)419--469
-
formulae, 77(1)131--159, 81(2)223--235, 97(1)157--173, 107(1)63--76,
110(2)405--418, 123(2)291--314, 128(1)159--177
-
formulas, cut-, 129(1)193--206
-
Forster, Thomas, 110(2)405--418
-
Forster:1993:SCW, 110(2)405--418
-
Fortnow, Lance, 113(1)55--73, 134(2)545--557
-
Fortnow:1993:IPS, 113(1)55--73
-
Fortnow:1994:PMP, 134(2)545--557
-
forward, 117(1)1--z, 131(1)197--218
-
Fouks, J. D., 99(2)315--z
-
Fouks:1992:TFR, 99(2)315--z
-
foundation, 83(1)131--155, 90(2)433--456, 100(2)325--346,
111(1)253--290, 111(1)z--z, 121(1)89--112, 135(1)67--110,
135(1)z--z
-
foundation, anti-, 121(1)351--409
-
founded, well-, 105(1)7--25, 114(2)299--315, 116(2)291--303,
122(1)49--68, 122(1)97--117, 124(1)189--192, 136(1)243--275
-
four, 88(1)183--189, 90(1)127--149
-
four-coloring, 88(1)183--189
-
Fourier, 123(2)291--314
-
Fournier, R., 87(1)97--114
-
Fournier:1991:EDM, 87(1)97--114
-
FP, 93(1)75--89
-
FP-like, 116(1)59--94
-
fractals, 98(2)163--197, 116(2)373--398
-
fraction, 72(2)147--167, 83(2)219--235, 98(1)99--114, 98(1)115--133
-
Fraenkel, A. S., 75(3)311--333, 110(1)197--214
-
Fraenkel, A. S., see Blass, U.
-
Fraenkel, Aviezri S., 112(2)371--382
-
Fraenkel, Zermelo-, 129(2)385--396
-
Fraenkel:1993:GMG, 110(1)197--214
-
Fraenkel:1993:UEG, 112(2)371--382
-
fragment, 95(1)115--142, 101(1)35--57, 102(1)207--214, 107(2)253--276,
123(1)31--53, 126(1)77--96, 135(1)139--153, 135(1)155--169
-
frame, 95(1)159--168, 96(1)35--72, 132(1)427--434, 135(2)221--266
-
framework, 77(1)131--159, 82(2)303--327, 82(2)389--402, 82(2)403--408,
85(2)305--331, 91(1)23--55, 94(2)237--259, 94(2)311--334,
109(1)123--143, 113(2)273--291, 115(1)77--106, 116(1)59--94,
119(1)23--38, 122(1)225--262, 123(1)31--53, 124(1)93--125,
128(1)99--125, 135(2)171--220, 135(2)221--266, 136(1)109--123,
136(2)333--360
-
framework, cpo-, 135(2)171--220
-
Francez, Nissim, 131(1)139--179, 134(2)329--363
-
Francez, Nissim, see Fix, Limor,
see Kaminski, Michael
-
Franco, A., Gavilanes-, 74(1)37--69
-
Francon, J., 72(2)147--167
-
Francon:1990:ADA, 72(2)147--167
-
Frandsen, G., 93(2)303--319
-
Frandsen, G., see Boyar, J.
-
Frandsen, Gudmund Skovbjerg, 112(2)291--309
-
Frandsen, Gudmund Skovbjerg, see Sturtivant, Carl
-
Frechet, 115(1)63--75
-
free, 70(2)179--192, 71(2)265--279, 72(1)65--94, 73(1)81--89,
73(3)335--340, 74(1)3--18, 74(2)121--162, 78(2)319--346,
79(1)227--239, 79(1)241--256, 86(2)233--241, 92(1)77--86,
92(2)249--268, 92(2)269--289, 94(2)199--213, 94(2)367--371,
97(1)67--81, 97(2)301--311, 98(1)5--13, 98(1)79--97, 98(1)115--133,
99(2)231--241, 100(1)67--104, 100(2)267--302, 101(2)161--176,
102(1)185--205, 103(1)25--38, 103(1)51--106, 108(1)z--z,
112(2)311--337, 115(2)359--369, 116(2)421--429, 117(1)91--98,
117(1)217--226, 119(2)363--371, 121(1)309--321, 123(2)427--428,
125(2)167--204, 126(2)237--257, 134(1)3--11, 134(1)107--117,
134(1)209--223, 134(2)537--544
-
free, Context-, 117(1)113--130
-
free, Delta-, 118(1)21--48
-
free, inversion-, 108(1)17--24
-
free, non-context-, 98(2)289--319, 132(1)71--84
-
free, noncontext-, 98(2)289--319
-
free, Overlap-, 115(2)243--260
-
free, overlap-, 115(2)243--260
-
free, pointer-, 84(1)107--126
-
free, priority-, 74(2)249--251
-
free, quasi-, 118(2)167--191
-
free, square-, 72(1)39--53, 81(1)147--153
-
free, Star-, 97(2)301--311
-
free, star-, 83(2)301--312, 97(2)301--311, 104(2)161--183
-
free, type-, 70(2)193--211, 93(1)75--89, 121(1)113--143
-
free, variable-, 75(1)111--138, 107(2)209--252
-
free, wedge-, 117(1)303--313
-
free, zero-divisor-, 92(2)269--289
-
free-choice, 114(1)93--118
-
freeness, conflict-, 134(2)365--385
-
freeness, context-, 98(2)199--247
-
freeness, Z-, 108(2)237--249
-
Freivalds, R., 110(1)131--144
-
Freivalds:1993:PII, 110(1)131--144
-
French, 72(2)z--z, 94(2)199--213, 94(2)223--236, 94(2)261--280,
98(1)79--97, 99(2)327--z, 115(2)291--319, 117(1)3--22, 117(1)45--65,
117(1)67--89, 117(1)131--136, 117(1)153--167, 117(1)169--186,
117(1)187--198, 117(1)203--215, 117(1)217--226, 117(1)243--253,
117(1)255--272, 119(1)z--z, 123(1)21--30, 123(1)55--60,
123(1)89--94, 123(1)145--149, 126(2)281--292
-
French-Soviet, 71(2)z--z
-
Freyd, P., 115(1)107--129
-
Freyd, P. J., 70(1)35--64
-
Freyd, P. J., see Bainbridge, E. S.
-
Freyd:1993:SP, 115(1)107--129
-
Friedberg, 74(2)249--251
-
friends, 135(2)405--422
-
Froidevaux, C., 78(1)85--112
-
Froidevaux, C., see Bidoit, N.
-
Front, Move-Set-to-, 130(1)101--123
-
front, move-to-, 108(2)371--384
-
frontier, 76(2)261--271, 84(2)293--311, 129(2)419--424
-
frontier, root-to-, 81(1)1--15
-
frontier-to-root, 76(2)223--242
-
Frougny, Ch, 94(2)223--236, 106(2)183--219
-
Frougny, Christiane, 108(1)45--82
-
Frougny:1992:CLN, 106(2)183--219
-
Frougny:1992:SNL, 94(2)223--236
-
Frougny:1993:SRR, 108(1)45--82
-
FT, 122(1)263--283
-
Fu, Bin, 115(2)371--381, 120(2)279--291
-
Fu, Bin, see Tang, Shouwen
-
Fu:1993:SDN, 120(2)279--291
-
Fuh, You-Chin C., 73(2)155--175
-
Fuh:1990:TIS, 73(2)155--175
-
Fujii, M., 88(2)191--229
-
Fujii, M., see Seki, H.
-
full, 70(2)233--250, 90(1)151--170, 118(2)301--314, 126(1)77--96
-
fully, 103(2)235--271, 128(1)3--30
-
Fulop, Z., 81(1)1--15, 108(2)185--236
-
Fülöp, Z., 134(2)311--328
-
Fulop:1991:CCD, 81(1)1--15
-
Fulop:1993:TTE, 108(2)185--236
-
Fulop:1994:UPD, 134(2)311--328
-
Fun, 83(1)29--56
-
function, Mobius-, 78(2)319--346
-
functional, 70(1)99--126, 70(1)159--178, 70(2)193--211, 71(2)265--279,
71(2)z--z, 71(3)381--400, 72(2)133--146, 72(2)225--249, 72(2)z--z,
77(3)291--308, 79(1)179--193, 80(1)105--115, 81(1)117--126,
81(2)201--221, 83(1)57--69, 87(1)209--220, 91(1)23--55, 93(1)1--41,
93(1)75--89, 93(2)201--225, 96(1)73--155, 101(1)143--158,
102(1)135--163, 103(2)235--271, 104(1)129--159, 104(2)313--323,
105(2)167--215, 111(1)3--57, 116(1)59--94, 117(1)45--65,
118(2)231--262, 119(1)145--171, 121(1)113--143, 121(1)145--167,
121(1)411--440, 122(1)201--223, 122(1)263--283, 123(2)397--406,
124(1)127--148, 131(1)219--241, 132(1)1--35, 133(2)387--419,
135(1)5--9, 136(1)243--275
-
functions, -, 116(2)227--290
-
functions, memo-, 104(2)313--323
-
functions, T-, 116(2)227--290
-
functor, 77(1)27--71, 82(2)215--252, 111(1)211--252, 115(1)77--106,
115(1)107--129, 118(2)301--314, 136(1)57--78
-
functorial, 70(1)35--64, 100(2)325--346, 135(2)221--266
-
fundamental, 78(1)137--158, 91(2)239--264, 117(1)3--22
-
funny, 129(2)369--383
-
further, 90(1)17--36
-
Fussell, D., 74(1)19--35
-
Fussell:1990:SAP, 74(1)19--35
-
Futamura, Y., 90(1)61--79
-
Futamura:1991:EGP, 90(1)61--79
-
fuzzy, 88(2)269--285