Index file section F for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
F
-
F, 45(2)159--192, 56(3)303--320
-
F-complete, 45(2)121--157
-
F-completeness, 45(2)121--157
-
F-semantics, 45(2)121--157
-
F-soundness, 45(2)121--157
-
fabric, 40(1)67--84
-
Fachini, E., 56(2)155--186
-
Fachini:1988:CTS, 56(2)155--186
-
facteurs, 60(3)341--381
-
factor, 41(1)61--80, 44(1)107--110, 45(1)63--86, 48(1)35--52,
57(2)303--316, 58(1)3--16, 58(1)201--208, 60(3)341--381,
63(3)333--348, 64(2)175--189, 66(2)157--180
-
factorial, 67(1)65--73
-
factoring, 52(1)77--89
-
factorisation, 36(1)99--108, 41(1)81--93, 54(1)65--85
-
factorization, 49(1)1--12, 63(2)157--184, 68(3)347--348
-
factorizations, QR-, 54(1)65--85
-
Fages, F., 43(2)189--200
-
Fages:1986:CSU, 43(2)189--200
-
Fagin, R., 36(2)239--250
-
Fagin:1985:BDP, 36(2)239--250
-
failure, 65(3)343--371
-
failure, negation-as-, 46(2)141--158
-
fair, 37(3)305--336, 45(2)193--260, 49(2)121--143, 51(1)129--176,
58(1)263--324, 59(3)235--257, 64(3)221--269, 64(3)281--304,
64(3)305--329, 66(3)333--340
-
fairness, 37(3)305--336, 38(2)193--122, 54(2)139--163, 59(3)235--257,
64(3)305--329
-
Falaschi, M., 69(3)289--318
-
Falaschi:1989:DMO, 69(3)289--318
-
family, 36(2)345--348, 39(2)239--265, 39(2)281--295, 44(1)111--121,
54(2)165--179, 55(2)183--263, 58(1)69--80, 60(3)341--381,
61(2)175--198, 63(1)19--41, 63(2)157--184, 67(1)111--113,
68(2)155--173
-
Farinas Del Cerro, L., 36(2)251--264
-
Farinas del Cerro, Luis, 65(1)1--33
-
Farinas del Cerro, Luis, see Enjalbert, Patrice
-
FarinasDelCerro:1985:DLD, 36(2)251--264
-
Farinone, J.-M., 57(2)185--204
-
Farinone, J.-M., see Pierre, L.
-
Farr, G., 36(2)345--348
-
Farr:1985:CCH, 36(2)345--348
-
fast, 36(2)203--216, 36(2)309--317, 39(2)107--121, 41(2)231--246,
44(1)1--16, 51(3)341--348, 52(1)155--163, 58(1)183--199,
67(1)55--63
-
Fast, Transformations-, 58(1)183--199
-
fastest, 62(3)289--310
-
Fauconnier, H., 54(2)277--298
-
Fauconnier:1987:ASI, 54(2)277--298
-
feedback, 54(2)181--198, 55(2)265--289, 64(3)221--269
-
Felice, C., De, 36(1)99--108
-
Felice, Clelia, De, 58(1)103--128
-
Felice, Clelia, de, 63(2)157--184
-
Felleisen, M., 52(3)205--237, 69(3)243--287
-
Felleisen:1987:STS, 52(3)205--237
-
Felleisen:1989:STS, 69(3)243--287
-
Fenton, N. E., 36(2)145--171
-
Fenton:1985:GMT, 36(2)145--171
-
Ferreira, A., 67(1)115--120
-
Ferreira, A., see Cosnard, M.
-
FFT, 58(1)183--199
-
fft, 58(1)183--199
-
Fibonacci, 61(1)1--16, 64(1)119--124
-
fibred, 50(2)103--135
-
Fich, Faith E., 58(1)57--68
-
Fich, Faith E., see Borodin, Allan
-
field, 43(1)91--98, 47(1)99--105, 64(1)15--23, 66(1)1--14
-
FIFO, 35(2)191--214, 44(1)69--105
-
fifteen, 45(2)159--192
-
figure, 35(1)55--69
-
file, 35(2)329--336, 45(3)293--351, 49(2)239--265, 50(2)103--135,
50(2)137--181, 51(1)129--176, 51(1)205--214, 56(3)345--353,
57(1)3--45, 58(1)57--68, 58(1)143--154, 59(3)211--234,
59(3)259--276, 62(3)251--266, 63(2)113--139, 68(1)37--47,
68(1)57--70
-
File, G., 53(1)25--65
-
File:1987:CIA, 53(1)25--65
-
files, 62(3)251--266
-
final, 35(2)329--336
-
finding, 35(1)55--69, 36(2)265--289, 61(2)307--316, 64(1)119--124
-
fini, 60(3)341--381
-
finitarily, 44(1)17--49
-
finitary, 35(1)43--53
-
finite, Non-, 39(2)239--265
-
Finite, Theory-, 58(1)263--324, 64(3)271--280, 65(2)123--130
-
finite-branching, 49(2)121--143
-
finite-dimensional, 65(2)243--248
-
finite-model, 61(2)259--277
-
Finite-State, 58(1)263--324
-
finite-state, 52(1)91--143, 58(1)263--324, 67(1)5--18, 68(1)19--36
-
finitely, 36(1)71--87, 41(1)121--123, 41(2)215--222, 43(1)117--122,
44(2)199--208, 46(1)53--66, 46(2)319--327, 59(3)287--296,
65(2)265--270, 65(2)z--z
-
Finkel, A., 35(2)191--214, 38(1)137--142
-
Finkel, A., see Memmi, G.
-
Finkel, D., 52(3)269--280
-
Finkel, D., see Gelenbe, E.
-
Finkel:1985:GTH, 38(1)137--142
-
firing, 44(3)275--305, 50(2)183--238
-
first, 62(0)3--233, 68(3)253--265
-
first, depth-, 39(2)89--106, 47(3)277--298
-
first-order, 41(2)247--269, 41(2)271--287, 47(3)329--334, 48(2)257--272,
50(3)285--321, 54(2)199--214, 56(3)289--301, 57(2)317--325,
58(1)347--359, 61(1)83--92, 66(2)205--232
-
Fitting, M., 48(2)229--255
-
Fitting:1986:PML, 48(2)229--255
-
fixed, 36(2)333--339, 37(3)357--360, 38(2)249--267, 39(1)15--25,
39(1)z--z, 41(2)125--139, 45(1)1--61, 61(2)289--297, 63(3)275--294,
63(3)303--331, 68(2)155--173, 68(2)203--220, 68(3)303--317,
68(3)347--348
-
fixed-point, 45(2)193--260, 45(3)293--351, 64(3)221--269, 65(2)143--148,
68(2)203--220, 68(3)303--317
-
fixed-points, 44(3)259--274
-
fixedpoint, 39(1)15--25
-
fixpoint, 48(2)229--255, 51(3)309--324, 62(1)187--220, 63(3)253--274,
69(3)289--318
-
Flajolet, P., 49(2)283--309
-
Flajolet:1987:AMA, 49(2)283--309
-
flattening, 59(1)3--23
-
Fle, M. P., 38(1)1--16
-
Fle:1985:MSI, 38(1)1--16
-
Fleischhack, H., 51(1)177--204
-
Fleischhack, H., see Ambos-Spies, K.
-
flip, 48(1)75--94
-
flow, 39(2)107--121, 40(2)329--337, 45(1)1--61, 52(3)269--280,
52(3)307--340, 56(1)59--133, 69(2)117--242
-
flow-diagrams, 60(1)83--108
-
flowchart, 52(3)307--340, 55(2)265--289, 63(3)303--331
-
flowcharting, 52(3)307--340, 55(2)265--289
-
flowgraph, 36(2)145--171, 44(3)307--331
-
Floyd, 35(2)345--348, 36(2)231--237
-
Floyd-Hoare, 66(3)299--321
-
Fogelman-Soulie, F., 40(2)275--300
-
Fogelman-Soulie:1985:PSC, 40(2)275--300
-
fold, n-, 42(3)251--368
-
folding, 42(1)1--122
-
fonction, 65(2)153--169
-
forbidden, 40(2)195--210, 68(2)155--173
-
forbidding, 37(3)357--360
-
forcing, 56(2)187--209
-
forest, 37(2)217--243, 45(1)87--119
-
forgetful, 37(3)269--304
-
form, 39(1)69--88, 39(2)297--308, 40(2)315--317, 41(1)113--120,
44(2)229--236, 44(3)259--274, 47(3)299--313, 54(1)65--85,
54(2)215--236, 54(2)299--313, 60(2)177--229, 61(2)299--306,
61(2)307--316, 62(1)67--104, 64(2)203--219, 65(1)1--33,
66(3)323--331, 67(2)173--201, 68(2)135--154, 68(3)277--302
-
form, normal-, 49(1)23--42
-
Formal, Metatheory-, 62(0)3--233, 62(1)39--65
-
Formal, Theory-, 58(0)3--397, 64(1)25--38, 65(2)131--141
-
formalism, 35(2)129--164, 37(2)151--181, 43(2)213--238
-
formula, 38(2)307--322, 38(2)343--347, 39(2)155--169, 41(2)271--287,
46(1)91--99, 49(1)1--12, 52(3)281--306, 54(2)165--179, 57(1)97--111,
58(1)347--359, 59(1)115--131, 61(2)307--316, 62(3)311--317,
65(2)153--169, 66(1)113--114, 68(1)113--119, 68(2)123--134
-
formula-depth, constant-, 62(3)311--317
-
formulae, 44(2)127--153, 52(3)281--306, 61(2)259--277, 64(3)331--342
-
formulae-as-types, 63(2)113--139
-
formulation, 40(2)257--274
-
forward, 54(1)3--28, 62(1)187--220, 69(1)55--68
-
Forys, 68(3)347--348
-
foundations, 39(1)z--z, 57(0)3--159
-
founded, well-, 40(2)323--328
-
Fourier, 51(3)331--339, 58(1)183--199, 67(1)55--63
-
Fourneau, J. M., 64(2)191--201
-
Fourneau, J. M., see Bermond, J. C.
-
fractal, 65(2)153--169, 65(2)z--z
-
fraction, 47(3)299--313, 54(2)341--343, 65(2)197--212, 65(2)221--242,
65(2)z--z
-
fragment, 51(1)1--26, 68(3)333--342
-
framework, 40(2)149--162, 44(3)333--339, 58(1)183--199, 63(1)91--111,
64(3)281--304, 66(2)205--232, 66(3)255--272
-
framework, algebra-, 44(3)333--339
-
France, M., Mendes, 65(2)213--220
-
Francon, J., 58(1)3--16
-
Francon, J., see Arques, D.
-
Fredholm, 65(2)243--248, 65(2)z--z
-
free, 35(1)71--87, 35(2)179--189, 37(1)51--75, 37(3)269--304,
37(3)357--360, 39(1)3--13, 41(1)121--123, 41(2)215--222,
43(1)117--122, 43(2)293--313, 44(2)229--236, 46(2)159--174,
46(2)319--327, 47(2)191--203, 48(2)183--199, 48(2)201--228,
48(2)329--337, 49(2)z--z, 51(3)301--308, 52(1)59--75, 52(3)177--191,
53(1)125--150, 54(2)165--179, 55(2)183--263, 57(1)147--152,
57(2)239--249, 58(1)69--80, 58(1)81--101, 58(1)201--208,
58(1)361--378, 60(2)177--229, 62(1)105--122, 62(1)221--233,
62(3)267--287, 63(3)253--274, 63(3)275--294, 65(2)171--188,
66(2)117--136, 67(1)75--85, 69(3)319--345
-
Free, 2-Context-, 62(3)267--287
-
free, 2-context-, 62(3)267--287
-
free, chain-, 44(2)229--236
-
Free, Conflict-, 64(3)305--329
-
free, conflict-, 44(3)275--305, 62(1)105--122, 62(1)221--233,
64(3)305--329
-
free, connection-trap-, 62(1)67--104
-
free, Context-, 39(1)3--13
-
free, context-, 35(1)1--15, 35(2)191--214, 35(2)295--312,
35(2)313--327, 36(1)89--97, 36(1)109--112, 37(2)217--243,
37(3)357--360, 38(1)133--136, 38(2)323--341, 39(1)3--13, 39(1)z--z,
39(2)89--106, 40(2)131--148, 40(2)149--162, 40(2)315--317,
41(1)1--17, 41(1)33--50, 41(1)51--59, 41(1)105--107, 41(2)169--184,
41(2)231--246, 42(1)1--122, 44(2)229--236, 44(3)259--274,
45(1)87--119, 46(1)83--89, 47(1)71--84, 47(1)95--98, 47(1)107--110,
47(2)219--223, 47(2)225--232, 47(3)247--262, 47(3)315--321,
48(1)101--108, 48(2)201--228, 48(2)283--296, 49(1)23--42,
49(2)113--119, 49(2)283--309, 51(1)81--115, 51(1)117--127,
51(3)301--308, 52(1)59--75, 52(3)177--191, 52(3)205--237,
53(2)295--306, 53(2)319--333, 55(2)141--181, 56(3)321--338,
57(1)147--152, 57(2)185--204, 58(1)69--80, 62(3)267--287,
67(1)75--85
-
free, counter-, 53(2)169--185
-
free, cube-, 38(1)117--122
-
free, function-, 69(1)1--53
-
free, induction-, 59(3)317--325
-
free, Interaction-, 62(1)221--233
-
free, interaction-, 62(1)221--233
-
Free, K-Context-, 62(3)267--287
-
free, loop-, 47(1)1--14, 55(2)265--289
-
free, noncontext-, 41(2)231--246
-
free, null-, 46(1)67--82
-
free, power-, 38(1)117--122
-
free, prefix-, 66(3)247--254
-
free, Repetition-, 44(2)175--197
-
free, repetition-, 44(2)175--197
-
free, split-, 62(1)105--122
-
free, square-, 38(1)117--122, 40(1)13--30, 49(2)113--119,
69(3)319--345
-
free, Star-, 43(2)265--275
-
free, star-, 43(2)265--275, 58(1)361--378, 66(3)233--245
-
free, type-, 65(3)271--290
-
free-group, 35(2)271--293
-
freedom, Split-, 62(1)105--122
-
Frege, 62(3)311--317
-
French, 58(1)231--248, 60(3)255--283, 60(3)341--381, 65(2)153--169,
67(1)121--128
-
frequencies, 58(1)3--16
-
Fribourg, L., 35(2)129--164
-
Fribourg:1985:SOT, 35(2)129--164
-
Friedman, D. P., 52(3)205--237, 69(3)243--287
-
Friedman, D. P., see Felleisen, M.
-
Fris, I., 37(2)183--216
-
Fris, I., see Culik, II, K.
-
Frobenius, Perron-, 65(2)243--248
-
Frougny, C., 39(1)3--13
-
Frougny:1985:CFG, 39(1)3--13
-
Frutos Escrig, D., 53(1)67--97
-
FrutosEscrig:1987:PIS, 53(1)67--97
-
FTR-language, 67(1)65--73
-
full, 48(2)201--228, 65(1)85--119
-
full, n-, 48(2)201--228
-
fuller, 65(2)213--220, 65(2)z--z
-
fully, 65(1)85--119
-
function-free, 69(1)1--53
-
functional, 39(2)239--265, 39(2)309--317, 41(2)271--287, 43(2)123--147,
43(2)251--263, 46(1)13--45, 48(1)75--94, 54(1)103--128, 56(1)17--36,
59(1)3--23, 59(1)85--114, 59(1)157--180, 62(1)67--104,
63(3)253--274, 64(3)221--269, 66(1)27--43, 66(3)289--297,
68(1)105--111
-
functional, imperative-, 69(3)243--287
-
functionality, 59(1)181--209
-
functionally, 36(1)27--58, 43(1)59--79, 69(3)243--287
-
functors, 37(3)269--304
-
Further, 58(1)143--154