Index file section F for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
F
-
Fachini, E., 29(1)185--227
-
Fachini:1984:HPR, 29(1)185--227
-
factor, 28(3)287--298
-
factoring, 23(2)211--215, 34(1)207--213
-
factorisation, 34(1)207--213
-
fail, 17(3)303--315
-
fair, 18(2)173--206, 29(1)167--184, 33(1)65--84, 33(1)z--z,
33(2)239--240
-
fairness, 13(1)61--83, 28(1)83--109, 29(1)167--184
-
faithful, 34(3)241--254
-
families, Color-, 17(1)29--41
-
family, 10(3)317--333, 14(2)187--193, 17(1)103--110, 18(1)89--93,
20(2)95--207, 21(2)163--178, 21(3)351--355, 23(3)231--242,
26(3)243--286, 34(3)241--254, 34(3)255--274, 34(3)275--288
-
fast, 19(3)253--266, 21(1)105--111, 24(3)239--277, 27(3)241--253
-
feedback, 14(3)247--265
-
Fehr, E., 33(2)195--238
-
Fehr:1984:EPT, 33(2)195--238
-
Fellner, W. D., 17(1)103--110
-
Fellner:1982:MG, 17(1)103--110
-
Fernandez, C., 28(1)171--196
-
Fernandez:1984:DCC, 28(1)171--196
-
Fibonacci, 29(1)49--73
-
field, 11(2)207--220, 15(1)77--110, 22(3)285--296, 24(3)239--277
-
file, 11(2)145--165, 12(3)315--323, 16(3)279--290, 16(3)307--319,
19(1)69--84, 20(3)209--263, 20(3)265--321, 22(1)71--93,
26(3)243--286, 33(1)107--116
-
final, 27(3)255--286
-
FIND, 16(1)43--60
-
finitary, 33(2)335--342
-
finitary/infinitary, 31(1)83--100
-
finite, 10(1)19--35, 10(2)187--220, 10(3)273--295, 11(2)167--180,
13(2)137--150, 13(3)323--330, 13(3)331--336, 14(1)19--37,
14(1)39--61, 14(1)63--77, 14(2)195--208, 14(3)227--246,
15(2)201--211, 16(2)187--198, 16(2)223--229, 17(1)99--102,
17(3)333--341, 18(3)325--331, 19(3)231--251, 19(3)305--320,
20(2)95--207, 21(1)91--98, 21(2)225--230, 21(3)357--361,
22(1)19--55, 22(1)95--126, 22(3)285--296, 22(3)297--315,
23(1)83--89, 23(1)95--101, 23(2)155--169, 23(2)217--225,
23(3)339--345, 24(2)179--194, 24(3)331--336, 27(1)121--125,
27(1)217--224, 28(3)277--285, 28(3)287--298, 28(3)315--327,
28(3)329--336, 29(1)87--121, 29(1)185--227, 31(1)139--149,
31(3)297--306, 32(1)173--183, 32(1)201--213, 32(3)249--260,
32(3)321--330, 33(2)239--240, 33(2)261--278, 33(2)335--342,
34(1)135--156
-
finite-turn, 24(3)313--322
-
finite-valuedness, 23(1)95--101
-
finitely, 23(1)83--89, 29(3)285--308, 30(1)133--138, 33(2)327--329,
33(2)331--334
-
Finn, J., 23(2)211--215
-
Finn:1983:PTF, 23(2)211--215
-
firing, 14(1)39--61, 25(3)311--341, 26(3)301--326
-
firing-squad-synchronization-problem, 19(3)305--320
-
first, 17(3)259--278, 18(1)105--111, 18(3)301--323, 23(1)37--48,
23(2)107--127, 23(3)333--337
-
first-order, 17(2)113--149, 25(1)1--66, 27(1)197--209, 28(1)215--221,
28(3)315--327
-
Fischer, M. J., 13(1)17--43
-
Fischer, M. J., see Lynch, N. A.
-
Fischer, P. C., 24(3)323--329
-
Fischer:1983:SDS, 24(3)323--329
-
fixed, 10(1)93--105, 12(3)229--254, 13(3)331--336, 14(1)63--77,
16(2)211--221, 18(3)333--341, 24(1)73--94, 26(1)53--82,
26(1)149--195, 29(1)167--184, 29(3)309--324
-
fixed-point, 18(3)333--341, 20(2)95--207, 28(3)287--298
-
fixpoint, 27(3)333--354
-
flow, 14(1)103--111, 15(1)1--25, 15(1)51--75, 15(2)159--179,
21(1)105--111, 23(2)107--127, 24(1)1--20
-
flow-chart, 25(1)1--66
-
flowchart, 13(2)193--223, 13(3)239--270, 17(2)217--228, 27(1)225--231
-
flowcharting, 13(3)239--270, 17(2)217--228
-
Floyd, 17(2)113--149, 17(3)259--278
-
Floyd-Hoare, 16(2)199--210
-
Foldes, S., 15(3)321--328
-
Foldes, S., see Benzaken, C.
-
Fooling, 21(1)39--53
-
Ford-Fulkerson, 21(1)99--103
-
forests, 17(1)91--97, 22(1)219--232
-
form, 11(2)123--143, 12(2)135--159, 14(2)155--186, 14(3)267--288,
17(1)1--27, 17(1)29--41, 17(1)43--54, 17(1)103--110, 18(1)69--87,
19(1)39--67, 21(2)163--178, 26(3)243--286, 26(3)301--326,
28(3)299--314, 28(3)315--327, 29(1)41--48, 32(3)261--277,
33(1)13--43, 33(1)z--z, 33(2)175--193
-
form-equivalence, 18(1)69--87
-
formalism, 19(2)143--160, 25(1)1--66, 26(1)149--195
-
formula, 23(2)107--127, 28(3)315--327, 30(3)319--341
-
formulae, 11(2)123--143, 21(3)269--279
-
formulations, 29(1)155--166
-
FORTRAN, 13(3)331--336
-
Fortune, S., 10(2)111--121
-
Fortune:1980:DSH, 10(2)111--121
-
foundation, 23(1)11--36, 27(1)39--60, 33(1)z--z
-
Fourier, 22(3)233--251
-
fractions, 10(1)53--61, 29(1)49--73
-
Fraenkel, A. S., 29(1)49--73
-
Fraenkel:1984:WGC, 29(1)49--73
-
fragment, 21(3)269--279, 32(3)297--307
-
framework, 13(1)45--60, 23(2)217--225
-
Francez, N., 29(3)231--250, 32(1)25--46
-
Francez, N., see Elrad, T.
-
Francez:1984:LHS, 32(1)25--46
-
Franchi-Zannettacci, P., 17(2)163--191, 17(3)235--257
-
Franchi-Zannettacci, P., see Courcelle, B.
-
Frederickson, G. N., 19(2)189--201, 29(1)75--85
-
Frederickson:1982:RBB, 19(2)189--201
-
Frederickson:1984:RRO, 29(1)75--85
-
Fredman, M. L., 16(3)279--290
-
Fredman, M. L., see Burkhard, W. A.
-
free, 11(1)107--116, 11(2)123--143, 11(2)167--180, 12(2)127--134,
12(3)265--290, 12(3)291--302, 12(3)325--332, 13(2)137--150,
16(1)25--32, 16(1)93--98, 17(3)343--347, 18(3)279--300, 23(1)83--89,
25(2)95--169, 28(3)329--336, 29(3)285--308, 30(1)133--138,
31(3)227--261, 32(1)61--76, 32(3)279--295
-
free, Context-, 16(3)237--269, 28(3)277--285
-
free, context-, 11(1)107--116, 12(2)127--134, 12(3)265--290,
14(3)227--246, 14(3)337--344, 16(1)61--73, 16(3)237--269,
16(3)291--305, 17(1)1--27, 17(1)43--54, 18(1)33--40, 19(1)29--38,
19(3)231--251, 21(1)75--90, 22(1)209--217, 22(3)253--264,
23(1)83--89, 23(1)91--94, 23(2)129--154, 23(2)155--169,
23(2)217--225, 23(3)231--242, 24(2)195--205, 26(1)233--241,
27(1)197--209, 27(3)287--295, 27(3)311--332, 28(1)197--214,
28(3)277--285, 28(3)299--314, 29(1)41--48, 29(3)277--284,
29(3)285--308, 29(3)325--349, 31(1)1--11, 31(1)139--149,
31(1)211--223, 31(3)227--261, 31(3)317--335, 31(3)337--349,
32(1)47--60, 32(3)261--277, 33(1)3--11, 33(2)305--326,
34(3)255--274
-
free, cube-, 23(1)69--82
-
free, loop-, 24(1)35--52
-
free, power-, 23(1)69--82
-
free, square-, 16(1)25--32, 23(1)69--82
-
free, starvation-, 24(1)1--20
-
free, test-, 16(3)321--328
-
free, type-, 33(2)195--238
-
Freivalds, R., 28(1)111--133
-
Freivalds, R., see Wiehagen, R.
-
Freund, R., 23(3)287--304
-
Freund:1983:RFN, 23(3)287--304
-
Friedman, H., 20(3)323--352
-
Friedman, H., see Ko, K.-I.
-
Fulkerson, Ford-, 21(1)99--103
-
full, 12(1)1--17, 14(1)119--123, 32(1)47--60
-
fully, 32(1)121--156
-
function, 10(1)1--18, 10(1)19--35, 10(1)53--61, 10(1)63--82, 10(1)83--92,
10(2)133--155, 11(3)321--330, 11(3)331--335, 11(3)337--339,
12(2)161--173, 12(3)303--314, 13(3)323--330, 14(3)247--265,
15(2)201--211, 16(2)115--148, 16(2)177--185, 16(2)211--221,
16(2)231--235, 17(2)163--191, 18(2)207--220, 19(1)1--16,
19(3)321--330, 20(3)323--352, 21(2)213--224, 22(1)195--208,
22(3)317--330, 23(1)37--48, 23(3)273--286, 23(3)287--304,
23(3)305--315, 23(3)333--337, 24(3)221--237, 24(3)291--300,
25(2)193--120, 26(1)105--120, 26(1)131--147, 27(1)109--119,
28(1)111--133, 28(1)135--150, 28(1)215--221, 28(3)239--261,
28(3)287--298, 28(3)337--345, 29(1)1--25, 29(1)185--227,
29(3)325--349, 31(1)41--48, 31(1)101--123, 31(1)125--138,
31(3)227--261, 32(1)1--24, 32(1)121--156, 32(1)173--183,
33(2)175--193, 33(2)261--278
-
functional, 16(2)231--235, 17(3)317--331, 19(2)117--141, 19(2)143--160,
22(1)175--194, 22(1)195--208, 23(3)305--315, 24(2)143--159,
24(3)323--329, 26(3)243--286, 31(1)31--40
-
functionality, 28(1)151--169
-
functor, 28(1)45--81
-
fundamental, 25(2)95--169, 31(1)175--209, 31(3)263--295
-
Furer, M., 18(1)105--111
-
Furer:1982:CPA, 18(1)105--111