Last update: Fri Jul 5 02:00:41 MDT 2024
Return to index directory
I
-
I-SATCHMO, 27(3)313--322
-
Iancu, Mihnea, 50(2)191--202
-
Iancu:2013:MML, 50(2)191--202
-
Ibens, Ortrun, 18(2)237--246
-
Ibens, Ortrun, see Moser, Max
-
Iborra, José, 58(3)391--411
-
Iborra:2017:RTD, 58(3)391--411
-
ICE-Based, 64(7)1393--1418
-
ID, 65(8)1125--1151
-
ideal, 30(2)153--177
-
idempotence, 2(3)277--281
-
idempotent, 2(3)283--286
-
Identification, 14(3)427--462
-
identifying, 8(3)395--419
-
identity, 6(1)79--109, 17(2)215--257, 66(3)301--329, 67(4)z--99999999,
68(2)z--99999999
-
IEAash, 20(3)387--387
-
IEC, 60(1)63--84
-
Igarashi, Atsushi, 60(3)279--298
-
Igarashi, Atsushi, see Kojima, Kensuke
-
II, 15(2)167--215, 22(2)171--221, 25(4)247--289, 64(8)1611--1662,
64(8)1685--1729
-
II, Leo-, 55(4)389--404
-
III, 52(1)1--29
-
III, Leo-, 65(6)775--807
-
IJCAR, 28(3)307--320, 40(2)87--88, 47(4)337--339, 64(7)1165--1167,
66(3)275--276
-
Illustrated, 62(4)505--530
-
ILTP, 38(1)261--271
-
Imanishi, Akifumi, 60(3)279--298
-
Imanishi, Akifumi, see Kojima, Kensuke
-
Immler, Fabian, 61(1)73--111, 62(2)215--236
-
Immler:2018:VOS, 61(1)73--111
-
Immler:2019:FOF, 62(2)215--236
-
Impact, 58(4)413--481
-
Imperative, 59(1)3--45, 62(4)481--503
-
implement, 9(3)309--354
-
implementation, 1(2)161--208, 4(4)353--380, 5(4)461--492, 13(3)409--421,
26(2)107--137, 27(1)3--27, 29(3)365--387, 33(3)319--339,
37(1)21--43, 42(2)349--388, 43(1)81--119, 62(3)331--365,
64(3)363--389, 64(4)699--735, 64(8)1611--1662
-
implemented, 21(2)233--275, 43(3)305--336
-
implementing, 7(4)597--630, 8(1)23--38, 11(1)43--81, 24(1)277--296,
36(4)289--310, 53(3)271--304
-
Implicants, 22(2)149--170
-
Implicantsash, 18(3)337--356
-
Implicate, 18(3)337--356, 38(1)155--172
-
implication, 7(4)511--536
-
implicit, 1(4)391--405, 14(2)189--235, 50(2)123--133, 63(4)813--855
-
Importance, 65(6)727--773
-
imprecise, 9(2)217--230
-
Improper, 62(2)281--300
-
improve, 6(1)51--75
-
improved, 13(3)361--373
-
Improvement, 27(3)313--322, 60(2)157--176
-
Improving, 12(3)359--388, 37(3)155--203, 55(3)295--306
-
IMPS, 11(2)213--248
-
in, Built-, 27(1)61--87
-
in-Chief, Editor-, 2(1)105--107, 65(2)155--155
-
Incarnations, 18(2)211--220
-
incidence, 1(3)263--283, 2(2)109--126, 16(3)355--368, 68(1)z--99999999
-
Incoherent, 39(3)317--349
-
Incomplete, 64(7)1523--1552
-
Incompleteness, 19(3)319--346, 55(1)1--37, 63(3)597--623,
65(7)1027--1070, 67(1)z--99999999
-
incompletensess, 4(2)219--231
-
inconsistency, 9(2)179--215, 29(2)125--169
-
inconsistent, 11(1)23--41, 12(1)1--31, 22(3)263--309
-
incorrect, 36(1)149--176
-
increase, 16(3)223--239
-
Incredible, 53(1)1--61
-
incremental, 12(3)359--388, 30(2)153--177, 32(4)z--99999999,
44(4)337--369
-
Incrementality, 61(1)333--365
-
incrementally, 11(3)391--428
-
Indefinite, 19(1)31--85
-
index, 22(4)485--486, 22(4)487--487, 25(4)329--329, 25(4)331--332,
26(4)433--433, 26(4)435--435, 27(4)423--423, 27(4)425--425,
28(4)435--435, 28(4)437--437, 29(3)413--413, 29(3)415--415,
30(3)445--445, 30(3)447--447, 31(3)371--371, 31(3)373--373,
49(3)303--326, 49(3)327--362, 64(2)331--360
-
indexing, 9(2)147--167, 32(2)103--120
-
Indrzejczak, Andrzej, 67(4)z--99999999
-
Indrzejczak:2023:BCF, 67(4)z--99999999
-
induction, 7(3)303--324, 11(3)433--434, 14(2)189--235, 15(2)167--215,
16(1)1--1, 16(1)3--37, 16(1)39--78, 16(1)113--145, 18(1)5--24,
26(1)1--49, 36(4)311--344, 64(2)253--294
-
inductive, 5(4)533--540, 7(1)27--103, 14(3)427--462, 16(1)79--111,
21(2)233--275, 22(1)65--115, 22(2)117--147, 23(3)347--371,
36(1)149--176, 47(2)133--160, 47(3)251--289, 67(3)z--99999999
-
Industrial, 20(3)387--387, 45(4)397--414
-
inequality, 5(3)339--362, 8(3)421--426, 56(3)367--386, 68(1)z--99999999
-
inevitability, 11(1)23--41
-
inexact, 5(2)207--233, 8(1)77--90
-
inference, 3(2)201--209, 3(4)383--393, 4(1)15--27, 4(4)445--462,
5(1)93--95, 6(3)337--339, 7(4)631--634, 8(2)213--274, 9(1)141--143,
11(1)1--22, 11(2)269--288, 11(3)391--428, 19(3)347--376,
21(3)381--400, 23(3)299--318, 23(3)319--346, 26(3)223--268,
27(2)123--139, 28(4)371--396, 47(2)111--132, 47(2)161--189,
47(4)369--398, 55(3)269--284, 59(2)165--218
-
Inferring, 4(4)397--424, 29(2)125--169, 39(4)z--z
-
Infinite, 34(3)209--238, 63(4)1077--1101
-
Infinite-State, 48(1)1--42
-
Infinitely, 64(7)1269--1286
-
Infiniteness, 67(4)z--99999999
-
Influence, 47(1)1--16
-
information, 3(1)81--90, 4(4)397--424, 25(2)123--164
-
Informational, 20(1)167--190
-
Infrastructure, 43(4)z--99999999, 59(4)483--502
-
inheritance, 3(1)1--34, 29(3)337--363, 64(1)73--95
-
Inhibitor, 26(4)409--431
-
initial, 37(1)21--43
-
Innermost, 51(1)27--56
-
Inoue, Katsumi, 13(1)145--172
-
Inoue, Katsumi, see Sakama, Chiaki
-
Input, 52(1)31--65, 65(2)157--203
-
Instance, 18(2)177--182, 38(1)57--78, 39(2)219--243, 41(2)99--142
-
Instantiation, 28(4)371--396, 48(3)293--362
-
Instantiation-Based, 57(1)37--65
-
instantiations, 11(3)391--428
-
Instantion, 18(2)205--210
-
Instruction, 65(4)569--598
-
integer, 5(1)25--35, 63(2)369--392
-
integral, 8(2)275--295, 62(2)281--300
-
Integrated, 36(4)379--410
-
Integrating, 21(3)327--355, 39(2)141--160, 44(1)z--99999999,
66(1)141--171
-
integration, 13(3)297--337, 14(3)353--381, 30(1)33--58, 35(1)265--293,
66(2)175--213, 67(3)z--99999999
-
Integrity, 36(4)379--410
-
Intelligence, 20(3)387--387
-
intelligent, 2(1)43--62, 2(2)127--153, 32(3)187--226, 39(2)181--218
-
intelligible, Semi-, 56(2)155--200
-
intensional, 14(2)237--255, 33(2)89--132, 65(6)809--890
-
Interaction, 16(1)181--222, 32(3)259--286, 39(2)109--139, 47(1)17--56
-
interactive, 11(2)213--248, 44(1)z--z, 49(3)427--451, 56(3)201--203,
61(1)1--8, 61(1)9--32, 64(5)793--794
-
interconnection, 48(4)419--439
-
Interest, 6(4)419--461
-
Interface, 39(2)107--108, 39(2)161--180, 66(2)215--238
-
interference, Non-, 63(1)1--51, 64(8)1685--1729
-
Interian, Yannet, 35(1)181--200
-
Interian, Yannet, see Boufkhad, Yacine
-
Interleavings, 59(1)47--85
-
International, 20(3)387--387
-
interpolant, 65(7)941--969, 66(3)409--435
-
Interpolating, 47(4)341--367
-
Interpolation, 54(1)69--97, 54(4)353--390, 57(1)1--2, 57(1)3--36,
57(1)37--65, 57(1)67--95, 65(5)647--690, 67(4)z--99999999
-
interpretation, 16(3)369--425, 34(4)z--z, 40(2)195--220, 56(3)283--308,
58(3)363--390, 62(4)505--530, 66(4)667--688
-
interpretation, meta-, 13(2)189--210
-
Interpreting, 10(3)345--370
-
Interprocedural, 42(2)265--300
-
Interruptible, 61(1)141--189
-
interrupts, 14(1)43--91, 42(2)301--347
-
Intertwined, 64(4)677--688
-
interval, 62(2)281--300
-
interviewing, 6(3)299--317
-
Interweaving, 6(3)299--317
-
Intractable, 5(1)37--47
-
Introducing, 18(1)105--134, 19(2)173--203
-
introduction, 4(3)237--267, 7(2)169--170, 7(4)447--451, 12(1)33--45,
61(1)1--8
-
intuitionistic, 7(4)537--561, 13(3)361--373, 21(2)205--231,
30(2)121--151, 38(1)261--271, 43(1)19--51, 51(2)129--149,
62(1)1--68, 62(1)127--167, 67(1)z--99999999
-
intuitionistic, Bi-, 51(1)3--26
-
Invariant-Free, 50(1)1--49
-
invariants, 17(3)325--347, 17(3)349--370, 40(2)221--243,
63(4)1005--1029, 64(7)1523--1552
-
inverse, 5(1)1--23, 34(4)365--385, 40(2)133--177
-
investigation, 7(4)453--474
-
invocation, 7(3)403--433
-
Involving, 33(3)251--269
-
Iosif, Radu, 45(2)131--156
-
Iosif, Radu, see Bozga, Marius
-
iptables, 61(1)191--242
-
IR, 60(3)337--363
-
Ireland, 35(4)429--431
-
Ireland, Andrew, 16(1)79--111, 36(4)379--410
-
Ireland:1996:PUF, 16(1)79--111
-
Ireland:2006:IAH, 36(4)379--410
-
Isabelle, 10(1)15--58, 55(1)1--37, 56(1)1--47, 56(3)261--282,
63(3)557--595, 67(1)z--z
-
Isabelleash, 23(3)299--318, 39(2)181--218, 40(4)327--356, 49(3)303--326,
52(4)361--378, 57(3)219--244, 58(4)483--508, 59(3)345--387,
62(1)69--91, 62(2)261--280, 62(4)531--555, 63(3)763--786,
64(2)331--360, 64(3)363--389, 64(4)737--765, 64(5)827--856,
65(4)569--598, 65(5)691--709, 66(1)141--171, 66(4)953--988,
67(1)z--99999999, 68(1)z--99999999, 68(2)z--99999999
-
Isar, 29(3)389--411, 56(2)155--200
-
Isberner, Gabriele, Kern-, 45(1)3--19
-
Isomorphisms, 64(5)795--825
-
Isotopy, 40(2)221--243
-
Issar, Sunil, 16(3)321--353, 32(1)75--92
-
Issar, Sunil, see Andrews, Peter B.
-
issue, 10(3)371--388, 13(2)173--173, 14(1)1--1, 15(1)v--v, 16(1)1--1,
36(1)125--147, 36(4)287--287, 37(1)1--1, 37(3)153--154,
39(2)107--108, 39(3)245--247, 45(1)1--2, 46(3)223--224,
47(2)107--109, 47(4)337--339, 48(2)133--134, 51(1)1--2, 57(1)1--2,
59(1)1--2, 63(2)157--158, 63(4)809--811, 64(3)361--362,
64(7)1165--1167, 65(7)891--892, 66(3)275--276
-
Iterated, 20(1)143--165, 34(1)49--72
-
iteration, 11(1)1--22
-
ITP, 62(2)169--170, 62(4)431--432, 63(2)319--321
-
Itsykson, Dmitry, 35(1)51--72
-
Itsykson, Dmitry, see Alekhnovich, Michael
-
Iwasaki, Yumi, 1(2)161--208
-
Iwasaki, Yumi, see Friedland, Peter E.