Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
F
-
Fact, 57(3)219--244
-
factor, 67(1)z--99999999
-
Factorization, 64(4)699--735, 64(5)827--856
-
failure, 2(2)155--170, 16(1)79--111, 23(2)137--193
-
fair, 48(2)159--195
-
Fairness, 42(2)349--388
-
FALCON, 17(1)1--22
-
Falke, Stephan, 37(3)155--203
-
Falke, Stephan, see Giesl, Jürgen
-
Falsification, 63(4)1031--1053
-
family, 7(4)511--536, 39(3)385--429, 49(1)1--52
-
Färber, Michael, 65(2)287--320
-
Farber:2021:MLG, 65(2)287--320
-
Farmer, William M., 11(2)213--248, 26(3)269--289
-
Farmer:1993:IIM, 11(2)213--248
-
Farmer:2001:SST, 26(3)269--289
-
fast, 10(1)95--113, 18(1)47--83, 32(2)103--120, 62(3)301--329,
66(4)805--844
-
Faster, 44(1)z--99999999, 66(4)845--860
-
Fault-Tolerant, 65(3)425--460
-
Feedback, 32(3)187--226
-
Feichtinger, Dieter, 37(1)45--66
-
Feichtinger, Dieter, see Sinz, Carsten
-
Feist, Andrew, 29(1)1--16
-
Feist, Andrew, see McCune, William
-
Feldman, Yishai A., 7(3)403--433
-
Feldman:1991:PDI, 7(3)403--433
-
Felgenhauer, Bertram, 54(2)101--133
-
Felgenhauer, Bertram, see Zankl, Harald
-
Felty, Amy, 11(1)43--81, 27(1)1--2, 48(1)43--105, 58(3)311--312
-
Felty, Amy, see Basin, David
-
Felty, Amy P., 31(3)189--190, 55(4)307--372, 63(4)967--1002
-
Felty, Amy P., see Mahmoud, Mohamed Yousri
-
Felty:1993:ITT, 11(1)43--81
-
Felty:2003:P, 31(3)189--190
-
Felty:2012:H, 48(1)43--105
-
Felty:2015:NCP, 55(4)307--372
-
Felty:2017:PSE, 58(3)311--312
-
Feng, Guohui, 11(3)293--314
-
Feng, Guohui, see Bledsoe, W. W.
-
Feng, Xinyu, 42(2)301--347
-
Feng:2009:CLL, 42(2)301--347
-
Fermat, 59(2)267--286
-
Fernández, José Alberto, 13(1)117--143, 17(2)171--197,
see Yahya, Adnan
-
Fernández, Maribel, 49(2)111--114, 63(4)809--811,
see Cervesato, Iliano
-
Fernández-Gago, M. C., 34(3)295--321
-
Fernandez-Gago:2005:FOT, 34(3)295--321
-
Fernandez:1996:MTA, 17(2)171--197
-
Fernandez:2012:PTA, 49(2)111--114
-
Ferrari, Mauro, 44(4)371--399, 51(2)129--149, 62(1)127--167
-
Ferrari:2010:BCD, 44(4)371--399
-
Ferrari:2013:CFL, 51(2)129--149
-
Ferrari:2019:GOP, 62(1)127--167
-
Ferro, A., 7(2)257--270
-
Ferro, Alfredo, 7(2)169--170
-
Ferro, Giuseppa Carra, 12(3)351--358
-
Ferro, Giuseppa Carrà, 6(2)203--209
-
Ferro:1990:PPS, 6(2)203--209
-
Ferro:1991:DPE, 7(2)257--270
-
Ferro:1991:I, 7(2)169--170
-
Ferro:1994:EPP, 12(3)351--358
-
Feuillade, Guillaume, 33(3)341--383
-
Feuillade:2004:RAT, 33(3)341--383
-
Fiala, Nick C., 36(3)241--257
-
Fiala:2006:SSS, 36(3)241--257
-
field, 1(1)5--48, 50(2)161--172, 63(3)667--693, 66(4)611--637
-
fifty, 6(2)213--232
-
file, 15(2)277--278
-
Filipe, Luís, Cruz-, 59(4)425--454, 67(2)z--99999999
-
Filipe, Lu{\'{\i}}s, Cruz-, 63(3)695--722
-
Filkorn, Thomas, 5(3)403--408
-
Filkorn, Thomas, see Schmid, Richard
-
Filliâtre, Jean-Christophe, 50(4)423--456,
see Boldo, Sylvie
-
Filtering, 23(1)83--104
-
Find, 66(3)357--407
-
Find, Union-, 62(3)331--365
-
Finder, 66(4)861--904
-
finding, 3(1)91--107, 4(1)101--107, 5(1)93--95, 6(2)211--212,
6(3)337--339, 7(1)105--107, 7(2)285--286, 7(4)475--487,
10(1)137--138, 27(2)123--139, 58(1)181--207, 67(1)z--99999999
-
Fine--Grained, 64(3)485--510
-
Fine-Grained, 64(7)1419--1444
-
Fine-Structure, 54(2)165--197
-
Finger, Marcelo, 64(7)1269--1286
-
Finger:2020:PPT, 64(7)1269--1286
-
Finitary, 67(4)z--99999999
-
finite, 17(1)1--22, 17(1)131--143, 19(2)143--171, 26(2)139--160,
35(1)201--235, 36(3)177--212, 47(2)111--132, 49(4)493--550,
50(2)161--172, 51(4)431--451, 52(1)1--29, 63(3)667--693,
64(2)295--330
-
Finite-valued, 51(4)401--430
-
Finitely, 28(3)235--256
-
Finiteness, 51(4)371--400
-
Finn, Simon, 18(1)85--104
-
Finn:1997:PFT, 18(1)85--104
-
Fiorentini, Camillo, 44(4)371--399, 51(2)129--149, 62(1)127--167
-
Fiorentini, Camillo, see Ferrari, Mauro
-
Fiorino, Guido, 27(3)297--311, 44(4)371--399, 51(2)129--149,
52(1)67--97, 67(1)z--99999999
-
Fiorino, Guido, see Ferrari, Mauro
-
Fiorino:2001:SDP, 27(3)297--311
-
Fiorino:2014:TCP, 52(1)67--97
-
Fiorino:2023:LDD, 67(1)z--99999999
-
Firewall, 61(1)191--242
-
first, 13(1)69--82, 18(2)177--182, 33(3)319--339, 35(4)373--390,
42(1)99--122
-
First--Order, 64(3)391--422, 64(3)611--640, 67(3)z--z
-
First-Class, 40(2)117--132
-
First-Order, 18(2)183--188, 19(3)347--376, 21(3)381--400, 27(4)353--389,
28(4)371--396, 28(4)397--415, 32(2)167--184, 34(3)295--321,
40(1)35--60, 45(4)437--473, 52(4)361--378, 53(2)141--172,
55(3)269--284, 57(2)157--185, 60(2)133--156, 60(4)465--501,
60(4)527--527, 61(1)455--484, 64(2)295--330, 64(6)1001--1050,
65(3)357--423, 65(5)647--690, 65(8)1097--1124, 67(1)z--99999999,
67(2)z--z
-
first-order, 2(3)287--327, 4(2)191--213, 6(2)147--172, 6(4)361--388,
9(3)355--372, 10(2)237--263
-
Fischer, Bernd, 36(4)287--287, 37(1)1--1
-
Fischer:2006:ESAa, 36(4)287--287
-
Fischer:2006:ESAb, 37(1)1--1
-
Fish, Andrew, 39(4)431--470
-
Fish, Andrew, see Stapleton, Gem
-
Fisher, M., 34(3)295--321
-
Fisher, M., see Fernández-Gago, M. C.
-
Fitch-Style, 34(3)239--294
-
Fitelson, Branden, 27(2)141--156, 27(2)201--225, 29(1)1--16,
29(2)107--124
-
Fitelson, Branden, see Harris, Kenneth,
see McCune, William, \see{Wos, Larry
-
Fitelson:2001:MPF, 27(2)201--225
-
Fitting, Melvin, 4(2)191--213, 13(2)175--188
-
Fitting:1988:FOM, 4(2)191--213
-
Fitting:1994:TLP, 13(2)175--188
-
five, Seventy-, 2(2)191--216
-
Fixed, 47(3)319--336
-
Fixed--Point, 64(5)857--877
-
Flat, 54(4)327--352
-
Flatterms, 10(1)95--113
-
Flaw, 45(4)359--395
-
Fleuriot, Jacques D., 66(4)953--988, 67(1)z--99999999
-
Fleuriot, Jacques D., see Schmoetten, Richard
-
Fleury, Mathias, 56(2)155--200, 61(1)333--365, 64(3)485--510
-
Fleury, Mathias, see Barbosa, Haniel,
see Blanchette, Jasmin Christian
-
flexibility, 11(2)269--288
-
Flexibly, 28(3)257--305
-
Floating-Point, 34(2)141--177, 54(2)135--163, 65(7)1071--1096,
67(1)z--99999999, 67(4)z--z
-
Flores-Montoya, Antonio, 59(1)47--85
-
Flores-Montoya, Antonio, see Albert, Elvira
-
Florido, Mário, 59(1)87--120, see Jost, Steffen
-
Flow, 62(2)215--236, 62(2)261--280
-
Flow, Max-, 66(4)585--610
-
Flow-Sensitive, 42(2)265--300
-
Flower, Jean, 39(4)431--470
-
Flower, Jean, see Stapleton, Gem
-
Flowpipes, 63(4)1005--1029
-
Floyd, VST-, 61(1)367--422
-
Floyd--Hoare, 5(4)533--540
-
Flyspeck, 50(2)173--190, 53(2)173--213, 54(1)99--99
-
FOC, 29(3)337--363
-
focusing, 6(3)337--339
-
Focussing, 64(7)1221--1245
-
FOL, 36(3)177--212
-
Fontaine, Pascal, 64(1)97--134, 64(3)485--510, 65(7)891--892
-
Fontaine, Pascal, see Barbosa, Haniel,
see Chocron, Paula
-
Fontaine:2021:PSI, 65(7)891--892
-
fool, 7(4)597--630
-
foray, 2(4)419--431
-
Forcheri, Paola, 20(1)167--190
-
Forcheri:1998:ILT, 20(1)167--190
-
Forest, Julien, 39(4)513--541
-
Forest:2007:ERS, 39(4)513--541
-
Foreword, 48(2)133--134
-
Forget, 61(1)333--365
-
form, 7(3)325--336, 13(1)117--143, 43(1)19--51, 66(4)1065--1095,
66(4)1097--1097
-
Form, Closed-, 46(2)161--203
-
formal, 8(2)213--274, 9(3)309--354, 22(3)223--239, 23(3)235--264,
23(3)265--298, 28(3)321--336, 32(1)75--92, 32(4)z--99999999,
36(1)39--83, 37(1)67--92, 39(2)161--180, 40(4)307--326, 41(1)1--31,
41(3)325--364, 42(2)125--187, 42(2)189--227, 45(4)331--358,
47(3)229--250, 47(3)291--318, 48(4)419--439, 49(3)427--451,
50(2)119--121, 55(3)223--243, 55(3)295--306, 57(2)135--156,
57(4)319--387, 60(1)3--21, 60(1)63--84, 60(1)85--105, 61(1)33--71,
62(2)193--213, 62(2)281--300, 62(3)301--329, 63(2)347--368,
64(5)911--945, 67(2)z--99999999
-
Formalisation, 52(4)451--480, 58(4)509--535, 63(3)763--786,
65(4)569--598
-
Formalisation, Self-, 56(3)221--259
-
Formalising, 65(4)521--567, 66(4)953--988, 67(1)z--99999999
-
formalisms, 14(1)149--180
-
Formalization, 23(3)347--371, 30(3)235--269, 43(1)81--119,
43(2)139--172, 45(3)301--325, 50(2)161--172, 50(2)211--216,
50(2)229--241, 51(2)151--196, 53(1)63--103, 53(4)407--429,
60(2)237--254, 61(1)455--484, 62(2)215--236, 63(2)323--345,
63(2)517--538, 63(3)787--808, 63(4)967--1002, 64(6)1123--1164,
65(1)1--29, 65(1)31--73, 65(8)1231--1263, 66(2)175--213,
66(4)611--637, 66(4)989--1030, 66(4)1031--1063, 66(4)1065--1095,
66(4)1097--1097, 67(1)z--z, 67(2)z--99999999, 67(2)z--z
-
Formalized, 23(3)373--409, 43(1)19--51, 64(4)641--675
-
Formalizing, 23(3)411--444, 30(1)59--98, 43(3)243--261, 49(2)209--239,
62(2)261--280, 64(4)737--765, 64(5)827--856, 64(7)1169--1195
-
Formally, 43(4)z--z, 52(3)331--360, 54(1)1--29, 59(4)389--423,
59(4)425--454, 61(1)485--520, 62(2)281--300, 63(3)695--722,
65(2)321--356
-
Formally-Verified, 54(4)285--326
-
Formisano, Andrea, 22(4)433--483
-
Formisano:1999:RRM, 22(4)433--483
-
formula, 3(3)291--299, 6(3)287--297, 11(1)115--145, 12(2)139--156,
24(1)101--125, 35(1)51--72, 35(1)181--200, 39(1)49--75, 42(1)77--97,
47(4)369--398, 61(1)33--71, 64(3)485--510, 65(5)599--645,
67(4)z--99999999
-
Formula-Based, 30(1)33--58
-
Formulae, 28(2)101--142, 63(4)1055--1075
-
formulation, 3(2)113--200
-
Formulations, 2(1)89--101
-
Forster, Yannick, 63(2)393--413, 64(5)947--999
-
Forster, Yannick, see Sozeau, Matthieu
-
Forster:2019:CVL, 63(2)393--413
-
Forward, 40(2)133--177
-
Foss, Jim, Alves-, 26(4)357--408
-
Foster, Simon, 54(2)165--197
-
Foster:2015:FSR, 54(2)165--197
-
Found, 27(2)201--225
-
foundation, 5(3)363--397, 11(3)353--389, 37(4)277--322, 46(3)223--224,
62(4)531--555, 63(2)157--158
-
Foundational, 31(3)191--229
-
Founded, Well-, 20(1)143--165, 26(4)333--356, 28(1)53--97,
64(2)167--195
-
Foundedness, Well-, 23(3)197--234
-
Four, 55(3)191--198
-
Four-Valued, 67(4)z--99999999
-
Fourier, 9(3)373--379
-
Fourman, Michael P., 18(1)85--104
-
Fourman, Michael P., see Finn, Simon
-
Fourth, Twenty-, 29(1)67--89
-
FPGA, 37(1)117--152
-
Fragment, 34(1)49--72, 51(2)197--239, 53(3)305--315, 55(2)185--185,
57(2)157--185, 64(3)611--640
-
fragments, 7(4)537--561, 65(3)357--423, 67(4)z--99999999
-
framework, 10(2)191--235, 21(1)39--67, 22(2)171--221, 27(1)1--2,
29(2)125--169, 30(2)205--232, 32(4)z--99999999, 37(1)93--116,
38(1)31--56, 45(2)157--188, 46(1)81--102, 48(3)391--417,
52(3)241--273, 55(2)91--116, 58(1)127--147, 59(3)287--330,
61(1)333--365, 64(8)1611--1662, 66(4)499--539
-
Francis, Michael, 63(4)1055--1075
-
Francis, Michael, see Jha, Susmit
-
Franek, Peter, 57(2)157--185
-
Franek:2016:QDF, 57(2)157--185
-
Franzen, Mark, 9(2)169--178
-
Franzen:1992:HTP, 9(2)169--178
-
free, 4(3)331--352, 7(1)109--158, 13(2)211--221, 64(1)53--72
-
Free, Claw-, 52(1)1--29
-
Free, Contraction-, 51(2)129--149
-
Free, Cut-, 44(3)245--276
-
Free, Deadlock-, 48(4)419--439
-
Free, Extension-, 64(3)533--554
-
Free, Invariant-, 50(1)1--49
-
Free, Quantifier-, 47(4)341--367, 64(2)295--330
-
Free, Race-, 60(3)279--298
-
Free, Redundancy-, 64(7)1197--1219
-
Free, XOR-, 46(3)325--352
-
Free-Variable, 38(1)31--56
-
Frenkel, Hadar, 63(4)1077--1101
-
Frenkel:2019:ATA, 63(4)1077--1101
-
Fresh, 49(2)115--140
-
Freund, Stephen N., 30(3)271--321
-
Freund:2003:TSJ, 30(3)271--321
-
Friedland, Peter E., 1(2)161--208
-
Friedland:1985:CIS, 1(2)161--208
-
Friedrich, Stefan, 30(3)399--444
-
Friedrich, Stefan, see Basin, David A.
-
Frisch, Alan M., 35(1)143--179
-
Frisch:2005:SNB, 35(1)143--179
-
Fröhlich, Peter, 20(1)81--105
-
Frohlich:1998:SMB, 20(1)81--105
-
Frohn, Florian, 58(1)3--31, 58(1)33--65, 59(1)121--163
-
Frohn, Florian, see Giesl, Jürgen,
see Ströder, Thomas
-
Frohn:2017:LBR, 59(1)121--163
-
Front-End, 62(4)433--480
-
Fuhs, Carsten, 47(2)133--160, 58(1)3--31, 58(1)33--65
-
Fuhs, Carsten, see Giesl, Jürgen,
see Ströder, Thomas
-
Fuhs:2011:PTD, 47(2)133--160
-
Full, 23(3)347--371
-
Fully, 58(2)253--291
-
function, 2(1)63--74, 4(2)117--172, 6(4)403--417, 6(4)463--464,
11(1)147--148, 11(3)353--389, 15(2)267--275, 18(1)85--104,
21(2)233--275, 26(1)1--49, 31(2)107--127, 33(3)251--269,
39(1)49--75, 44(3)175--205, 44(4)303--336, 47(4)399--425,
50(1)99--117, 50(4)383--421, 53(4)407--429, 55(3)199--210,
57(3)187--217, 60(1)63--84, 64(1)97--134, 64(4)677--688,
64(7)1287--1306, 66(2)175--213
-
functional, 7(1)27--103, 18(2)227--236, 40(2)117--132, 42(1)1--33,
50(4)383--421, 59(1)87--120, 60(3)279--298, 64(7)1393--1418,
66(4)1031--1063
-
Functionality, 64(3)391--422
-
Fundamental, 6(2)115--145, 58(4)509--535, 63(2)517--538
-
Furbach, U., 32(3)259--286
-
Furbach, U., see Baumgartner, P.
-
Furbach, Ulrich, 5(3)309--337, 13(3)339--359, 40(2)87--88
-
Furbach, Ulrich, see Baumgartner, Peter
-
Furbach:1989:HET, 5(3)309--337
-
Furbach:2008:IP, 40(2)87--88
-
Fusion, 45(1)3--19, 49(2)161--183
-
Futa, Yuichi, 50(2)161--172
-
Futa:2013:FDT, 50(2)161--172
-
Futile, 34(1)31--47
-
future, 9(3)iii--iii
-
fuzzy, 5(2)207--233, 8(1)77--90, 10(1)59--78