Last update: Sat Oct 21 02:06:13 MDT 2023
Return to index directory
F
-
F, 13(2)85--86, 14(1)12--14, 16(1)31--34
-
F-heaps, 31(5)249--255
-
F.1.1, 22(1)15--20, 22(3)145--146, 22(4)185--187, 22(5)231--235,
23(1)1--3, 23(1)29--31, 23(4)167--170, 23(5)221--226, 23(5)231--238,
23(5)253--259, 23(6)281--287, 24(2)77--79, 24(3)165--170,
24(5)325--329, 24(6)361--362, 24(6)363--367, 25(1)1--9,
25(4)257--261, 26(2)77--80, 26(3)127--134, 26(3)153--155,
26(5)231--236, 26(5)269--270, 26(6)313--319, 27(4)201--203,
27(5)221--225, 27(5)237--243, 27(6)287--290, 27(6)299--307,
28(2)55--59, 28(4)213--214, 28(4)215--219, 28(5)221--224,
28(5)249--251, 28(6)311--316, 28(6)317--326, 28(6)327--327,
29(3)111--117, 29(4)177--182, 29(6)297--300, 30(1)37--40,
30(2)103--110, 30(3)153--157, 30(3)159--166, 30(4)167--176,
30(4)209--214, 30(5)261--264, 31(1)21--29, 31(2)103--109,
31(3)163--166, 33(2)73--78, 33(2)83--89, 33(2)109--112
-
F.1.2, 22(2)81--85, 22(6)285--289, 23(1)25--28, 23(3)119--122,
23(5)221--226, 23(6)299--303, 24(6)351--354, 24(6)407--412,
25(1)13--15, 25(4)257--261, 25(6)401--406, 26(1)51--53,
26(4)173--179, 26(5)269--270, 26(6)291--293, 26(6)295--299,
27(2)57--61, 27(2)75--78, 27(4)189--194, 28(2)67--70, 28(3)137--140,
28(3)141--147, 28(4)215--219, 28(5)241--243, 28(5)249--251,
28(6)291--295, 28(6)311--316, 29(1)31--34, 29(2)71--74,
29(3)137--141, 29(4)177--182, 29(4)191--198, 29(4)213--220,
29(5)247--254, 29(6)327--329, 30(2)91--95, 30(2)97--102,
30(5)265--268, 30(5)269--275, 31(1)21--29, 31(2)61--68,
31(2)103--109, 31(3)157--161, 31(4)181--183, 31(6)287--290,
31(6)305--310, 32(1)17--23, 32(1)25--27, 32(1)35--39, 32(2)57--60,
32(2)89--93, 32(5)251--256, 33(2)73--78, 33(2)109--112
-
F.1.3, 22(2)81--85, 22(3)113--117, 22(4)163--169, 22(4)193--195,
22(6)277--279, 23(2)103--106, 23(4)167--170, 23(4)201--207,
23(5)227--230, 24(1)5--10, 24(1)19--24, 24(2)121--126,
24(3)141--147, 24(3)183--188, 24(5)325--329, 24(6)363--367,
25(1)13--15, 25(1)35--39, 25(2)127--132, 25(4)263--267,
25(5)317--321, 25(6)407--411, 26(1)1--4, 26(6)287--289,
26(6)321--324, 27(5)265--270, 27(6)309--313, 28(4)183--188,
28(5)241--243, 28(5)249--251, 28(5)269--274, 28(6)291--295,
29(3)137--141, 29(6)319--326, 30(1)21--26, 30(1)37--40, 30(1)47--49,
30(2)103--110, 30(3)127--132, 30(3)133--138, 31(3)111--117,
31(3)135--138, 31(4)167--173, 31(6)277--278, 32(1)1--2, 32(1)41--45,
32(4)167--170, 32(4)171--176, 32(5)251--256, 32(6)297--300,
33(2)73--78
-
F.2, 20(2)71--74
-
F.2.1, 22(1)1--5, 22(6)277--279, 23(3)115--117, 24(3)207--209,
24(4)233--237, 24(6)377--380, 24(6)407--412, 25(5)335--341,
26(6)325--328, 27(4)215--219, 28(2)55--59, 28(2)61--65, 28(2)71--75,
28(4)189--192, 29(1)37--38, 29(5)221--227, 30(4)215--220,
31(1)17--20, 31(3)163--166, 32(1)15--16, 33(1)53--58
-
F.2.3, 22(1)11--14, 23(3)123--126, 28(6)297--299
-
F.2.m, 23(2)107--109, 24(5)307--310, 28(1)27--31
-
F.3.1, 22(6)307--309, 23(6)299--303, 24(2)127--132, 24(5)331--333,
25(2)93--101, 26(3)111--116, 27(3)111--117, 27(6)309--313,
28(5)249--251, 32(1)17--23
-
F.3.2, 23(3)147--151, 23(4)177--180, 23(5)253--259, 24(5)299--305,
28(2)99--103, 29(2)81--86, 31(6)327--330
-
F.3.3, 22(5)273--276, 24(3)189--192, 25(5)311--315, 27(3)151--157,
28(2)77--79, 29(6)293--296
-
F.4.1, 20(2)71--74, 23(3)153--158, 23(4)201--207, 24(2)109--111,
24(5)343--349, 25(5)311--315, 26(1)1--4, 26(3)111--116,
26(4)205--208, 27(3)159--165, 27(5)237--243, 28(2)87--92,
28(3)121--125, 29(1)1--12, 29(2)57--66, 29(2)81--86, 29(4)191--198,
29(5)221--227, 29(5)229--232, 30(6)289--293, 31(6)291--294,
32(4)177--182, 32(6)281--287, 33(2)97--107
-
F.4.2, 19(4)181--185, 22(1)49--54, 22(4)207--216, 22(6)295--301,
23(5)271--274, 23(6)281--287, 23(6)311--316, 23(6)325--328,
24(1)1--4, 24(2)113--120, 24(4)265--273, 24(5)281--284,
24(5)299--305, 25(3)141--143, 25(4)211--216, 26(1)29--32,
26(2)55--59, 26(2)65--70, 26(2)95--97, 26(5)251--253, 29(2)87--89,
29(3)125--130, 29(3)143--148, 29(4)201--206, 30(5)225--231,
31(1)47--51, 31(3)111--117, 31(5)233--238, 32(5)263--266,
32(6)289--295, 32(6)325--328, 33(2)79--81
-
F.4.3, 19(4)181--185, 22(1)7--9, 22(1)33--35, 22(1)37--41, 22(2)87--90,
22(2)91--95, 22(3)125--131, 22(3)135--140, 22(3)145--146,
22(6)295--301, 23(1)1--3, 23(1)29--31, 23(2)81--84, 23(3)143--146,
23(4)171--175, 24(1)1--4, 24(1)31--41, 24(2)81--85, 24(3)171--176,
24(3)177--181, 25(4)211--216, 25(6)363--367, 26(1)19--21,
26(1)23--28, 26(5)247--250, 27(4)201--203, 27(5)221--225,
27(5)237--243, 27(6)281--285, 28(1)1--4, 28(1)27--31, 28(1)33--37,
28(2)77--79, 28(4)193--199, 28(5)249--251, 29(1)39--42, 29(1)43--51,
29(2)71--74, 29(2)87--89, 29(2)91--95, 29(3)111--117, 29(4)171--175,
29(5)257--263, 29(6)297--300, 29(6)315--317, 30(1)15--18,
30(3)153--157, 30(3)159--166, 30(5)261--264, 30(6)283--288,
31(1)47--51, 31(3)111--117, 31(5)239--241, 32(5)251--256,
32(5)267--269, 32(6)305--311
-
face, 29(5)265--270
-
facility, 10(2)51--56, 12(5)221--226, 19(3)151--156, 22(2)61--72,
23(5)247--251
-
factor, 11(2)70--72, 12(5)244--250, 19(2)75--79, 19(4)199--201,
20(1)13--17, 21(5)229--232, 24(2)81--85, 26(6)325--328,
27(6)281--285, 28(5)253--257, 31(1)1--2, 32(1)25--27
-
factor-of-two, 22(6)291--294
-
factorial, 30(6)283--288, 32(5)267--269
-
factorization, 11(2)94--95, 14(1)4--6, 20(3)151--153
-
facts, 22(5)261--265
-
Fagin, Ronald, 16(1)13--19, 22(6)281--283
-
Fagin, Ronald, see Hanatani, Yoshito
-
Fagin:1983:ADF, 16(1)13--19
-
Faigle, Ulrich, 19(1)27--29, 27(4)189--194
-
Faigle:1984:MCT, 19(1)27--29
-
Faigle:1988:CSD, 27(4)189--194
-
fail, 22(1)43--48
-
failure, 16(4)175--178, 24(3)149--152, 25(3)163--169, 27(4)181--188,
28(5)231--234, 29(4)191--198, 29(4)207--211, 32(3)129--136,
33(1)25--28
-
Failure, Systems-, 32(3)129--136
-
fair, 17(5)249--250, 20(4)183--188, 20(4)189--194, 21(2)97--100,
29(6)297--300
-
fair, transition-, 29(6)297--300
-
fairly, 19(1)21--26
-
fairness, 10(4)234--239, 12(5)239--243, 18(4)215--220, 19(3)162--162,
20(3)125--130, 20(4)183--188, 21(2)97--100, 25(3)195--198,
29(6)297--300, 43(5)249--255
-
faithfulness, 16(1)13--19
-
faking, 25(3)171--174
-
Falkowski, Bernd-Jürgen J., 23(1)39--46, 31(5)273--276
-
Falkowski:1986:NQP, 23(1)39--46
-
Falkowski:1989:SPP, 31(5)273--276
-
false, 25(5)349--349
-
families, ID-, 23(3)153--158
-
family, 12(1)1--4, 12(4)184--187, 14(5)238--238, 21(2)83--86,
23(3)153--158, 24(3)171--176, 29(2)87--89, 29(6)307--313,
30(1)47--49
-
Fan-In, 21(2)71--74
-
fan-in, 21(2)71--74, 26(5)247--250
-
Fariñas Del Cerro, L., 14(2)49--51
-
Fariñas, Luis, 17(3)113--115
-
Farinas:1983:STT, 17(3)113--115
-
FarinasDelCerro:1982:SDM, 14(2)49--51
-
Farley, Art, 32(5)247--250
-
Farley, Art, see Cheston, Grant A.
-
Farley, Arthur M., 10(4)189--192, 15(5)238--241
-
Farley:1980:LTT, 10(4)189--192
-
Farley:1982:DMC, 15(5)238--241
-
Farrell, E. J., 22(3)133--134
-
farthest, 31(1)17--20
-
fashion, 29(4)183--189
-
fast, 10(3)163--167, 11(1)49--52, 11(3)130--133, 13(1)1--3, 13(1)4--7,
13(1)12--15, 13(2)64--66, 14(4)162--167, 15(2)87--89, 15(4)183--185,
15(5)196--198, 16(1)21--21, 16(4)193--198, 16(5)247--248,
17(3)167--168, 17(4)177--180, 17(4)197--202, 18(2)59--62,
18(3)129--135, 18(3)141--145, 18(3)155--158, 18(4)227--231,
21(2)55--61, 21(2)79--81, 21(3)123--127, 21(3)159--163,
21(4)165--171, 21(5)269--272, 22(2)77--80, 22(4)189--192,
23(3)111--114, 24(4)217--221, 24(4)239--241, 24(6)381--389,
25(1)51--53, 26(5)237--241, 29(2)105--110, 30(2)97--102,
30(4)215--220, 31(4)175--179, 32(1)47--50, 32(6)325--328,
33(2)67--72
-
faster, 12(2)76--78, 17(2)73--76, 17(2)103--106, 17(5)231--233,
25(4)275--279, 27(3)125--128, 38(4)177--178
-
fault, 10(2)99--103, 11(1)9--15, 16(2)99--104, 18(2)73--76, 19(2)87--94,
20(4)207--213, 24(3)149--152, 24(5)311--316, 25(3)153--158,
25(3)163--169, 25(5)295--303, 26(2)81--88, 26(3)145--151,
27(4)181--188, 27(6)299--307, 28(5)259--268, 29(4)207--211,
29(5)247--254, 31(4)197--201, 33(1)21--24, 33(1)25--28
-
fault-free, 27(6)299--307, 29(5)247--254
-
fault-resilient, 27(6)299--307
-
Fault-Tolerance, 28(5)231--234
-
Fault-Tolerant, 28(4)171--175, 28(5)259--268
-
fault-tolerant, 10(2)99--103, 26(2)81--88, 27(6)299--307, 28(4)171--175,
28(5)259--268, 31(4)197--201
-
faulting, 25(1)61--64
-
faulty, 14(4)183--186, 20(4)207--213, 27(4)181--188, 31(4)197--201
-
favor, 30(5)255--259
-
Fay, D. Q. M., 28(5)259--268
-
Fay, D. Q. M., see Das, P. K.
-
FC+SR, 32(2)85--87
-
FD, 29(3)131--135
-
FD-covers, 24(6)355--360
-
FDM, 25(5)335--341
-
feasible, 12(1)9--12, 21(3)129--133, 28(6)291--295, 32(6)305--311
-
feature, 28(5)235--240, 31(6)327--330
-
February, 23(2)91--97
-
feedback, 10(1)25--27, 20(1)47--50, 21(2)83--86, 28(1)45--51,
28(2)81--85
-
feedback-controlled, 21(2)83--86
-
Feijen, W. H. J., 16(5)217--219, 24(1)11--14
-
Feijen, W. H. J., see Dijkstra, Edsger W.
-
Feijen:1987:IIC, 24(1)11--14
-
Feinberg, Ellen B., 31(5)257--264
-
Feinberg:1989:CSP, 31(5)257--264
-
Feitelson, Dror G., 32(2)81--83
-
Feitelson:1989:IWF, 32(2)81--83
-
Felice, Clelia, De, 14(5)197--200
-
Fellows, Michael R., 26(3)157--162
-
Fellows:1987:NAP, 26(3)157--162
-
felt, 20(3)141--142
-
Fernandez, Eduardo B., 16(2)99--104
-
Fernandez, Eduardo B., see Wood, Christopher R.
-
Fernández-Baca, David, 27(6)323--326
-
Fernandez-Baca:1988:NDP, 27(6)323--326
-
fetch-and-conditional-swap, 32(2)81--83
-
fetcher, 20(5)249--254
-
few, 16(4)181--182
-
fewer, 32(2)89--93
-
Feynman, 32(1)7--13
-
Fibonacci, 10(2)68--75, 11(2)68--69, 11(4)172--179, 12(4)193--195,
17(1)1--5, 19(2)67--68, 24(5)289--292, 25(4)237--240, 32(3)143--149,
32(5)243--245, 33(2)67--72
-
field, 12(2)76--78, 14(1)4--6, 14(1)22--25, 15(1)31--35, 24(4)223--224,
30(3)111--114
-
Field, Dan, 24(2)95--96
-
Field:1987:NND, 24(2)95--96
-
FIFO, 14(5)205--206, 21(2)63--68
-
FIFO, non-, 21(2)63--68
-
File, Processing-, 31(1)35--41, 33(1)45--52
-
FILES, 26(1)5--18
-
files, 14(4)147--149, 15(4)174--178, 15(5)191--195, 16(3)145--146,
16(5)249--252, 21(1)23--25, 22(5)267--272, 26(1)5--18, 33(1)45--52
-
Filho, Ysmar V., Silva, 13(2)67--70
-
fill, 26(6)325--328
-
filling, 17(4)177--180, 23(3)127--130
-
filtering, 32(2)85--87
-
filters, 17(3)109--112, 28(5)231--234
-
final, 10(3)137--147
-
final-state, 25(6)407--411
-
find, 33(4)205--206
-
finding, 10(1)9--13, 11(1)33--36, 11(1)53--56, 11(3)130--133,
12(1)31--32, 12(4)206--209, 13(1)1--3, 13(3)114--117, 13(4)168--170,
14(5)228--232, 15(3)125--128, 17(2)73--76, 17(2)97--101,
17(5)269--272, 20(4)201--206, 21(1)39--47, 21(2)75--78, 22(2)81--85,
22(5)219--222, 23(4)215--218, 24(4)251--253, 25(1)41--50,
25(2)111--117, 26(4)173--179, 26(4)209--215, 27(2)63--67,
27(2)99--102, 27(3)141--145, 27(5)259--263, 27(6)287--290,
28(1)5--11, 28(6)301--309, 29(3)137--141, 29(5)275--276,
31(1)17--20, 31(3)157--161, 31(5)265--271, 32(1)47--50, 33(1)7--10,
33(1)35--44, 33(4)169--174
-
finding, leader-, 30(4)167--176
-
finding, path-, 26(6)291--293
-
finding, sink-, 14(3)109--111
-
finger-trees, 23(2)63--69
-
finishing, 28(4)201--206
-
finishing-time, minimum-, 28(4)201--206
-
finitary, 18(5)297--298, 19(4)173--177
-
Finite, Theory-, 29(2)71--74, 30(2)79--86
-
finite-reversal, 13(3)98--102
-
Finite-State, 17(5)235--240
-
finite-state, 14(1)34--38, 17(5)235--240, 21(2)63--68, 22(6)307--309,
28(2)77--79, 28(4)213--214, 30(1)1--7, 30(6)295--302
-
finite-string, 16(5)265--269
-
finitely, 23(3)153--158, 23(4)171--175, 24(5)281--284
-
Finke, G., 24(4)259--263, 24(4)z--z
-
Finke, G., see Bazewicz, J.,
see B{\l}a\.zewicz, J.
-
Finkel, R., 12(3)117--120
-
Finkel, R., see Leland, W.
-
Finkel, Raphael, 19(1)1--8, 24(1)25--30
-
Finkel, Raphael, see Madduri, Hari
-
Finkel:1987:EDA, 24(1)25--30
-
firing, 26(2)77--80, 30(3)153--157
-
first, 11(2)70--72, 14(5)233--235, 17(4)185--188, 22(2)81--85,
22(3)125--131, 23(6)299--303, 27(2)75--78, 27(4)215--219,
30(6)289--293, 31(1)53--56, 31(6)287--290, 32(1)25--27,
32(6)313--316, 33(3)121--124
-
first, breadth-, 23(6)299--303, 28(2)61--65, 30(2)87--89,
32(1)25--27
-
First, Depth-, 14(5)233--235, 20(5)229--234, 29(3)119--123
-
first, depth-, 20(5)229--234, 21(5)269--272, 28(2)105--110,
29(3)119--123, 31(1)53--56
-
first, lex-, 31(3)157--161
-
first-class, 22(3)141--144
-
first-in-first-out, 30(5)237--244
-
First-Order, 26(3)111--116, 29(5)257--263
-
first-order, 19(1)41--46, 23(6)299--303, 24(5)299--305, 26(3)111--116,
27(5)237--243
-
first-out, first-in-, 30(5)237--244
-
first-search, breadth-, 25(5)329--333
-
First-Search, Depth-, 32(4)183--186
-
first-search, depth-, 20(3)147--150, 25(2)103--109,
26(6)301--305, 32(4)183--186
-
Fischer, C. N., 12(5)211--212
-
Fischer, C. N., see Mauney, J.
-
Fischer, Michael J., 14(4)183--186, 17(5)249--250, 25(3)175--181
-
Fischer, Patrick C., 14(4)187--190
-
Fischer, Patrick C., see Jou, Jiann H.
-
Fischer:1982:LBT, 14(4)183--186
-
Fischer:1983:SRF, 17(5)249--250
-
Fischer:1987:ILK, 25(3)175--181
-
fit, 24(2)97--101, 31(5)221--225, 31(6)287--290
-
fitted, 25(5)335--341
-
fitting, 22(2)55--56
-
five, 11(4)186--189, 25(1)51--53
-
Five-Coloring, 19(5)219--224
-
five-coloring, 19(5)219--224
-
fixed, 14(3)112--116, 16(4)193--198, 19(3)131--133, 23(4)181--188,
24(4)243--246, 25(1)35--39, 28(2)77--79, 28(4)171--175,
28(4)193--199, 28(5)231--234, 29(2)57--66, 29(3)137--141,
29(6)277--281, 30(1)1--7, 31(6)319--322, 33(1)15--19, 33(2)59--62,
33(2)79--81, 33(4)193--197
-
fixed-length, 23(4)215--218
-
Fixed-Point, 29(2)57--66, 32(5)257--262
-
fixed-point, 29(2)57--66
-
fixed-radius, 16(4)193--198
-
fixed-size, 12(3)133--137, 24(3)149--152, 25(1)35--39
-
Fixed-Sized, 29(4)165--169
-
fixed-sized, 29(4)165--169
-
fixed-space, 16(2)99--104
-
fixpoint, 32(6)281--287
-
flag, 23(4)209--214
-
Flajolet, Philippe, 25(4)211--216
-
Flajolet, Philippe, see Autebert, Jean-Michel
-
Flé, M. P., 18(5)243--247
-
Fle:1984:MIT, 18(5)243--247
-
Fleischer, Rudolf, 30(2)57--65
-
Fleischer:1989:CCM, 30(2)57--65
-
flexible, 28(5)259--268
-
floating, 10(3)163--167
-
floor, 14(1)1--3, 21(2)101--105
-
Floren, Rolf, 38(4)177--178
-
Floren:1991:NFA, 27(3)125--128, 38(4)177--178
-
flow, 10(2)57--62, 10(2)108--110, 13(3)107--107, 16(2)51--54,
16(4)175--178, 17(3)129--135, 19(1)13--16, 19(2)81--85,
19(2)103--109, 23(2)85--90, 23(5)247--251, 24(3)153--157, 24(4)z--z,
25(2)93--101, 25(3)189--193, 30(5)255--259, 31(1)53--56,
31(3)157--161, 31(5)265--271, 31(6)279--285, 33(1)29--33,
33(2)79--81
-
flow, control-, 22(5)273--276
-
Flow, Data-, 32(3)137--142
-
flow, data-, 31(1)7--15, 32(3)137--142
-
flow, max-, 31(6)279--285
-
flow-minimum, 15(4)174--178
-
flow-shop, 32(3)101--112
-
flowcharting, 17(4)211--214, 25(3)189--193
-
flowcharts, 17(4)211--214
-
flowgraph, 25(3)189--193, 28(3)157--163, 29(4)199--200
-
Floyd, 16(4)183--188
-
fly, 28(4)207--212
-
fly, on-the-, 17(4)189--195, 24(4)211--216
-
Fold, 21(4)207--212
-
fold, k-, 21(4)207--212
-
folding, 17(3)149--153, 21(4)207--212
-
folk, 14(3)112--116
-
follow, 31(5)233--238
-
for-graph, wait-, 30(5)245--252
-
Ford, Bellman-, 16(4)181--182
-
forest, 15(1)1--4, 22(3)109--111, 24(2)95--96, 24(3)193--198,
27(6)299--307, 28(1)13--19, 28(1)21--25, 28(2)105--110,
29(5)275--276, 32(1)47--50
-
form, 10(4)178--179, 10(4)240--242, 11(3)127--129, 11(4)218--223,
12(4)184--187, 12(5)217--220, 13(2)48--49, 14(3)97--100,
14(4)162--167, 14(4)187--190, 15(4)143--149, 16(1)7--9,
16(4)203--208, 20(3)115--120, 21(1)53--53, 21(3)123--127, 22(1)1--5,
22(1)11--14, 23(1)47--54, 23(2)107--109, 23(3)127--130,
26(4)165--171, 27(4)215--219, 27(5)253--258, 28(6)317--326,
29(3)131--135, 29(5)241--246, 32(1)29--33
-
form, product-, 19(4)209--212
-
Formal, Metatheory-, 29(5)229--232
-
formalisms, 19(4)181--185, 25(3)175--181
-
formalization, 23(4)177--180
-
formalized, 23(3)127--130
-
format, 17(3)155--160
-
formed, 33(2)79--81
-
formula, 8(3)121--123, 11(4)204--210, 14(4)195--195, 16(1)41--42,
19(5)219--224, 22(4)207--216, 23(4)201--207, 23(6)299--303,
24(4)223--224, 25(2)133--137, 26(1)1--4, 26(4)193--204,
26(5)269--270, 27(2)79--83, 27(3)141--145, 27(4)215--219,
27(6)323--326, 29(1)1--12, 29(5)221--227, 29(5)257--263,
31(6)277--278, 32(1)41--45, 33(2)97--107
-
formula-driven, 32(3)155--158
-
formulae, 29(1)1--12
-
formulation, 24(2)95--96, 27(6)323--326
-
Fortnow, Lance, 28(5)249--251
-
Fortnow:1988:TIP, 28(5)249--251
-
FORTRAN, 14(2)67--73, 16(1)21--21, 29(1)1--12
-
forward, 32(2)85--87
-
Foster, Dean P., 31(6)287--290
-
Foster, M. J., 30(1)1--7
-
Foster:1989:LBA, 30(1)1--7
-
Foster:1989:PAH, 31(6)287--290
-
found, 23(3)127--130
-
foundations, 29(2)81--86
-
Founded, Well-, 32(3)155--158
-
founded, Well-, 32(3)155--158
-
founded, well-, 15(2)57--63, 32(3)155--158
-
four, 10(2)87--88, 13(3)103--106
-
Fourier, 20(3)111--113, 21(5)245--247
-
Fourneau, Jean Michel, 26(1)45--50
-
Fourneau, Jean Michel, see Bermond, Jean Claude
-
Fournier, Alain, 8(4)173--173
-
Fournier:1979:CCH, 7(6)296--298, 8(4)173--173, 9(3)141--142,
10(4)209--212
-
Fowler, Robert J., 12(3)133--137
-
Fowler:1981:OPC, 12(3)133--137
-
FP, 17(5)259--261
-
FQT, 22(3)109--111
-
fraction, 18(3)167--171, 33(2)67--72
-
fractional-on-line, 15(2)47--52
-
Fraenkel, Aviezri S., 10(4)178--179
-
Fraenkel:1980:CSA, 10(4)178--179
-
fragments, 26(5)243--246
-
Fraisse-Vaught, Tarski-, 23(3)153--158
-
frames, 18(4)179--187
-
framework, 18(4)233--238, 32(5)251--256
-
Francez, Nissim, 32(5)235--242
-
Francez:1989:CPD, 32(5)235--242
-
Franchi-Zannettacci, Paul, 14(4)168--173
-
Franchi-Zannettacci:1982:ETS, 14(4)168--173
-
Franco, John, 23(2)103--106
-
Franco:1986:PPA, 23(2)103--106
-
Franklin, LeRoy A., 26(1)5--18
-
Franklin, LeRoy A., see Driscoll, James R.
-
Fraser, Christopher W., 16(2)67--70, 24(6)391--395
-
Fraser:1983:GTC, 16(2)67--70
-
Fraser:1987:OAE, 24(6)391--395
-
Fraysseix, Hubert, de, 31(1)53--56
-
Frederickson, 47(3)165--166
-
Frederickson, Greg N., 11(4)156--161, 16(4)171--173, 19(5)219--224,
27(1)13--15
-
Frederickson, Greg N., see Atallah, Mikhail J.
-
Frederickson:1980:PAS, 11(4)156--161
-
Frederickson:1983:SUT, 16(4)171--173, 47(3)165--166
-
Frederickson:1984:LTA, 19(5)219--224
-
free, 10(1)20--20, 10(2)63--67, 10(2)80--82, 12(1)13--16, 12(4)174--178,
14(5)197--200, 15(4)150--158, 16(1)27--30, 17(3)121--124,
18(4)179--187, 19(2)111--111, 19(4)163--166, 19(5)225--228,
20(1)1--4, 20(1)19--21, 20(2)105--107, 20(3)141--142, 20(5)241--248,
22(1)7--9, 22(1)49--54, 22(3)125--131, 22(6)295--301, 23(5)271--274,
24(2)81--85, 24(2)113--120, 25(4)211--216, 26(1)29--32, 26(2)77--80,
26(5)247--250, 26(5)251--253, 28(2)77--79, 29(3)111--117,
30(5)225--231, 31(1)47--51, 31(5)233--238, 32(2)81--83,
32(6)289--295
-
free, circuit-, 22(4)163--169
-
free, co-context-, 28(2)77--79
-
free, collision-, 25(1)41--50
-
free, Conflict-, 10(1)20--20
-
free, conflict-, 18(2)87--92, 18(5)261--266, 25(1)27--33,
26(2)77--80, 33(1)11--14
-
Free, Context-, 17(4)181--183, 19(4)163--166, 20(5)241--248,
29(2)71--74, 29(3)111--117
-
free, Context-, 14(2)52--56
-
free, context-, 10(2)63--67, 11(3)127--129, 12(1)13--16,
12(4)174--178, 13(4)142--144, 13(4)182--186, 14(2)52--56,
14(5)207--207, 15(2)68--71, 15(3)102--104, 15(4)150--158,
16(1)27--30, 16(4)161--163, 16(4)203--208, 16(5)265--269,
17(3)137--143, 17(4)181--183, 19(2)111--111, 19(4)163--166,
19(5)225--228, 20(1)19--21, 20(2)99--103, 20(2)105--107,
20(3)141--142, 20(4)183--188, 20(4)221--222, 20(5)241--248,
21(2)83--86, 22(1)7--9, 22(1)49--54, 22(4)207--216, 22(6)295--301,
23(2)81--84, 23(3)143--146, 23(5)271--274, 23(6)325--328,
24(2)81--85, 24(2)113--120, 24(4)265--273, 25(4)211--216,
26(5)247--250, 26(5)251--253, 28(1)1--4, 28(2)77--79, 29(2)71--74,
29(3)111--117, 30(5)225--231, 31(1)47--51, 31(5)233--238,
32(6)289--295
-
free, deadlock-, 24(2)87--93, 31(1)35--41
-
free, domino-, 25(5)295--303
-
free, epsilon-, 21(2)83--86, 29(6)297--300
-
free, fault-, 27(6)299--307, 29(5)247--254
-
free, k-path-, 14(5)228--232
-
Free, Loop-, 16(3)127--129
-
free, loop-, 16(3)127--129, 20(1)51--54
-
free, m-, 17(3)121--124
-
free, N-, 19(1)27--29
-
free, negation-, 31(6)277--278
-
Free, Non-Conflict-, 18(2)87--92
-
free, path-, 14(5)228--232
-
Free, Paw-, 28(1)53--54
-
free, paw-, 28(1)53--54
-
free, permutation-, 22(1)7--9
-
free, power-, 19(4)187--190
-
Free, Square-, 19(4)187--190
-
free, Square-, 22(3)125--131
-
free, square-, 16(5)231--235, 19(4)187--190, 20(2)105--107,
22(3)125--131, 27(6)281--285
-
free, starvation-, 8(2)76--80, 23(2)91--97
-
free, syntax-, 14(3)128--131
-
free, tag-, 22(4)179--183
-
free, triangle-, 27(2)75--78
-
free, wait-, 32(2)81--83
-
free-ness, context-, 14(5)207--207
-
freedom, 10(2)51--56, 32(3)129--136, 43(5)249--255
-
freelist, 17(4)189--195
-
freeness, 13(3)98--102
-
freeness, power-, 19(4)187--190
-
Freisleben, B., 21(4)199--205
-
Freisleben, B., see Keedy, J. L.
-
Freivalds, R\=usi{\lfhook{n}}{\v{s}}, 13(4)195--198
-
Freivalds:1981:PLR, 13(4)195--198
-
frequency, 19(2)81--85, 31(4)209--213
-
frequency-broadening, 20(3)111--113
-
frequently, 21(1)23--25
-
Freund, Rudolf, 16(5)265--269
-
Freund:1983:IAO, 16(5)265--269
-
Friedberg, Stuart A., 25(5)343--347
-
Friedberg:1987:ESM, 25(5)343--347
-
Fries, O., 25(4)269--273
-
Fries:1987:DST, 25(4)269--273
-
Friesen, D. K., 18(5)295--296
-
Friesen:1984:SSS, 18(5)295--296
-
Frieze, A. M., 18(2)59--62, 25(2)111--117
-
Frieze, A. M., see Dyer, M. E.
-
Frieze, Alan M., 27(2)103--109
-
Frieze:1987:PAF, 25(2)111--117
-
Frieze:1988:RCH, 27(2)103--109
-
front, 29(1)35--36
-
front, move-to-, 30(5)237--244
-
Frougny, C., 12(4)174--178
-
Frougny:1981:SDN, 12(4)174--178
-
full, 10(2)51--56, 12(3)117--120, 13(1)8--11, 16(4)161--163,
22(4)201--205, 23(2)85--90, 31(2)83--90, 33(2)97--107
-
fullness, 19(4)199--201
-
fully, 23(2)55--62, 24(6)361--362, 29(1)13--18, 33(2)73--78,
33(2)109--112
-
Fülöp, Z., 33(1)3--5
-
Fulop:1989:TTT, 33(1)3--5
-
function, majority-, 18(4)201--202
-
function, structure-, 27(6)281--285
-
functional, 10(1)32--34, 11(4)218--223, 12(2)76--78, 14(5)201--204,
14(5)205--206, 16(1)13--19, 16(3)153--160, 17(2)91--95,
17(4)173--175, 17(5)259--261, 18(2)87--92, 18(4)233--238,
20(1)51--54, 20(2)71--74, 22(3)141--144, 22(3)157--159,
22(6)281--283, 23(4)181--188, 23(6)321--324, 24(3)183--188,
24(4)255--258, 24(5)343--349, 24(6)355--360, 25(2)93--101,
26(4)217--222, 26(6)277--286, 27(3)147--150, 27(3)151--157,
27(3)159--165, 28(1)45--51, 28(2)77--79, 28(3)127--132,
28(6)317--326, 29(3)131--135, 29(3)143--148, 30(3)145--151,
31(2)91--95, 32(1)29--33
-
functor, 29(6)277--281, 33(1)15--19
-
fundamental, 32(3)155--158
-
Further, 10(4)209--212, 40(5)255--256
-
Fushimi, Masanori, 16(4)189--192
-
Fushimi:1983:IOE, 16(4)189--192
-
Future, 22(5)237--242