Index file section F for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
F
-
F, 14(1)7--7, 18(1)5--5, 20(2)9--9
-
F.1.1, 1(1)77--111, 2(2)216--254, 2(3)408--429
-
F.1.2, 2(3)408--429
-
F.1.3, 1(1)131--161
-
F.3.1, 1(1)3--32, 1(1)60--76, 1(1)162--170, 1(1)171--174, 2(1)1--11,
2(3)388--407, 2(3)408--429
-
F.3.2, 1(1)60--76, 1(1)171--174
-
F.3.3, 1(1)60--76, 1(1)171--174
-
F.4.1, 1(1)33--59, 1(1)112--130, 1(2)175--207, 1(2)247--284, 2(1)12--56,
2(1)57--92, 2(1)93--134, 2(1)135--153, 2(2)155--181, 2(2)182--215,
2(2)216--254, 2(2)255--287, 2(3)340--387, 2(3)388--407
-
F.4.3, 2(2)216--254
-
Faber, Wolfgang, 5(2)206--263, 7(3)499--562
-
Faber, Wolfgang, see Eiter, Thomas,
see Leone, Nicola
-
fabric, 14(2)10--10
-
Facchini, Alessandro, 17(4)24--24, 21(2)15--15
-
Facchini, Alessandro, see Carreiro, Facundo
-
Facchini:2016:IPG, 17(4)24--24
-
facilitate, 19(2)10--10, 19(2)12--12, 20(1)5--5
-
facility, 1(2)285--320
-
fact, 1(1)33--59, 1(1)131--161, 8(3)17--17, 9(3)18--18, 10(1)2--2,
12(1)7--7, 13(3)26--26, 14(2)14--14, 14(3)19--19, 14(3)23--23,
14(4)30--30, 15(1)1--1, 15(1)3--3, 16(1)6--6, 16(2)17--17,
16(3)19--19, 16(4)35--35, 18(1)3--3, 18(2)15--15, 18(3)18--18,
19(1)4--4, 20(3)13--13, 21(3)21--21, 21(4)27--27
-
facto, 21(3)26--26
-
factor, 12(2)12--12, 14(4)29--29, 16(3)21--21, 17(1)7--7
-
factored, 14(4)29--29
-
factorization, 13(1)3--3, 14(4)25--25
-
Fahey, Polly, 24(3)25--25
-
Fahey, Polly, see Adler, Isolde
-
fail, 8(2)z--99999999, 10(1)1--1, 12(3)21--21, 14(4)30--30, 15(2)16--16,
16(1)1--1, 17(2)8--8, 17(4)27--27, 19(1)1--1, 19(2)12--12,
19(3)23--23
-
fail-safe, 8(2)z--99999999
-
failed, 13(4)30--30
-
failure, 3(2)177--225, 12(2)11--11, 14(2)16--16
-
failure, negation-as-, 6(2)441--467
-
fair, 8(3)14--14, 10(1)4--4, 14(2)9--9, 17(3)16--16
-
Fairweather, Elliot, 19(1)6--6
-
Fairweather:2018:TNR, 19(1)6--6
-
faithful, 13(2)11--11
-
Falappa, Marcelo A., 23(1)4--4
-
Falappa, Marcelo A., see Gallo, Fabio R.
-
fall, 9(4)26--26, 15(1)9--9, 16(4)31--31, 19(3)21--21, 19(3)23--23
-
false, 2(1)1--11, 15(2)12--12
-
falsifier, 19(3)17--17
-
familiar, 14(3)21--21
-
family, 8(4)20--20, 10(3)21--21, 12(1)6--6, 13(2)16--16, 13(3)21--21,
14(3)20--20, 14(3)24--24, 14(4)27--27, 14(4)32--32, 15(1)6--6,
17(4)26--26, 19(1)4--4, 19(2)13--13, 19(4)29--29, 20(2)9--9,
20(3)13--13, 21(1)1--1, 21(2)8--8, 22(1)3--3, 22(2)9--9, 23(3)15--15
-
famous, 14(4)30--30, 15(3)19--19, 16(1)7--7, 16(3)24--24, 18(1)1--1
-
Fan, Tuan-Fang, 18(2)15--15, 21(1)3--3
-
Fan, Tuan-Fang, see Su, Che-Ping
-
Fan, Wenfei, 4(4)530--577
-
Fan, Wenfei, see Buneman, Peter
-
Fan:2020:RMB, 21(1)3--3
-
far, 11(3)17--17, 12(1)2--2, 12(3)20--20, 13(1)6--6, 13(2)18--18,
14(1)4--4, 16(1)5--5, 16(1)9--9, 16(3)22--22, 17(3)20--20,
17(3)22--22, 17(4)24--24, 18(1)6--6, 18(2)13--13, 18(4)28--28,
24(3)25--25
-
far., 10(2)11--11
-
fashion, 15(3)24--24, 17(3)15--15, 24(4)33--33
-
fast, 7(3)473--498, 9(3)17--17, 11(3)15--15, 16(2)16--16, 20(2)12--12
-
faster, 18(2)12--12, 24(3)25--25
-
fastest, 17(2)13--13
-
faulty, 10(3)16--16, 12(3)19--19
-
favorable, 10(1)4--4
-
favour, 17(4)27--27
-
favourable, 14(1)2--2
-
Fazzinga, Bettina, 16(3)22--22
-
Fazzinga:2015:CPA, 16(3)22--22
-
FDNC, 11(2)14--14
-
feasibility, 5(2)332--350, 16(4)31--31, 19(4)31--31
-
feasible, 15(4)35--35, 20(1)2--2
-
feature, 1(1)60--76, 1(1)171--174, 1(2)285--320, 5(3)385--402,
9(3)22--22, 10(1)5--5, 12(3)22--22, 14(1)2--2, 14(3)23--23,
15(3)20--20, 16(3)25--25, 18(2)10--10, 18(3)19--19, 19(1)6--6,
19(2)12--12, 19(3)22--22, 19(4)24--24, 23(4)21--21
-
featured, 16(4)31--31
-
featuring, 20(4)22--22, 23(1)2--2, 24(1)1--1
-
feedback, 9(4)27--27, 19(4)25--25
-
feel, 1(1)3--32
-
Feferman--Vaught-type, 17(4)25--25
-
Feferman-Vaught, 16(1)9--9
-
feigning, 16(1)3--3
-
Felgenhauer, Bertram, 16(2)14--14
-
Felgenhauer:2015:LSP, 16(2)14--14
-
Felleisen, 9(1)6--6
-
Feng, Shiguang, 21(2)12--12
-
Feng, Yuan, 10(3)19--19, 15(2)14--14, 15(3)22--22, 23(3)19--19
-
Feng, Yuan, see Ying, Mingsheng
-
Feng:2014:SBQ, 15(2)14--14
-
Feng:2020:MTO, 21(2)12--12
-
Feng:2022:VDQ, 23(3)19--19
-
Fernández, Maribel, 19(1)6--6,
see Fairweather, Elliot
-
Fernández-Duque, David, 15(1)4--4, 21(2)14--14,
see Balbiani, Philippe
-
Fernandez-Duque:2014:NFA, 15(1)4--4
-
Ferrari, Mauro, 6(3)519--538, 13(2)14--14, 16(1)8--8, 21(3)22--22
-
Ferrari, Mauro, see Fiorentini, Camillo
-
Ferrari:2005:CDP, 6(3)519--538
-
Ferrari:2012:SRI, 13(2)14--14
-
Ferrari:2015:EDD, 16(1)8--8
-
Ferraris, Paolo, 12(4)25--25
-
Ferraris:2011:LPP, 12(4)25--25
-
Fervari, Raul, 24(2)12--12
-
Fervari, Raul, see Bednarczyk, Bartosz
-
few, 1(1)3--32, 1(2)208--246, 8(4)24--24, 12(3)21--21, 14(2)12--12,
17(1)3--3, 17(1)6--6, 17(3)22--22, 19(4)28--28, 20(1)5--5,
20(3)16--16
-
fibered, non-, 23(3)18--18
-
fibrant, 19(2)15--15
-
fibrations, 16(3)23--23
-
Fichte, Johannes K., 17(1)7--7
-
Fichte:2015:BND, 17(1)7--7
-
field, 10(1)3--3, 14(2)10--10, 14(2)11--11, 15(4)30--30, 15(4)33--33,
16(2)15--15, 17(2)12--12, 18(1)6--6, 19(2)12--12, 19(4)28--28,
20(1)1--1, 20(1)3--3, 20(1)5--5, 20(3)16--16, 21(3)19--19, 23(1)5--5,
23(1)6--6
-
field, mean-, 20(4)19--19
-
Field-Sensitive, 15(4)33--33
-
field-sensitive, 15(4)33--33
-
FIFO, 13(1)7--7, 20(3)16--16
-
fifo, 9(1)5--5
-
Figueira, Diego, 13(4)34--34
-
Figueira:2012:DDX, 13(4)34--34
-
Fijalkow, Nathanaël, 18(3)20--20, 22(1)7--7,
see Berthon, Raphaël
-
Fijalkow:2017:MSO, 18(3)20--20
-
file, 9(3)17--17
-
Filiot, Emmanuel, 22(1)7--7
-
Filiot, Emmanuel, see Berthon, Raphaël
-
Filipe, Luís, Cruz-, 22(1)6--6
-
fill, 20(1)5--5
-
filling, 16(2)12--12
-
Filmus, Yuval, 16(4)28--28, 24(1)8--8
-
Filmus:2015:SSS, 16(4)28--28
-
Filmus:2023:MRS, 24(1)8--8
-
filter, 20(3)17--17
-
final, 8(3)15--15, 19(1)5--5, 19(1)6--6, 19(4)27--27
-
finally, 1(2)247--284, 2(1)12--56, 2(1)57--92, 2(3)289--339, 8(4)20--20,
9(1)7--7, 9(3)21--21, 10(3)17--17, 10(3)19--19, 13(3)24--24,
13(4)33--33, 13(4)34--34, 15(1)5--5, 15(2)13--13, 15(3)24--24,
15(4)32--32, 16(1)8--8, 17(1)1--1, 18(2)8--8, 18(3)21--21,
18(3)24--24, 18(3)25--25, 18(4)29--29, 19(2)13--13, 19(3)23--23,
19(4)31--31, 20(1)1--1, 20(1)6--6, 20(4)25--25, 21(1)2--2, 21(1)6--6,
21(1)7--7
-
find, 2(3)388--407, 8(4)19--19, 9(2)9--9, 10(2)13--13, 12(1)2--2,
12(1)5--5, 12(4)24--24, 13(2)16--16, 13(3)24--24, 13(4)31--31,
13(4)33--33, 14(1)2--2, 14(2)10--10, 14(3)23--23, 15(3)18--18,
16(1)6--6, 16(3)25--25, 18(3)18--18, 18(3)21--21
-
finding, 2(1)1--11, 2(3)388--407, 9(3)20--20, 10(4)27--27, 10(4)29--29,
11(4)25--25, 12(1)5--5, 13(4)33--33, 14(3)22--22, 15(3)20--20,
16(2)18--18, 16(3)25--25, 16(3)27--27, 17(2)10--10, 18(2)8--8,
18(2)11--11, 18(2)13--13, 18(3)21--21, 20(3)15--15
-
fine-grained, 14(2)15--15, 14(3)24--24, 18(4)33--33
-
fine-tuning, 10(2)8--8
-
finer, 1(1)33--59, 19(1)5--5
-
finer-grained, 19(4)25--25
-
finitary, 6(4)701--726, 11(1)1--1, 20(1)4--4
-
finite, Non-, 15(1)4--4
-
finite, orbit-, 20(3)14--14
-
finite-horizon, 10(1)5--5
-
finite-memory, 9(1)5--5, 15(2)16--16
-
Finite-State, 19(2)14--14
-
finite-state, 2(2)216--254, 9(1)4--4, 9(1)5--5, 12(1)2--2, 15(2)16--16,
16(4)34--34
-
finite-valued, 16(4)33--33
-
Finite-Variable, 16(3)21--21
-
finitely, 9(3)18--18, 12(1)2--2, 13(3)20--20, 13(3)26--26, 15(1)4--4,
15(3)20--20, 15(4)32--32, 16(2)10--10, 16(3)27--27, 18(4)28--28,
19(3)17--17, 20(1)2--2
-
finiteness, 10(2)10--10
-
Fink, Michael, 6(2)389--440, 8(3)17--17
-
Fink, Michael, see Eiter, Thomas
-
Finkel, Alain, 18(3)24--24
-
Finkel, Alain, see Blondin, Michael
-
Fiorentini, Camillo, 6(3)519--538, 13(2)14--14, 16(1)8--8, 21(3)22--22
-
Fiorentini, Camillo, see Ferrari, Mauro
-
Fiorentini:2020:DBU, 21(3)22--22
-
Fiorino, Guido, 6(3)519--538, 13(2)14--14, 16(1)8--8
-
Fiorino, Guido, see Ferrari, Mauro
-
fired, 18(3)24--24
-
first, depth-, 13(4)32--32
-
First-Order, 13(1)5--5, 14(2)8--8, 14(3)17--17, 15(2)11--11, 16(1)9--9,
16(2)17--17, 16(3)27--27, 17(4)25--25, 21(4)29--29, 23(2)12--12,
23(3)17--17
-
Fisher, Michael, 2(1)12--56, 7(1)108--150
-
Fisher, Michael, see Degtyarev, Anatoli
-
Fisher:2001:CTR, 2(1)12--56
-
Fisman, Dana, 15(2)13--13
-
Fisman, Dana, see Eisner, Cindy
-
fit, 20(2)10--10
-
five, 19(3)16--16
-
fix-point, 10(2)11--11
-
fixed, 5(2)282--315, 8(3)17--17, 8(4)20--20, 8(4)21--21, 11(4)27--27,
12(2)12--12, 13(1)2--2, 13(1)4--4, 13(1)5--5, 13(2)12--12,
13(4)30--30, 13(4)31--31, 13(4)32--32, 14(1)3--3, 14(3)18--18,
15(3)19--19, 17(2)10--10, 19(2)10--10, 19(3)16--16, 19(3)23--23,
20(1)3--3, 20(2)9--9, 23(1)5--5, 23(2)12--12
-
fixed-length, 2(1)93--134
-
fixed-parameter, 4(1)91--119, 12(1)3--3, 15(1)9--9, 17(1)7--7,
17(2)10--10, 18(1)1--1, 18(3)21--21, 21(4)29--29
-
fixed-point, 9(4)26--26, 14(3)21--21, 19(2)7--7, 20(3)15--15, 21(1)4--4,
23(1)6--6
-
fixed-points, 21(1)4--4
-
fixpoint, 1(1)33--59, 7(4)765--797, 8(1)z--99999999, 9(3)17--17,
13(2)13--13, 14(1)7--7, 14(4)28--28, 16(4)29--29, 16(4)30--30,
17(4)27--27, 19(1)4--4, 22(1)6--6
-
Flach, Peter A., 2(4)458--494
-
Flach, Peter A., see Lavra{\v{c}}, Nada
-
flat, 9(4)28--28, 18(2)17--17, 19(1)4--4
-
flat, left-, 18(2)17--17
-
flat, right-, 18(2)17--17
-
flavour, 13(4)28--28
-
flaws, 15(2)16--16
-
fld, 15(4)33--33
-
Flesca, Sergio, 16(3)22--22
-
Flesca, Sergio, see Fazzinga, Bettina
-
flexibility, 9(3)16--16, 15(4)35--35
-
flexible, 2(1)57--92, 14(2)15--15, 15(3)25--25, 18(4)27--27, 18(4)31--31
-
Flores-Montoya, Antonio, 17(2)11--11
-
Flores-Montoya, Antonio, see Albert, Elvira
-
flow, 10(4)28--28, 10(4)29--29, 13(4)28--28, 14(2)8--8, 15(3)25--25,
18(4)32--32, 19(4)31--31, 24(4)33--33
-
Flow-Graphs, !?-, 12(4)23--23
-
flowchart, 13(2)15--15
-
flowing, 2(1)93--134
-
Floyd-Hoare, 11(1)7--7
-
fluents, 16(2)11--11
-
fly, 1(2)175--207, 9(3)19--19, 18(2)12--12
-
fly, on-the-, 9(3)19--19
-
FO, 8(4)21--21, 11(1)4--4, 13(1)5--5, 14(2)8--8, 14(3)17--17, 16(1)9--9,
16(3)21--21, 17(4)32--32, 18(4)33--33, 21(4)28--28, 24(4)29--29,
24(4)30--30
-
fo, 17(4)25--25
-
FO2, 12(4)27--27
-
FOAGG, 14(3)17--17
-
focal, 17(3)21--21
-
focalization, 15(3)21--21
-
focus, 10(1)5--5, 10(3)22--22, 12(2)13--13, 13(3)21--21, 16(3)22--22,
17(1)3--3, 17(2)13--13, 18(2)9--9, 19(2)12--12, 19(4)24--24,
20(4)24--24, 21(3)19--19, 23(1)3--3, 24(3)22--22, 24(4)32--32
-
focused, 13(1)2--2, 15(3)21--21, 17(3)20--20
-
Focusing, 15(3)21--21, 21(3)18--18
-
FOID, 14(3)17--17
-
FOIFP, 9(2)14--14
-
Fokkink, Wan, 5(1)26--78, 10(1)6--6, 23(4)22--22
-
Fokkink, Wan, see Aceto, Luca,
see Bloom, Bard
-
fold:\par, two-, 10(4)26--26
-
FOLFP, 9(2)14--14
-
folklore, 10(1)4--4
-
follow, 9(4)25--25, 10(4)28--28, 12(1)4--4, 12(2)9--9, 13(2)18--18,
13(4)34--34, 14(3)24--24, 14(4)27--27, 15(1)4--4, 15(2)16--16,
17(2)14--14, 17(3)22--22, 18(3)25--25, 19(1)5--5, 19(4)27--27,
20(4)22--22, 21(1)1--1, 21(1)4--4, 22(1)3--3
-
followed, 2(3)388--407, 13(1)1--1, 14(2)12--12, 14(4)25--25, 15(4)34--34
-
following, 9(2)8--8, 9(2)9--9, 9(3)18--18, 9(3)22--22, 11(4)22--22,
12(1)7--7, 12(2)12--12, 12(2)15--15, 12(2)16--16, 14(3)19--19,
16(1)9--9, 16(3)22--22, 19(2)14--14, 20(4)25--25
-
Fomin, Fedor V., 23(3)17--17
-
Fomin:2022:PCE, 23(3)17--17
-
FOML, 24(4)29--29
-
Fontaine, Gaëlle, 16(1)7--7
-
Fontaine:2015:WIH, 16(1)7--7
-
for-Game, Good-, 24(1)4--4
-
for-loops, 13(3)27--27
-
\\forall, 24(4)29--29
-
\forall, 19(1)1--1, 19(3)18--18, 20(4)25--25, 21(3)19--19
-
forbid, 17(2)12--12
-
forbidden, 11(4)28--28, 18(3)21--21, 18(3)23--23
-
force, 9(2)9--9, 16(3)25--25
-
forced, 22(3)15--15
-
forest, 9(3)18--18, 14(4)25--25, 17(4)31--31, 24(2)12--12
-
forever, 9(4)27--27
-
forget-then-conjoin, 14(3)24--24
-
forgetting, 14(3)24--24, 18(2)16--16, 20(2)10--10
-
forgotten, 20(2)10--10
-
form, 1(1)3--32, 1(1)33--59, 1(1)131--161, 2(1)12--56, 2(1)57--92,
2(2)182--215, 2(2)255--287, 6(1)61--101, 8(3)17--17, 9(1)4--4,
9(2)14--14, 9(3)22--22, 9(4)27--27, 10(1)3--3, 10(1)7--7,
10(2)10--10, 10(2)11--11, 10(4)25--25, 11(4)28--28, 12(1)6--6,
12(2)12--12, 12(3)21--21, 12(3)22--22, 12(4)24--24, 13(1)2--2,
13(1)6--6, 13(1)8--8, 13(1)9--9, 13(2)13--13, 13(2)16--16,
13(3)27--27, 14(1)2--2, 14(1)7--7, 14(2)12--12, 14(2)16--16,
14(3)17--17, 14(3)18--18, 14(3)22--22, 15(1)10--10, 15(2)17--17,
15(3)18--18, 15(3)19--19, 15(3)21--21, 15(3)25--25, 15(4)34--34,
16(1)5--5, 16(1)6--6, 16(1)9--9, 16(2)11--11, 16(2)17--17,
16(3)21--21, 16(4)28--28, 17(2)10--10, 17(2)12--12, 17(2)13--13,
18(1)4--4, 18(1)7--7, 18(2)13--13, 18(2)16--16, 18(2)17--17,
18(3)21--21, 19(2)9--9, 19(2)13--13, 19(3)18--18, 19(4)27--27,
19(4)30--30, 20(3)15--15, 21(1)2--2, 21(3)25--25, 22(1)2--2,
22(4)21--21, 24(3)27--27, 24(4)29--29
-
formal, 1(1)33--59, 1(1)112--130, 1(1)162--170, 1(2)175--207,
1(2)247--284, 2(1)12--56, 2(1)57--92, 2(1)93--134, 2(1)135--153,
2(2)155--181, 2(2)182--215, 2(2)216--254, 2(2)255--287,
2(3)340--387, 2(3)388--407, 8(3)15--15, 8(4)24--24, 9(1)2--2,
9(1)4--4, 9(1)7--7, 9(3)20--20, 9(4)29--29, 10(1)1--1, 10(1)5--5,
10(3)15--15, 10(3)19--19, 11(1)5--5, 11(4)26--26, 12(1)5--5,
12(2)15--15, 13(1)6--6, 13(3)19--19, 13(3)22--22, 14(1)4--4,
14(2)14--14, 14(2)15--15, 14(4)26--26, 15(1)1--1, 15(2)15--15,
15(3)22--22, 15(4)27--27, 15(4)32--32, 16(1)1--1, 16(1)6--6,
16(1)7--7, 16(2)12--12, 16(3)25--25, 16(4)32--32, 16(4)33--33,
16(4)34--34, 16(4)35--35, 17(1)3--3, 17(1)5--5, 17(3)15--15,
17(4)23--23, 18(1)7--7, 18(2)8--8, 18(4)31--31, 19(2)14--14,
19(3)22--22, 19(4)24--24, 19(4)27--27, 20(1)5--5, 20(4)19--19,
21(1)3--3, 21(2)15--15, 22(3)19--19, 22(4)23--23, 23(1)2--2,
23(2)8--8
-
formalisation, 9(2)14--14
-
formalism, 1(1)3--32, 1(1)131--161, 1(1)162--170, 1(2)175--207,
1(2)208--246, 1(2)247--284, 2(2)182--215, 2(2)255--287,
2(3)289--339, 2(3)340--387, 8(3)18--18, 9(2)14--14, 9(4)27--27,
10(1)3--3, 10(1)5--5, 12(2)11--11, 12(3)20--20, 14(2)13--13,
14(2)14--14, 15(1)8--8, 15(3)25--25, 15(4)30--30, 15(4)34--34,
15(4)35--35, 16(2)11--11, 17(3)16--16, 18(4)27--27, 18(4)31--31,
19(3)22--22, 19(4)28--28, 20(4)20--20, 21(1)3--3, 21(3)26--26,
22(1)6--6, 22(2)9--9, 24(3)26--26
-
formalization, 2(2)182--215, 9(1)7--7, 14(4)26--26, 15(3)23--23,
17(4)23--23, 19(3)22--22
-
formalize, 9(2)14--14, 13(1)9--9, 14(4)26--26, 14(4)32--32, 18(4)27--27
-
formalized, 1(1)3--32, 9(2)14--14, 9(3)16--16, 10(1)1--1, 12(2)15--15,
13(1)1--1, 13(3)22--22, 16(2)18--18, 17(2)11--11, 18(4)27--27,
21(1)2--2
-
formalizing, 9(2)14--14, 11(4)22--22, 14(4)32--32, 15(2)12--12
-
formally, 9(1)2--2, 9(1)7--7, 9(2)14--14, 10(3)15--15, 12(2)15--15,
14(2)12--12, 14(4)28--28, 15(4)30--30, 15(4)34--34, 16(4)30--30,
17(3)18--18, 18(1)7--7, 19(2)12--12, 19(3)22--22, 23(2)8--8
-
format, 5(1)26--78, 10(2)9--9, 10(2)13--13, 12(3)22--22, 21(1)1--1
-
formation, 21(1)3--3
-
formed, 19(2)8--8
-
former, 9(3)17--17, 13(2)15--15, 13(2)17--17, 18(2)8--8, 18(2)10--10,
18(2)16--16, 19(4)24--24, 20(1)1--1
-
formers, term-, 13(3)20--20
-
Formisano, Andrea, 7(2)269--301
-
Formisano, Andrea, see Dovier, Agostino
-
formula-based, 13(3)23--23
-
formula-preferential, 8(3)18--18
-
Formulaash, 14(3)24--24
-
formulae, 2(1)12--56, 2(3)340--387, 8(3)18--18, 10(3)17--17, 12(1)3--3,
12(2)13--13, 13(2)17--17, 15(1)10--10, 15(3)19--19, 16(1)3--3,
16(4)33--33, 17(1)2--2, 19(3)17--17, 19(3)18--18, 19(3)19--19,
20(4)22--22, 21(3)26--26, 21(4)34--34, 24(3)27--27
-
formulæ, 15(4)33--33, 17(3)20--20, 21(3)19--19
-
formula/literal, 14(3)24--24
-
formulas, always-, 14(4)28--28
-
formulas., 9(4)26--26
-
formulate, 1(1)77--111, 1(2)175--207, 9(4)27--27, 10(1)5--5, 14(4)32--32,
15(1)2--2, 16(4)32--32, 20(4)21--21, 21(4)30--30
-
formulated, 12(2)11--11, 12(2)12--12, 14(4)30--30, 15(2)12--12,
16(3)25--25, 18(4)29--29, 21(3)20--20
-
formulating, 9(3)19--19
-
formulation, 10(3)22--22, 13(1)1--1, 19(3)22--22, 22(1)4--4, 22(3)19--19,
24(1)5--5
-
formula/variable, 14(3)24--24
-
forth, 3(3)418--463
-
forward, 14(3)23--23, 17(2)14--14, 18(2)16--16, 21(3)22--22
-
forward-only, 17(2)14--14
-
found, 9(2)14--14, 19(3)22--22, 20(3)16--16, 20(4)25--25
-
foundation, 9(3)23--23, 14(4)28--28, 16(4)32--32, 18(2)9--9, 19(2)9--9,
19(2)15--15, 19(4)24--24, 20(1)5--5
-
foundation-independent, 19(4)24--24
-
foundation-specific, 19(4)24--24
-
foundational, 9(3)16--16
-
founded, Non-well-, 21(4)31--31
-
Founded, Well-, 14(2)16--16, 17(4)27--27
-
founded, Well-, 12(2)11--11
-
founded, well-, 6(2)295--327, 9(2)14--14, 9(3)18--18,
9(4)27--27, 10(4)29--29, 12(2)17--17, 14(1)3--3, 15(4)32--32,
17(4)27--27, 18(1)5--5
-
four, 12(3)21--21, 14(2)10--10, 16(3)25--25
-
four-valued, 8(3)18--18
-
fourth, 13(3)24--24, 14(4)31--31
-
Foustoucos, Eugenie, 11(2)12--12
-
Foustoucos, Eugenie, see Cosmadakis, Stavros
-
Foustoucos, Eugénie, 6(3)481--518, see Afrati, Foto
-
FP, 16(3)22--22
-
FPC, 23(1)6--6
-
FPL, 9(4)26--26
-
FPR, 23(1)6--6
-
FPT, 18(1)1--1
-
Fpt, 14(3)18--18
-
fraction, 10(1)7--7, 15(1)6--6
-
fractional, 18(3)24--24
-
fragment, 5(1)1--25, 6(2)468--480, 8(4)19--19, 9(2)8--8, 10(1)6--6,
10(3)16--16, 11(3)20--20, 12(1)7--7, 12(2)9--9, 12(2)10--10,
12(2)13--13, 12(3)22--22, 12(4)27--27, 13(2)10--10, 13(2)11--11,
13(2)17--17, 13(4)31--31, 13(4)34--34, 14(1)2--2, 14(1)6--6,
14(2)16--16, 15(1)1--1, 15(1)7--7, 15(1)9--9, 15(3)20--20,
15(3)25--25, 15(4)27--27, 15(4)34--34, 16(1)5--5, 16(1)9--9,
16(2)15--15, 16(3)20--20, 16(3)27--27, 17(1)3--3, 17(1)4--4,
17(2)8--8, 17(2)12--12, 17(3)16--16, 17(3)20--20, 17(4)31--31,
17(4)32--32, 18(1)1--1, 18(1)5--5, 18(1)6--6, 18(2)9--9, 18(3)20--20,
18(3)22--22, 18(4)27--27, 19(1)4--4, 19(2)8--8, 19(3)16--16,
19(3)23--23, 19(4)26--26, 20(4)19--19, 20(4)25--25, 21(3)20--20,
24(1)1--1, 24(4)29--29
-
Fra\"\iss\'e, Ehrenfeucht-, 14(2)8--8, 16(4)28--28
-
Fraïssé-style, Ehrenfeucht-, 18(4)29--29
-
frame, 1(2)247--284, 10(4)27--27, 14(3)24--24, 16(1)9--9, 16(3)27--27,
17(1)2--2, 23(3)15--15
-
frames-summands, 23(3)15--15
-
free, 2(3)388--407, 12(3)21--21, 13(2)11--11, 13(2)15--15, 14(2)10--10,
14(4)25--25, 15(1)1--1, 15(2)14--14, 18(1)3--3, 19(2)13--13,
20(1)2--2, 21(1)1--1, 21(1)4--4, 22(1)4--4, 23(2)13--13
-
free, alternation-, 9(4)26--26, 16(2)16--16
-
free, communication-, 20(3)18--18
-
free, context-, 11(3)20--20, 13(2)12--12, 13(3)19--19,
22(4)22--22, 24(3)24--24
-
free, coordination-, 18(1)5--5
-
free, cut-, 2(3)340--387, 8(4)22--22, 12(3)22--22, 13(1)2--2,
14(4)34--34, 16(3)19--19, 19(2)13--13, 21(3)22--22
-
free, cycle-, 10(1)5--5, 16(2)16--16
-
free, disjunction-, 17(1)7--7
-
free, equality-, 13(1)5--5
-
free, error-, 10(3)16--16
-
free, grid-, 20(3)17--17
-
free, invariant-, 14(4)28--28
-
Free, Quantifier-, 20(4)25--25, 22(2)14--14
-
free, Quantifier-, 15(1)5--5
-
free, quantifier-, 13(3)19--19, 14(2)13--13, 15(1)5--5,
18(4)29--29, 22(2)14--14
-
free, race-, 18(1)3--3
-
free, scale-, 12(1)5--5
-
free, unit-, 6(4)784--842
-
free, variable-, 18(2)17--17
-
Freedom, Livelock-, 20(3)16--16
-
freedom, livelock-, 20(3)16--16
-
freeness, 17(2)11--11
-
free/nonfree, 10(3)20--20
-
freeze, 10(3)16--16, 12(2)10--10, 21(1)5--5
-
Frege, 7(2)199--218, 10(2)14--14, 11(3)19--19, 11(4)22--22, 16(3)19--19,
17(4)26--26, 18(2)11--11, 19(4)29--29, 20(1)1--1, 24(2)10--10
-
Frege, 2-, 19(4)29--29
-
Freisberg, Benjamin, 20(1)2--2
-
Freisberg, Benjamin, see Cabrer, Leonardo M.
-
frequency, 12(2)14--14
-
frequently, 12(1)2--2, 14(4)32--32
-
fresh, 20(4)25--25
-
freshness, 13(2)10--10
-
Friedman, Nir, 1(2)175--207
-
Friedman:2000:FOC, 1(2)175--207
-
Friedmann, Oliver, 16(4)34--34
-
Friedmann:2015:RBI, 16(4)34--34
-
Frigeri, Achille, 15(4)30--30
-
Frigeri:2014:FTL, 15(4)30--30
-
Frittella, Sabine, 20(4)24--24
-
Frittella, Sabine, see Conradie, Willem
-
front, 13(4)30--30
-
Frontier, 23(1)3--3
-
frontiers, 23(1)3--3
-
Frühwirth, Thom, 14(1)1--1, 19(3)22--22,
see Betz, Hariolf, \see{Gall, Daniel
-
fruitfully, 10(4)25--25
-
FT, 14(1)7--7
-
FTA, 12(1)3--3
-
FTL, 15(4)30--30
-
Fuhs, Carsten, 18(2)14--14
-
Fuhs:2017:VPP, 18(2)14--14
-
fulfill, 16(3)25--25
-
full, 1(2)247--284, 9(1)1--1, 9(1)5--5, 13(2)16--16, 15(1)7--7,
15(2)16--16, 15(3)19--19, 15(3)25--25, 15(4)31--31, 16(1)2--2,
16(2)10--10, 16(3)20--20, 17(1)2--2, 17(1)4--4, 17(3)16--16,
18(1)1--1, 18(2)12--12, 20(1)5--5, 20(4)19--19, 22(2)14--14
-
fully, 9(3)16--16, 14(4)27--27, 15(4)34--34, 16(1)1--1, 16(1)5--5,
16(2)18--18, 17(4)23--23, 19(2)12--12, 19(4)28--28, 20(3)13--13,
21(1)2--2, 23(3)19--19
-
function:, 14(4)31--31
-
function-algebra, 10(4)24--24
-
functional, 2(1)93--134, 3(3)402--417, 8(3)14--14, 9(3)23--23,
10(4)27--27, 11(4)28--28, 16(2)13--13, 18(4)32--32, 19(3)22--22,
19(4)28--28, 24(1)4--4
-
functionality, 2(1)93--134, 8(4)19--19, 16(2)12--12
-
functor, 14(1)7--7
-
fundamental, 9(2)13--13, 10(3)19--19, 10(3)20--20, 10(3)21--21,
13(1)2--2, 13(2)10--10, 13(2)15--15, 13(3)24--24, 14(2)15--15,
15(1)1--1, 15(4)34--34, 16(3)22--22, 16(3)25--25, 17(2)10--10,
18(3)25--25, 19(1)1--1, 20(2)8--8, 22(4)21--21
-
Fürer-Immerman, Cai-, 19(2)7--7
-
Furia, Carlo A., 12(1)8--8
-
Furia:2010:TSC, 12(1)8--8
-
furnished, 14(2)14--14
-
furnishes, 14(2)15--15
-
further, 2(1)135--153, 9(4)26--26, 9(4)28--28, 11(4)22--22, 13(3)19--19,
14(2)8--8, 14(3)24--24, 15(1)3--3, 15(2)11--11, 16(3)24--24,
16(4)31--31, 17(1)3--3, 17(2)12--12, 18(1)4--4, 18(4)28--28,
18(4)33--33, 19(2)7--7, 19(2)12--12, 19(2)15--15, 20(3)13--13
-
furthermore, 1(2)175--207, 10(4)28--28, 12(4)26--26, 12(4)29--29,
13(3)19--19, 14(1)1--1, 14(2)15--15, 14(4)32--32, 15(1)1--1,
15(2)13--13, 15(4)35--35, 16(2)11--11, 16(2)15--15, 16(4)29--29,
17(3)22--22, 18(2)10--10, 18(4)28--28, 19(3)22--22, 21(1)5--5,
22(4)24--24
-
Furusawa, Hitoshi, 16(4)30--30, 17(4)28--28
-
Furusawa:2015:CDA, 16(4)30--30
-
Furusawa:2016:TM, 17(4)28--28
-
fusion, 6(1)124--174, 15(2)13--13, 21(1)3--3
-
future, 2(1)12--56, 12(2)14--14, 15(1)9--9, 15(1)10--10, 15(3)25--25,
16(4)32--32, 19(1)5--5, 19(4)28--28, 20(1)4--4, 24(1)4--4
-
future-time, 10(3)16--16
-
fuzzify, 15(4)30--30
-
Fuzziness, 24(3)21--21
-
fuzzy, 1(2)208--246, 2(3)289--339, 9(3)21--21, 13(4)33--33, 15(4)30--30
-
fuzzy-time, 15(4)30--30
-
FV, 16(2)12--12