Last update: Sat Oct 21 02:06:13 MDT 2023
Return to index directory
U
-
U, 22(1)43--48
-
u-spheres, 30(2)67--72
-
U-tree, 31(4)167--173
-
Udding, Jan Tijmen, 23(3)159--162, 23(5)231--238
-
Udding, Jan Tijmen, see Van de Snepscheut, Jan L. A.
-
Udding:1986:AIS, 23(3)159--162
-
UET, 10(1)28--31, 11(1)57--57, 12(1)40--45
-
UGs, 15(2)76--80
-
Uhr, L., 12(3)117--120
-
Uhr, L., see Leland, W.
-
Ukkonen, Esko, 18(4)203--208, 20(2)99--103
-
Ukkonen, Esko, see Mannila, Heikki
-
Ukkonen:1985:UBS, 20(2)99--103
-
ultrametric, 27(5)265--270
-
Umeo, Hiroshi, 14(4)158--161
-
Umeo:1982:DOW, 14(4)158--161
-
un-Skolemization, 29(5)257--263
-
Un-Skolemizing, 29(5)257--263
-
unambiguous, 12(4)184--187, 15(3)102--104, 17(4)181--183
-
unary, 13(3)98--102, 18(5)239--242, 29(4)177--182
-
unauthenticated, 33(1)21--24
-
unavoidable, 16(4)179--180
-
unbiased, 30(5)265--268
-
unbounded, 18(2)77--85, 21(2)63--68, 21(2)71--74
-
Unbounded-action, 22(3)145--146, 22(4)185--187, 23(5)221--226,
23(5)231--238, 23(5)253--259, 24(3)165--170, 26(2)77--80,
26(5)231--236, 26(6)313--319, 27(5)221--225, 27(6)287--290,
27(6)299--307, 28(6)317--326, 28(6)327--327, 30(1)37--40,
30(3)153--157, 30(4)167--176
-
unboundedness, 17(5)235--240, 28(6)317--326
-
unboundness, 17(5)235--240
-
uncertainty, 30(2)73--77
-
unconstrained, 30(6)277--281
-
undecidability, 12(3)121--122, 20(2)61--64, 27(5)237--243,
32(6)281--287, 33(4)193--197
-
undecidable, 20(3)141--142, 29(3)125--130, 32(6)281--287, 33(4)193--197
-
undefined, 24(5)331--333
-
undercover, 20(1)19--21
-
underlying, 31(5)273--276
-
understanding, 25(3)199--206, 26(2)89--93, 30(4)205--208
-
undesirability, 13(3)114--117
-
undirected, 11(2)70--72, 13(4)157--159, 14(1)30--33, 14(5)233--235,
15(1)10--13, 15(3)135--136, 16(2)71--74, 16(2)87--89, 17(5)269--272,
18(1)21--24, 18(1)37--39, 19(1)37--40, 20(3)143--146, 20(3)147--150,
20(4)167--171, 20(5)235--240, 22(2)57--60, 22(2)73--76, 22(2)77--80,
22(3)133--134, 22(6)291--294, 23(2)55--62, 23(4)195--200,
24(4)239--241, 25(6)401--406, 26(6)325--328, 27(3)125--128,
28(5)241--243, 28(5)245--248, 30(4)205--208, 31(1)7--15,
32(1)25--27, 32(4)199--204, 32(6)277--279, 32(6)297--300
-
unfair, 21(2)97--100
-
uni-processor, 25(5)295--303
-
unidirectional, 28(4)213--214, 30(4)167--176, 32(5)221--227
-
Unifiability, 15(5)220--222
-
unifiable, 31(5)227--232
-
unification, 12(3)146--150, 15(4)150--158, 15(5)220--222, 17(4)173--175,
27(2)91--93, 27(3)159--165, 31(2)91--95, 31(5)227--232
-
unification, -, 27(3)159--165
-
unification, E-, 27(3)159--165
-
unification, e-, 27(3)159--165
-
unification, S-, 27(3)159--165
-
unification, s-, 27(3)159--165
-
unified, 27(5)271--274
-
unifier, E-, 27(2)91--93
-
uniform, 11(1)7--8, 13(1)4--7, 16(1)3--6, 16(4)199--202, 19(3)157--161,
20(2)61--64, 21(1)17--21, 21(2)79--81, 24(2)77--79, 24(4)259--263,
24(4)z--z, 24(6)363--367, 26(5)223--230, 26(5)231--236,
29(3)137--141, 29(6)307--313, 30(2)103--110, 31(2)83--90,
33(4)199--204
-
Uniform, Non-, 16(5)249--252
-
uniformly, 10(4)213--218, 13(1)4--7, 27(2)85--89, 32(1)35--39
-
unifying, 28(5)253--257
-
unimodal, 29(6)289--292, 31(5)243--247
-
unimodality, 29(6)289--292
-
uninterpreted, 10(4)234--239
-
union, 11(2)59--65, 13(2)73--76, 18(2)109--115, 19(5)229--236,
20(1)43--45, 31(1)3--5, 32(2)57--60, 32(6)297--300
-
unique, 18(3)155--158, 23(1)1--3, 28(4)193--199
-
unique-path, 31(4)197--201
-
uniquely, 21(3)135--140, 23(1)1--3
-
uniqueness, 29(6)277--281, 32(1)29--33, 33(1)15--19
-
unit, 10(2)76--79, 15(1)20--22, 18(2)59--62, 18(4)209--213, 21(2)87--91,
21(3)147--152, 22(1)37--41, 24(1)67--69, 25(2)103--109,
28(3)111--119, 28(6)287--290, 29(1)1--12, 47(3)165--166
-
unit-execution-time, 12(1)20--22
-
unit-length, 31(4)167--173
-
Unit-Time, 16(4)171--173
-
unit-time, 16(4)171--173, 47(3)165--166
-
UNITY, 40(5)231--233
-
universal, 10(1)14--19, 10(1)41--45, 12(2)76--78, 15(2)76--80,
19(3)117--123, 19(5)213--218, 23(3)153--158, 27(4)169--174,
28(5)241--243, 28(5)269--274
-
universe, 22(1)43--48
-
UNIX, 24(6)381--389
-
unlabelled, 15(1)39--42, 31(3)135--138
-
Unlike, 31(1)35--41
-
unmatched, 25(5)295--303
-
unmerging, 25(5)285--294
-
unordered, 28(2)105--110, 40(5)255--256
-
unpacked, 19(1)21--26
-
unranking, 14(1)44--48, 27(4)205--213
-
unreachable, 24(4)275--277
-
unreliable, 22(1)15--20
-
unrooted, 33(2)91--96
-
Unruh, Erwin, 29(2)87--89
-
Unruh, Erwin, see Wätjen, Dietmar
-
unsatisfiability, 32(1)41--45
-
unsatisfiable, 29(5)257--263
-
unsolvability, 26(3)145--151
-
unstable, 32(1)7--13
-
unstructuredness, 25(3)189--193
-
unsuccessful, 20(3)131--136, 25(6)375--382
-
untyped, 28(3)121--125
-
unwind, 21(5)233--238
-
up, blow-, 30(5)261--264
-
Up, Bottom-, 29(4)201--206, 32(5)263--266
-
up, bottom-, 29(4)201--206, 32(5)263--266
-
up, mop-, 28(3)133--136
-
up, set-, 10(4)173--177
-
update, 14(5)208--213, 15(3)91--96, 15(5)209--213, 16(3)145--146,
21(4)165--171, 22(5)223--229, 23(5)247--251, 24(5)307--310,
26(6)277--286, 29(3)131--135, 31(3)151--155, 31(6)295--298
-
Updateash, 24(5)307--310
-
update/query, 24(5)307--310
-
updating, 13(2)64--66, 14(4)150--157, 16(3)145--146, 16(5)253--257,
26(6)277--286, 27(4)167--168, 27(5)227--236
-
Upfal, Eliezer, 14(2)86--92
-
Upfal:1982:FCP, 14(2)86--92
-
upper, 10(2)57--62, 12(1)46--48, 15(5)214--219, 18(3)147--150,
20(2)99--103, 20(3)155--160, 21(3)141--145, 22(1)43--48,
22(3)119--123, 22(4)193--195, 22(5)247--253, 24(3)165--170,
24(4)z--z, 25(6)369--373, 26(5)271--272, 27(2)103--109,
27(4)195--199, 27(4)215--219, 29(6)319--326, 30(4)209--214,
30(6)283--288, 31(1)3--5, 31(2)57--60, 31(6)311--314, 31(6)319--322,
32(5)267--269, 33(2)83--89, 33(4)169--174, 43(5)249--255
-
upsequence, 21(2)69--69
-
Ural, Hasan, 28(3)157--163
-
Ural:1988:STS, 28(3)157--163
-
Urbanek, Friedrich, 32(5)267--269
-
Urbanek, Friedrich, see Baron, Gerd
-
Urbanek, Friedrich J., 11(2)66--67
-
Urbanek:1980:ACE, 11(2)66--67
-
Urbanski, Andrzej, 29(4)165--169
-
Urbanski, Andrzej, see Nawrocki, Jerzy R.
-
use, 16(1)7--9, 16(5)237--241, 17(5)255--258, 19(1)21--26, 21(4)199--205,
27(1)13--15, 30(4)201--203, 31(1)35--41, 31(3)139--144
-
use, definition-, 23(2)85--90
-
used, 14(4)150--157, 19(1)21--26, 23(3)127--130, 27(5)245--248
-
useful, 21(1)35--38
-
useless, 25(6)407--411
-
user, 12(2)63--67, 21(4)199--205, 24(2)87--93, 25(3)171--174,
30(3)115--118, 31(3)119--126, 32(3)95--99
-
user-defined, 30(3)115--118
-
using, 12(2)71--75, 13(2)48--49, 14(1)26--29, 15(2)53--56, 15(5)227--232,
16(2)79--81, 17(1)37--41, 17(4)173--175, 17(5)255--258, 18(1)7--13,
18(3)147--150, 21(5)229--232, 22(5)255--260, 22(5)261--265,
23(3)115--117, 23(3)127--130, 23(3)159--162, 23(4)215--218,
24(4)243--246, 24(5)281--284, 24(6)351--354, 24(6)403--405,
25(1)1--9, 25(5)343--347, 26(2)77--80, 26(6)277--286, 27(1)53--53,
28(5)231--234, 30(1)33--36, 30(3)159--166, 31(4)209--213,
32(2)89--93, 32(3)113--119, 32(5)275--275
-
Uspenskii, Kolmogorov-, 30(2)103--110
-
usually, 23(3)127--130
-
utilisation, 19(4)199--201, 22(5)243--246
-
Utility, 30(3)115--118
-
Utility, Programming-, 30(4)201--203
-
utilization, 19(1)21--26, 19(4)199--201, 22(5)243--246