Index file section I for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
I
-
I, 1(2)175--207
-
I.1.1, 1(1)60--76
-
I.1.3, 1(1)60--76
-
I.2.11, 1(2)208--246, 1(2)247--284
-
I.2.2, 1(1)60--76, 1(1)171--174
-
I.2.3, 1(1)131--161, 1(2)175--207, 1(2)208--246, 2(1)12--56,
2(2)155--181, 2(3)289--339, 2(3)340--387
-
I.2.4, 1(1)131--161, 1(2)175--207, 1(2)208--246, 1(2)247--284,
2(2)182--215, 2(2)255--287, 2(3)289--339
-
I.6.5, 1(1)77--111
-
i.e, 1(1)131--161, 2(1)57--92, 2(2)216--254, 2(3)340--387, 8(4)21--21,
10(1)6--6, 10(3)21--21, 11(3)18--18, 13(1)7--7, 15(2)16--16,
16(1)3--3, 16(3)22--22, 16(3)25--25, 16(3)26--26, 16(4)28--28,
16(4)31--31, 17(1)1--1, 17(1)7--7, 17(2)10--10, 17(3)16--16,
18(2)17--17, 18(3)21--21, 19(3)21--21, 19(4)29--29, 20(1)3--3,
20(2)10--10, 20(3)17--17, 22(4)21--21, 22(4)23--23, 23(4)23--23,
24(1)5--5, 24(4)28--28
-
IA-32, 9(3)16--16
-
Ianni, Giovambattista, 4(2)149--180, 12(2)11--11
-
Ianni, Giovambattista, see Angiulli, Fabrizio,
see Eiter, Thomas
-
Ibaraki, 13(3)23--23
-
icc, 19(3)21--21
-
ID-logic, 9(2)14--14
-
idea, 8(4)20--20, 16(1)3--3, 16(4)32--32, 17(4)26--26, 18(2)12--12,
19(3)19--19
-
ideal, 8(3)14--14, 16(3)22--22
-
ideal-set, 16(3)22--22
-
ideally, 13(2)17--17
-
idempotence, 14(1)1--1
-
idempotent, 20(1)3--3, 21(2)10--10, 24(1)5--5
-
identical, 9(1)4--4, 14(2)8--8
-
identification, 18(3)21--21, 21(3)25--25
-
identified, 12(2)15--15, 15(4)32--32, 16(1)7--7, 17(1)1--1, 18(3)21--21,
18(4)28--28, 23(1)1--1
-
identify, 2(1)93--134, 9(1)7--7, 9(2)13--13, 9(4)26--26, 10(3)20--20,
12(3)21--21, 14(1)2--2, 14(2)10--10, 14(4)27--27, 14(4)33--33,
15(4)30--30, 17(2)10--10, 17(2)11--11, 17(2)12--12, 17(4)27--27,
18(2)16--16, 18(3)21--21, 18(4)28--28, 19(3)17--17, 20(3)13--13,
20(3)16--16, 20(4)21--21, 20(4)25--25
-
identifying, 14(2)15--15, 14(3)24--24, 15(4)28--28, 15(4)35--35,
16(3)25--25, 18(1)3--3, 18(3)21--21, 23(4)23--23
-
identities, quasi-, 20(1)2--2
-
identity, 13(1)3--3, 13(4)30--30, 14(4)27--27, 15(1)7--7, 15(3)21--21,
16(3)23--23, 18(1)7--7, 19(2)15--15
-
idle, 19(4)31--31
-
IDP, 14(4)33--33
-
ieee, 15(2)13--13
-
If, 14(2)12--12
-
IFF, 9(4)29--29
-
iff, 10(4)28--28, 14(3)21--21, 24(4)34--34
-
Igarashi, Atsushi, 18(1)3--3
-
Igarashi, Atsushi, see Kojima, Kensuke
-
Ignjatovic, Aleksandar, 5(2)332--350
-
Ignjatovic:2004:SAL, 5(2)332--350
-
ignorance, 16(1)3--3
-
ignorant, 1(2)247--284
-
II, 7(2)331--362, 8(3)15--15
-
ii, 9(2)9--9, 10(3)20--20, 14(2)10--10, 14(3)19--19, 14(4)27--27,
18(3)21--21, 19(4)29--29, 20(3)13--13, 20(4)25--25
-
III, 8(3)16--16
-
iii, 14(2)10--10, 14(4)27--27, 19(4)29--29
-
ILL, 14(1)6--6
-
ill-defined, 10(1)3--3
-
illustrate, 1(2)285--320, 8(4)23--23, 9(2)14--14, 9(3)22--22,
13(4)33--33, 14(2)16--16, 14(3)20--20, 14(4)29--29, 16(1)3--3,
16(2)16--16, 16(4)29--29, 16(4)32--32, 16(4)33--33, 18(4)31--31,
20(1)1--1, 21(1)2--2
-
illustrated, 1(1)3--32, 10(2)10--10, 18(1)4--4
-
illustrated., 9(1)7--7
-
illustrative, 14(4)28--28
-
image, 15(3)23--23, 24(2)16--16
-
imagined, 16(4)35--35
-
IMLL, 7(3)473--498
-
immediate, 14(3)21--21, 16(1)9--9
-
immediately, 2(2)155--181, 13(3)25--25, 14(2)9--9
-
Immerman, Cai-Fürer-, 19(2)7--7
-
Immerman, Neil, 4(3)296--314
-
Immerman, Neil, see Adler, Micah
-
impact, 9(1)7--7, 13(2)14--14, 16(4)35--35, 19(4)28--28, 20(3)16--16
-
Impagliazzo, 12(1)4--4, 19(4)29--29
-
Impagliazzo, Russell, 7(2)199--218
-
Impagliazzo:2006:CDF, 7(2)199--218
-
imperative, 1(2)208--246, 10(4)26--26, 10(4)28--28, 16(4)34--34
-
imperfect, 19(3)23--23, 20(2)10--10, 22(1)5--5
-
imperfect-information, 22(1)5--5
-
implement, 1(2)285--320, 13(4)33--33, 14(4)32--32, 19(2)10--10,
20(1)5--5, 20(1)6--6, 20(2)12--12, 20(4)19--19
-
implementable, 17(1)4--4
-
implementation, 2(1)93--134, 2(2)182--215, 2(2)255--287, 5(2)351--383,
8(3)14--14, 9(1)6--6, 9(3)17--17, 10(1)1--1, 10(3)19--19, 12(1)5--5,
13(2)13--13, 13(2)14--14, 14(1)4--4, 14(2)10--10, 14(2)12--12,
14(2)14--14, 14(4)32--32, 15(2)12--12, 15(3)20--20, 15(4)28--28,
15(4)31--31, 15(4)32--32, 15(4)33--33, 16(1)5--5, 16(2)12--12,
16(2)16--16, 16(4)29--29, 16(4)32--32, 17(1)6--6, 17(2)11--11,
18(2)14--14, 18(4)26--26, 19(2)13--13, 19(3)22--22, 19(4)24--24,
19(4)28--28, 19(4)31--31, 20(2)12--12, 20(3)16--16, 21(1)2--2,
21(1)5--5
-
implementational, 9(3)17--17
-
implemented, 10(3)15--15, 10(3)20--20, 13(4)29--29, 14(1)3--3, 14(1)4--4,
16(2)12--12, 16(2)16--16, 17(1)3--3, 17(4)23--23, 19(3)19--19,
19(4)28--28
-
implementing, 19(4)24--24
-
implementors, 14(4)29--29
-
implication, 10(1)4--4, 11(4)22--22, 13(3)22--22, 16(1)8--8, 17(2)12--12,
17(2)13--13, 18(1)1--1, 19(2)13--13, 20(3)16--16, 20(4)22--22,
21(3)19--19, 22(4)25--25, 24(2)11--11, 24(4)34--34
-
implicational, 17(2)13--13
-
implicit, 10(2)8--8, 10(4)23--23, 10(4)24--24, 10(4)25--25, 10(4)26--26,
10(4)28--28, 10(4)29--29, 13(2)18--18, 19(3)21--21, 19(4)25--25,
21(1)3--3, 24(4)34--34
-
implicitly, 11(4)27--27, 15(3)20--20
-
implied, 8(4)23--23, 12(2)9--9
-
imply, 7(3)590--612, 8(4)21--21, 10(4)28--28, 11(4)23--23, 13(4)29--29,
14(4)30--30, 16(2)14--14, 18(1)3--3, 20(3)16--16, 20(3)17--17,
21(4)27--27
-
implying, 17(3)19--19
-
importance, 1(1)131--161, 2(2)255--287, 13(4)29--29, 15(1)5--5,
18(2)13--13, 20(2)8--8
-
important, 1(2)175--207, 9(1)7--7, 9(3)22--22, 9(4)25--25, 10(1)4--4,
10(1)5--5, 10(3)17--17, 12(1)7--7, 12(2)11--11, 12(4)24--24,
12(4)25--25, 12(4)26--26, 14(3)24--24, 14(4)32--32, 14(4)33--33,
15(1)5--5, 15(1)7--7, 15(4)34--34, 16(2)12--12, 16(4)30--30,
16(4)31--31, 16(4)34--34, 17(1)5--5, 18(2)10--10, 18(2)15--15,
18(2)17--17, 18(4)31--31, 19(1)1--1, 19(2)7--7, 19(2)12--12,
19(2)13--13, 19(4)24--24, 19(4)30--30, 21(1)6--6, 23(3)18--18,
24(2)10--10
-
Importantly, 14(3)22--22
-
importing, 12(2)17--17
-
impose, 18(2)10--10, 20(3)15--15
-
imposed, 12(1)5--5, 12(4)24--24
-
imposing, 10(2)8--8, 20(4)25--25
-
impossible, 16(1)1--1, 19(2)7--7, 20(2)9--9
-
imprecise, 10(1)5--5, 15(4)30--30
-
improve, 8(4)23--23, 9(4)28--28, 13(1)4--4, 13(2)17--17, 13(4)29--29,
18(2)13--13, 19(2)8--8, 19(2)13--13, 20(3)15--15
-
improved, 9(3)19--19, 12(1)5--5, 13(2)12--12, 15(1)2--2
-
improvement, 15(1)2--2, 18(4)28--28, 20(3)15--15
-
improving, 9(3)16--16
-
in, built-, 10(1)4--4
-
in, condition-, 19(4)25--25
-
in-Parallel, May-Happen-, 17(2)11--11
-
in-parallel, may-happen-, 17(2)11--11
-
inaccuracy, 10(3)19--19, 10(3)22--22
-
inaccurate, 15(2)12--12
-
Inadequacy, 2(1)1--11
-
inappropriate, 1(2)175--207, 10(3)17--17
-
incarnation, 14(4)32--32
-
incidence, 14(3)18--18
-
incident, 12(2)12--12
-
include, 8(4)20--20, 9(1)4--4, 9(1)6--6, 9(2)14--14, 10(1)2--2,
13(4)30--30, 13(4)34--34, 14(4)30--30, 14(4)32--32, 15(1)7--7,
15(4)32--32, 15(4)34--34, 16(4)30--30, 17(2)8--8, 17(3)22--22,
19(1)4--4, 19(3)20--20, 20(4)21--21, 21(4)27--27
-
included, 16(4)34--34
-
including, 8(4)19--19, 9(1)4--4, 9(3)22--22, 10(1)4--4, 10(2)13--13,
10(3)19--19, 11(3)17--17, 13(2)12--12, 14(1)5--5, 14(1)7--7,
14(2)14--14, 14(3)24--24, 15(1)2--2, 15(4)26--26, 16(3)23--23,
16(3)24--24, 17(1)3--3, 17(4)23--23, 17(4)32--32, 18(2)12--12,
18(2)13--13, 19(1)4--4, 19(1)5--5, 19(2)7--7, 19(4)24--24,
19(4)26--26, 19(4)27--27, 20(1)2--2, 20(2)7--7, 20(3)16--16,
20(4)19--19, 20(4)22--22, 23(2)9--9, 24(1)1--1
-
inclusion, 9(3)22--22, 11(4)23--23, 12(1)6--6, 12(2)10--10, 15(3)25--25,
16(4)33--33, 16(4)34--34, 17(3)21--21, 18(3)24--24, 19(1)2--2,
19(1)3--3, 19(3)16--16, 21(1)7--7, 22(4)22--22, 23(1)3--3,
24(4)34--34
-
inclusion, language-, 11(4)23--23
-
inclusion-checking, 16(4)34--34
-
incomparable, 2(2)216--254, 17(2)10--10, 20(1)4--4
-
incomplete, 10(1)3--3, 11(3)16--16, 12(4)29--29, 13(2)13--13,
14(3)17--17, 15(1)4--4, 15(2)12--12, 16(3)27--27, 18(4)27--27,
20(4)25--25, 22(1)3--3, 22(4)21--21, 24(1)2--2
-
incompletely, 10(3)17--17
-
incompleteness, 4(3)379--401
-
inconsistency, 8(3)18--18, 17(4)26--26
-
inconsistent, 16(1)7--7, 17(1)2--2, 18(1)6--6, 21(1)3--3
-
incorporate, 13(3)21--21, 16(4)32--32
-
incorporated, 18(3)24--24
-
incorporating, 8(3)18--18, 8(4)24--24, 14(2)15--15
-
incorporation, 14(2)15--15
-
incorrect, 8(4)20--20
-
increase, 2(3)340--387, 10(3)16--16, 10(4)27--27, 11(3)16--16, 13(1)4--4,
13(4)32--32, 14(1)3--3, 14(2)14--14, 14(3)22--22, 15(4)31--31,
17(2)11--11
-
increased, 15(4)30--30, 16(3)21--21, 20(4)20--20
-
increasing, 1(2)208--246, 2(1)57--92, 2(1)135--153, 10(4)29--29,
13(3)24--24, 17(2)13--13, 17(3)20--20, 19(1)6--6, 19(4)29--29
-
increasing, ever-, 23(3)19--19
-
increasing, non-size-, 3(3)383--401
-
increasingly, 14(2)10--10, 23(1)4--4
-
incremental, 2(4)495--525, 9(1)1--1, 10(2)11--11, 19(3)19--19
-
incrementally, 10(2)10--10, 19(3)19--19
-
IND-CCA1, 21(1)2--2
-
IND-CCA2, 21(1)2--2, 22(1)3--3
-
IND-CPA, 21(1)2--2
-
indeed, 10(3)20--20, 11(4)26--26, 12(1)3--3, 15(4)34--34, 16(1)8--8,
16(4)31--31, 17(4)29--29
-
indefinite, 9(1)1--1
-
indefinitely, 9(3)17--17
-
independence, 4(4)431--451, 13(2)13--13, 17(2)10--10, 19(1)2--2,
23(1)3--3, 23(2)13--13
-
independent, 2(3)408--429, 9(3)18--18, 11(3)20--20, 14(3)22--22,
18(2)16--16, 18(3)23--23, 19(2)13--13, 20(4)19--19, 24(1)4--4,
24(4)30--30
-
independent, foundation-, 19(4)24--24
-
independent, machine-, 18(3)20--20
-
independently, 9(1)2--2, 10(1)3--3, 10(4)25--25, 12(4)28--28, 18(1)1--1,
19(4)24--24
-
indeterminates, 19(4)25--25
-
index, 14(4)25--25, 15(1)10--10, 17(4)24--24, 22(4)25--25, 24(2)11--11
-
indexed, 9(1)4--4, 23(3)15--15
-
indexed, agent-, 14(4)34--34
-
indexing, 11(1)6--6
-
indicate, 9(3)17--17, 15(4)33--33, 17(2)9--9, 17(4)29--29
-
indifferent, 16(4)33--33
-
indispensable, 22(4)23--23
-
indistinguishability, 17(4)23--23, 21(1)2--2, 22(1)3--3
-
individual, 8(4)20--20, 9(1)7--7, 10(1)1--1, 11(3)16--16, 12(4)24--24,
14(2)10--10, 15(1)7--7, 16(4)33--33, 16(4)35--35, 20(1)5--5
-
individually, 23(2)10--10
-
indivisible, 19(2)13--13
-
induce, 2(3)408--429, 8(3)18--18, 20(4)22--22
-
induced, 16(1)4--4, 16(3)25--25, 16(4)33--33, 17(2)10--10, 17(4)25--25,
18(3)21--21, 20(4)19--19
-
induction, 6(2)203--231, 9(2)14--14, 10(2)10--10, 11(4)27--27,
12(4)23--23, 15(3)21--21, 16(4)35--35, 18(2)14--14, 22(2)10--10
-
inductionless, 11(4)27--27
-
Inductions, Set-, 17(4)27--27
-
inductive, 2(4)458--494, 2(4)623--654, 9(2)14--14, 10(3)20--20,
14(3)17--17, 16(2)18--18, 16(3)23--23, 17(4)29--29, 21(4)31--31,
24(1)1--1
-
inductively, 18(3)19--19
-
industrial, 9(3)20--20, 20(4)20--20
-
inefficient, 10(3)20--20
-
inequality, 7(4)723--748, 9(3)22--22, 13(4)34--34, 16(1)6--6,
16(3)27--27
-
inequational, 22(2)10--10
-
inequations, 9(2)11--11, 18(1)4--4
-
inertia, 16(2)11--11
-
inessential, 1(1)60--76
-
inevitably, 16(4)33--33
-
inexact, 14(3)22--22
-
inexpressibility, 11(3)15--15
-
inf, sup-, 12(4)28--28
-
infeasible, 15(2)14--14
-
infer, 9(3)17--17, 14(3)22--22, 17(2)11--11, 18(4)29--29
-
inference, 1(1)60--76, 1(1)131--161, 2(3)340--387, 3(4)521--541,
7(2)219--260, 8(1)z--z, 8(3)18--18, 8(4)19--19, 9(1)3--3, 9(1)7--7,
9(4)25--25, 9(4)27--27, 10(1)4--4, 10(2)14--14, 13(3)23--23,
14(2)15--15, 14(3)17--17, 14(3)22--22, 14(3)24--24, 15(4)33--33,
16(4)32--32, 17(3)21--21, 19(1)5--5, 19(1)6--6, 19(2)13--13,
20(2)8--8, 20(4)19--19, 20(4)23--23, 22(1)3--3, 22(2)13--13
-
inference, Deep-, 10(2)14--14
-
inference, deep-, 10(2)14--14
-
inferencers, 20(1)6--6
-
Inferential, 18(2)8--8
-
inferred, 9(3)17--17, 16(1)3--3, 19(4)31--31
-
inferring, 9(3)17--17, 15(4)33--33
-
infinitary, 1(1)33--59, 1(2)175--207, 2(1)135--153, 17(3)21--21,
18(3)18--18, 22(2)10--10
-
infinite, 2(1)135--153, 2(3)408--429, 5(3)403--435, 9(2)10--10,
10(3)16--16, 11(4)23--23, 12(1)2--2, 12(2)10--10, 12(3)18--18,
12(3)19--19, 12(4)27--27, 12(4)28--28, 13(1)2--2, 13(4)30--30,
13(4)31--31, 14(3)19--19, 14(4)30--30, 14(4)33--33, 15(1)8--8,
15(2)16--16, 15(3)24--24, 15(4)27--27, 15(4)35--35, 16(1)8--8,
16(2)17--17, 16(3)27--27, 16(4)33--33, 16(4)34--34, 16(4)36--36,
17(2)14--14, 17(3)16--16, 17(4)24--24, 17(4)25--25, 17(4)28--28,
18(2)9--9, 18(3)18--18, 18(3)23--23, 18(3)25--25, 18(4)31--31,
19(3)17--17, 20(2)9--9, 20(2)11--11, 20(3)17--17, 21(2)10--10,
21(3)17--17, 22(1)7--7, 22(2)12--12, 22(3)16--16, 23(3)20--20
-
infinite-memory, 19(3)23--23
-
infinite-state, 9(1)4--4, 12(1)2--2, 15(4)26--26
-
infinitely, 14(3)19--19, 15(2)16--16, 21(2)16--16, 21(3)17--17
-
infinitum, 18(3)25--25
-
infinity, 9(4)26--26, 19(3)20--20
-
inflationary, 5(2)282--315, 9(2)14--14
-
influence, 9(4)27--27, 14(3)24--24, 19(4)28--28
-
influenced, 9(2)14--14
-
infon, 12(2)9--9
-
informal, 12(2)15--15
-
informally, 14(2)14--14, 17(3)18--18
-
information, 1(2)208--246, 1(2)247--284, 2(1)57--92, 2(3)388--407,
8(3)15--15, 8(3)16--16, 8(4)23--23, 8(4)24--24, 12(2)9--9,
12(4)29--29, 13(3)22--22, 13(4)28--28, 14(3)24--24, 15(2)12--12,
15(2)16--16, 15(4)30--30, 15(4)33--33, 16(1)3--3, 16(1)8--8,
16(2)11--11, 16(4)32--32, 17(2)9--9, 17(2)11--11, 18(2)12--12,
18(4)32--32, 19(2)12--12, 19(3)23--23, 19(4)28--28, 20(2)10--10,
20(4)20--20, 21(1)3--3, 22(1)5--5, 22(2)13--13, 24(1)2--2,
24(3)26--26, 24(4)33--33
-
information, imperfect-, 22(1)5--5
-
information, perfect-, 22(3)16--16
-
information-theoretic, 14(3)20--20, 19(4)26--26
-
informative, 8(4)21--21
-
\infty, 23(1)2--2
-
ingenuity, 15(4)35--35
-
Ingolfsdottir, Anna, 10(1)6--6
-
Ingolfsdottir, Anna, see Aceto, Luca
-
Ingólfsdóttir, Anna, 23(4)22--22, see Aceto, Luca
-
ingredient, 19(4)25--25
-
inhabited, 22(3)15--15
-
inherent, 10(4)25--25, 20(4)23--23
-
inherently, 15(4)30--30, 16(1)9--9, 16(4)28--28, 19(4)29--29
-
inherit, 13(2)16--16, 14(4)32--32, 17(2)8--8, 19(4)24--24, 23(3)15--15
-
inhibited, 20(4)20--20
-
inhomogeneous, time-, 20(4)19--19
-
initial, 1(2)247--284, 10(3)22--22, 13(1)2--2, 13(2)15--15, 14(2)16--16,
18(2)16--16, 18(3)18--18, 18(4)27--27, 19(4)30--30
-
initially, 1(2)247--284
-
initiate, 23(3)17--17
-
initiated, 11(4)22--22
-
injecting, 18(1)4--4
-
injective, 20(1)2--2
-
inner, 16(2)15--15
-
innermost, 10(2)10--10
-
innovation, 14(2)10--10
-
Inoue, Katsumi, 9(2)9--9
-
Inoue, Katsumi, see Sakama, Chiaki
-
inprocessing, 24(1)7--7
-
input, 1(1)131--161, 2(2)216--254, 8(4)20--20, 9(1)3--3, 9(3)21--21,
10(4)28--28, 11(3)15--15, 11(4)26--26, 12(4)26--26, 13(1)9--9,
13(4)30--30, 14(1)4--4, 14(2)16--16, 14(3)18--18, 14(3)22--22,
14(3)24--24, 14(4)25--25, 15(2)15--15, 15(3)24--24, 16(1)1--1,
16(1)6--6, 16(1)9--9, 16(3)23--23, 16(4)32--32, 17(1)4--4, 17(1)7--7,
17(2)8--8, 18(2)11--11, 18(3)19--19, 18(3)21--21, 19(2)10--10,
19(2)14--14, 19(4)28--28, 20(2)8--8, 20(3)14--14, 21(2)9--9,
21(3)24--24, 22(1)7--7, 23(1)7--7, 24(2)17--17, 24(3)25--25,
24(4)33--33
-
\input bibnames.sty}, 0(0)0--0
-
input-based, 8(3)17--17
-
input-output, 19(4)28--28
-
input/output, 10(2)11--11
-
inputting, 20(2)11--11
-
insecurity, 9(4)24--24
-
insensitivity, 13(1)1--1
-
inseparability, 2(1)1--11, 18(2)16--16
-
inserted, 15(4)35--35
-
insertion, 17(3)16--16, 18(4)27--27
-
inside, 15(3)23--23, 15(4)35--35, 18(3)24--24
-
insight, 9(3)20--20, 11(3)16--16, 15(4)26--26, 17(4)29--29, 18(2)8--8
-
insightful, 16(2)15--15
-
inspect, 9(3)17--17
-
inspired, 10(4)24--24, 13(2)18--18, 18(1)4--4, 19(1)6--6, 19(4)25--25
-
Inspired, SAT-, 24(1)7--7
-
instance, 2(3)340--387, 8(4)24--24, 9(4)25--25, 10(1)1--1, 10(3)20--20,
13(2)12--12, 14(1)2--2, 14(3)18--18, 14(4)27--27, 18(1)5--5,
18(3)21--21, 18(4)27--27, 18(4)29--29, 19(4)27--27, 20(1)1--1,
20(1)3--3, 20(3)15--15, 20(4)25--25, 21(1)6--6, 21(2)8--8,
21(4)27--27, 23(2)11--11
-
instantaneously, 15(4)31--31
-
instantiable, 13(2)10--10
-
instantiate, 15(2)14--14, 15(4)35--35, 19(4)24--24
-
instantiated, 10(2)10--10
-
instantiation, 11(3)20--20, 13(2)10--10, 14(2)11--11
-
instantiation-based, 9(4)28--28, 14(2)11--11
-
instead, 9(4)25--25, 10(1)7--7, 11(4)23--23, 13(1)2--2, 14(4)29--29,
15(3)20--20, 15(4)33--33, 15(4)35--35, 16(4)34--34, 17(1)7--7,
17(2)13--13, 18(1)7--7, 18(3)19--19, 19(2)7--7, 22(2)10--10,
23(3)16--16
-
instruction, 2(1)93--134, 10(4)29--29, 18(1)3--3
-
instrumental, 13(2)16--16, 14(1)1--1, 14(4)26--26
-
instruments, 14(2)15--15
-
insufficiency, 24(2)18--18
-
integer, 6(3)614--633, 8(4)21--21, 9(1)2--2, 10(1)2--2, 10(1)4--4,
12(1)2--2, 12(1)7--7, 12(2)12--12, 13(4)33--33, 14(2)10--10,
14(3)19--19, 18(2)14--14, 19(2)8--8, 19(2)10--10, 20(3)14--14,
20(4)25--25, 23(2)12--12, 24(4)32--32
-
integer-valued, 10(3)22--22
-
integral, 14(4)33--33
-
integrate, 14(2)15--15, 23(4)26--26
-
integrated, 14(2)16--16, 20(1)6--6
-
integration, 15(3)23--23, 17(2)9--9, 18(2)8--8, 20(4)20--20
-
integrity, 14(2)14--14, 16(1)7--7, 18(4)27--27, 22(1)6--6
-
intelligence, 1(1)60--76, 1(1)131--161, 1(1)171--174, 1(2)175--207,
1(2)208--246, 1(2)247--284, 2(1)12--56, 2(2)155--181, 2(2)182--215,
2(2)255--287, 2(3)289--339, 2(3)340--387, 14(2)13--13, 14(4)30--30,
19(1)4--4, 24(1)9--9
-
intelligence-related, 7(3)590--612
-
Intelligent, 1(2)208--246
-
intended, 13(3)22--22, 17(4)27--27, 24(1)9--9
-
intensional, 9(2)8--8
-
intensionality, 10(4)27--27
-
Intensive, 16(4)31--31
-
intentionally, 15(2)12--12
-
intentions, 20(4)21--21
-
inter-dependencies, 20(4)22--22
-
interact, 1(1)77--111, 1(2)208--246, 8(3)15--15, 8(3)16--16, 14(2)9--9,
16(4)30--30, 18(3)19--19
-
interacting, 13(2)11--11, 13(4)28--28
-
interaction, 4(4)530--577, 8(1)z--99999999, 8(3)14--14, 8(3)15--15,
8(3)16--16, 9(4)29--29, 10(1)1--1, 10(2)8--8, 10(3)19--19,
10(4)25--25, 12(3)20--20, 12(4)23--23, 13(4)28--28, 15(4)34--34,
16(4)33--33, 18(3)19--19, 19(3)21--21, 19(4)25--25, 20(1)5--5,
24(2)17--17
-
interactive, 7(2)363--419, 8(3)15--15, 8(3)16--16, 12(2)16--16,
13(2)11--11, 14(3)17--17, 14(4)26--26, 15(1)1--1, 15(4)31--31,
15(4)35--35, 16(4)35--35, 21(1)2--2
-
interdefinability, 19(2)12--12
-
interest, 1(2)247--284, 2(3)408--429, 8(4)24--24, 9(3)18--18, 12(1)7--7,
13(1)1--1, 13(1)7--7, 13(2)16--16, 14(2)10--10, 14(4)30--30,
16(1)1--1, 16(1)4--4, 16(1)6--6, 16(2)12--12, 16(3)25--25,
18(3)23--23, 21(3)26--26, 22(1)2--2
-
interested, 14(2)12--12, 14(4)31--31
-
interesting, 9(1)7--7, 9(4)26--26, 13(3)25--25, 13(4)30--30, 14(2)11--11,
14(2)14--14, 14(3)24--24, 15(1)1--1, 15(1)9--9, 15(3)18--18,
16(1)1--1, 16(3)22--22, 18(1)2--2, 19(2)7--7, 19(3)18--18,
19(4)28--28, 20(3)14--14
-
interface, 8(3)14--14, 11(3)16--16
-
interface, user-, 9(3)17--17
-
interior, 13(3)23--23, 14(2)13--13
-
interleaving, 18(1)3--3, 19(4)28--28, 20(3)16--16
-
intermediate, 9(1)6--6, 13(4)29--29, 20(4)20--20
-
intermittently, 14(4)33--33
-
internal, 9(2)13--13, 15(2)13--13, 15(3)21--21, 23(3)18--18, 24(3)26--26
-
internalised, 16(4)35--35
-
Internet, 23(3)19--19
-
Interoperability, 1(2)208--246
-
interoperation, 20(4)20--20
-
interpolant, 12(1)7--7, 15(1)5--5, 17(2)8--8, 24(4)28--28, 24(4)34--34
-
interpolate, 12(1)7--7
-
interpolating, 15(1)5--5
-
interpolation, 8(4)19--19, 12(1)7--7, 15(1)5--5, 17(2)8--8, 24(4)28--28,
24(4)34--34
-
interpret, 2(1)93--134, 10(3)18--18, 13(2)11--11, 14(4)34--34, 17(1)5--5
-
interpretability, pp-, 20(1)1--1
-
interpretable, 14(2)8--8
-
interpretation, 2(1)93--134, 2(2)216--254, 3(4)562--603, 9(1)4--4,
9(3)17--17, 10(2)12--12, 11(3)19--19, 11(4)28--28, 12(3)18--18,
12(3)22--22, 13(1)3--3, 13(2)11--11, 13(3)21--21, 14(2)14--14,
14(3)17--17, 15(4)30--30, 16(3)23--23, 16(3)25--25, 16(4)31--31,
17(3)15--15, 19(2)15--15, 19(4)25--25, 20(4)24--24, 21(4)28--28,
21(4)29--29, 22(3)15--15, 22(4)22--22, 23(2)9--9
-
interpretation, quasi-, 10(4)27--27
-
interpretation, sup-, 10(4)27--27
-
Interpretation-Based, 18(1)7--7
-
interpretations, quasi-, 10(4)27--27
-
interpretations, Sup-, 10(4)27--27
-
interpretations, sup-, 10(4)27--27
-
interpreted, 9(4)27--27, 10(1)7--7, 14(2)13--13, 14(4)29--29, 15(1)4--4,
15(3)25--25, 16(1)2--2, 16(2)16--16, 16(3)25--25, 16(3)26--26,
16(3)27--27, 17(4)31--31, 18(2)15--15, 19(2)8--8, 19(3)18--18,
20(1)4--4, 20(2)10--10, 24(2)12--12
-
interpreting, 22(4)25--25, 24(2)11--11
-
intersecting, 23(4)24--24
-
intersection, 9(3)22--22, 11(4)25--25, 13(1)4--4, 13(3)26--26,
15(2)13--13, 15(3)24--24, 17(4)28--28, 19(1)3--3, 22(3)15--15,
23(4)24--24
-
intersection-type, 4(1)120--147
-
interthread, 12(2)14--14
-
intertranslatability, 18(2)9--9
-
interval, 5(4)732--767, 8(4)24--24, 12(3)18--18, 16(2)15--15,
17(3)15--15, 18(3)22--22, 20(1)4--4, 24(3)24--24
-
Interval-Rigid, 21(4)30--30
-
interval-wise, 20(1)4--4
-
intractability, 11(2)12--12, 18(3)21--21, 20(4)23--23
-
intractable, 10(3)17--17, 12(2)13--13, 13(3)23--23, 14(1)2--2, 14(1)3--3,
14(2)12--12, 15(1)9--9, 18(3)21--21, 21(2)11--11
-
intractably, 8(4)20--20
-
intractive, 8(3)15--15
-
intranslatable, 18(2)9--9
-
intrathread, 12(2)14--14
-
intricate, 16(3)24--24
-
intricately, 20(4)22--22
-
intrinsic, 8(3)14--14
-
intrinsically, 15(4)34--34
-
introduce, 1(1)33--59, 2(1)12--56, 2(1)57--92, 2(2)182--215,
2(3)289--339, 8(3)18--18, 9(1)5--5, 9(3)18--18, 9(3)20--20,
9(3)21--21, 9(4)27--27, 10(1)4--4, 10(1)5--5, 10(2)10--10,
10(2)11--11, 10(3)19--19, 10(4)28--28, 11(3)15--15, 11(4)23--23,
11(4)26--26, 12(1)4--4, 12(2)12--12, 12(2)14--14, 12(3)21--21,
13(1)3--3, 13(1)5--5, 13(2)14--14, 13(2)18--18, 13(3)22--22,
13(3)26--26, 13(4)33--33, 13(4)34--34, 14(2)8--8, 14(2)15--15,
14(3)18--18, 15(1)8--8, 15(2)12--12, 15(2)14--14, 15(2)15--15,
15(4)27--27, 15(4)34--34, 15(4)35--35, 16(1)3--3, 16(2)11--11,
16(2)14--14, 16(4)31--31, 16(4)33--33, 17(1)5--5, 17(3)22--22,
18(2)15--15, 18(3)19--19, 18(4)28--28, 18(4)31--31, 19(1)1--1,
19(1)3--3, 19(1)6--6, 19(2)7--7, 19(2)14--14, 19(3)17--17,
19(3)18--18, 19(3)20--20, 20(2)7--7, 20(3)13--13, 20(4)25--25,
21(1)2--2, 21(3)18--18, 22(1)1--1, 22(1)5--5, 22(3)20--20,
23(4)21--21, 24(2)13--13, 24(3)24--24, 24(3)27--27
-
introduced, 1(1)33--59, 2(1)93--134, 9(4)25--25, 10(3)19--19,
10(3)22--22, 10(4)27--27, 11(4)27--27, 12(2)11--11, 12(3)22--22,
13(2)17--17, 13(3)23--23, 13(4)30--30, 14(4)28--28, 15(1)1--1,
15(1)2--2, 15(3)21--21, 15(4)26--26, 15(4)28--28, 15(4)30--30,
15(4)31--31, 15(4)34--34, 16(1)8--8, 18(1)1--1, 19(4)29--29,
20(1)4--4, 21(1)2--2, 23(3)17--17, 23(3)18--18
-
introducing, 1(1)33--59, 2(1)93--134, 8(4)20--20, 10(2)8--8, 10(3)18--18,
14(3)23--23, 15(3)24--24, 16(4)33--33, 18(3)25--25, 19(2)12--12,
21(1)2--2, 22(1)4--4
-
introduction, 9(2)9--9, 14(4)29--29, 20(2)7--7, 21(1)2--2, 22(3)19--19
-
intruder, 9(4)24--24, 14(1)4--4
-
intuition, 11(3)19--19, 12(1)6--6, 13(1)1--1, 15(4)35--35
-
intuitionism, 3(1)1--41
-
intuitionistic, 3(1)137--175, 6(3)519--538, 9(3)23--23, 10(2)12--12,
12(2)9--9, 13(2)14--14, 13(3)22--22, 14(1)6--6, 14(4)34--34,
15(3)21--21, 16(1)8--8, 16(4)35--35, 20(4)24--24, 21(1)4--4,
21(2)14--14, 21(3)22--22, 24(2)11--11, 24(2)13--13
-
intuitionistic, bi-, 24(2)13--13
-
intuitionistic, super-, 16(4)35--35
-
intuitive, 8(4)24--24, 19(2)12--12
-
intuitively, 15(4)34--34, 15(4)35--35, 20(2)10--10
-
intutionistic, 10(2)12--12
-
InvA, 24(1)5--5
-
invalid, 12(1)1--1
-
invalidate, 18(1)3--3
-
invariance, 9(2)13--13, 14(4)33--33
-
invariance, isomorphism-, 19(2)7--7
-
invariance, Order-, 18(4)33--33
-
invariant, 1(1)60--76, 1(1)171--174, 2(1)1--11, 9(1)4--4, 15(3)22--22,
16(3)24--24, 17(1)5--5, 17(4)25--25, 18(3)19--19, 19(3)23--23,
19(4)27--27, 23(2)9--9, 24(1)5--5, 24(1)6--6
-
invariant, bisimulation-, 19(3)23--23
-
invariant, isomorphism-, 19(2)7--7
-
Invariant, Order-, 18(4)33--33
-
invariant, order-, 1(1)112--130, 18(4)33--33
-
invariant, time-, 9(2)13--13
-
invariant-free, 14(4)28--28
-
invent, 19(2)8--8
-
inverse, 2(2)182--215, 9(4)25--25, 15(1)7--7, 21(3)22--22
-
inverted, 2(2)182--215
-
invertibility, 15(3)21--21
-
invertible, 9(3)21--21, 15(3)21--21
-
invertible, non-, 15(3)21--21
-
investigate, 1(2)175--207, 2(2)255--287, 9(2)10--10, 9(2)13--13,
9(3)23--23, 11(3)16--16, 11(3)18--18, 11(3)20--20, 11(4)28--28,
12(1)2--2, 12(2)9--9, 13(3)19--19, 13(3)23--23, 13(3)24--24,
13(3)25--25, 13(4)34--34, 14(1)7--7, 14(2)11--11, 14(2)14--14,
14(2)15--15, 14(3)18--18, 14(3)20--20, 15(1)9--9, 15(3)25--25,
15(4)27--27, 15(4)34--34, 16(2)15--15, 16(4)29--29, 16(4)33--33,
17(2)10--10, 17(2)13--13, 17(2)14--14, 17(3)22--22, 17(4)24--24,
18(1)5--5, 18(2)15--15, 18(3)22--22, 20(2)10--10, 20(3)16--16,
21(1)3--3, 21(1)7--7, 21(3)19--19, 21(4)32--32, 22(2)8--8,
24(3)24--24
-
investigated, 9(1)7--7, 12(1)1--1, 13(3)19--19, 13(3)25--25, 15(4)34--34,
17(4)32--32
-
investigating, 18(1)1--1
-
investigation, 11(4)22--22, 12(4)26--26, 17(1)5--5, 17(4)28--28
-
invisible, 15(2)16--16, 22(2)13--13
-
invocation, 15(4)31--31
-
invoked, 17(2)11--11
-
involutive, 20(1)2--2
-
involve, 2(3)408--429, 10(1)2--2, 12(2)16--16, 13(3)25--25, 13(4)29--29,
14(2)8--8, 15(1)10--10, 15(4)33--33, 16(4)31--31, 19(2)15--15,
20(3)14--14
-
involved, 10(3)19--19, 12(2)9--9, 13(4)29--29
-
involving, 1(1)3--32, 11(4)24--24, 13(2)12--12, 13(4)29--29, 16(3)23--23,
21(1)6--6, 23(3)20--20
-
Iocchi, Luca, 10(1)5--5
-
Iocchi:2009:RAA, 10(1)5--5
-
Iosif, Radu, 21(3)19--19
-
Iosif, Radu, see Echenim, Mnacho
-
IPC, 21(1)4--4
-
IR-calc, 19(1)1--1
-
Irfan, Ahmed, 19(3)19--19
-
Irfan, Ahmed, see Cimatti, Alessandro
-
irreflexive, 18(3)22--22
-
irrespective, 16(4)29--29
-
is, 9(4)25--25
-
is, operator-, 17(2)14--14
-
Isabelle, 1(1)3--32, 9(1)2--2, 19(4)27--27
-
Isabelle/HOL, 12(2)15--15, 16(4)30--30
-
isometry, 19(4)25--25
-
isomorphic, 17(2)10--10, 20(2)9--9
-
isomorphism, 2(1)135--153, 9(2)8--8, 11(4)25--25, 17(2)10--10, 19(2)7--7,
20(2)9--9, 24(1)6--6, 24(3)23--23
-
isomorphism-invariance, 19(2)7--7
-
isomorphism-invariant, 19(2)7--7
-
issue, 1(2)175--207, 2(3)340--387, 4(3)295--295, 6(4)674--674,
9(3)20--20, 10(4)23--23, 11(4)21--21, 12(1)1--1, 12(2)11--11,
13(1)3--3, 13(2)18--18, 14(3)24--24, 15(2)11--11, 16(2)11--11,
16(4)31--31, 16(4)33--33, 21(1)3--3
-
issued, 12(2)16--16
-
issuing, 12(2)16--16
-
it, recursion-, 1(1)33--59
-
iterable, 24(3)27--27
-
iterated, 9(2)14--14, 12(1)2--2, 22(2)8--8, 24(3)27--27
-
iterates, 22(4)22--22
-
iterating, 11(4)26--26
-
iteration, 9(1)1--1, 10(4)26--26, 11(4)26--26, 13(2)13--13, 14(3)22--22,
15(4)33--33, 16(4)30--30, 17(4)28--28, 20(4)25--25, 21(1)4--4
-
iterative, 9(1)1--1, 13(4)32--32, 14(1)3--3
-
iteratively, 13(4)32--32, 20(4)25--25
-
itself, 8(3)14--14, 10(2)8--8, 11(4)27--27, 16(3)25--25
-
Itsykson, 19(4)29--29
-
Itsykson, Dmitry, 22(4)26--26
-
Itsykson, Dmitry, see Buss, Sam
-
IV, 12(4)23--23
-
iv, 14(2)10--10