Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
U
-
Ulbrich, Mattias, 60(3)337--363
-
Ulbrich, Mattias, see Kiefer, Moritz
-
Ulrich, Dolph, 27(2)97--122, 29(2)107--124
-
Ulrich, Dolph, see Wos, Larry
-
Ulrich:2001:LRT, 27(2)97--122
-
Unbounded-Time, 65(2)157--203
-
uncertain, 2(2)109--126, 45(1)1--2
-
Uncertainty, 9(2)217--230, 60(1)43--62
-
Uncurrying, 50(3)279--315
-
undecidability, 10(3)371--388, 67(1)z--99999999
-
undecidable, 3(4)379--381, 7(3)369--381
-
Underwood, Judith L., 22(2)171--221
-
Underwood, Judith L., see Aitken, William E.
-
unicorn, 1(3)327--332, 5(3)403--408
-
unifiability, 4(3)269--286, 5(1)37--47
-
unification, 2(1)43--62, 2(1)75--88, 2(3)277--281, 2(3)283--286,
2(4)391--418, 3(3)247--283, 3(3)285--289, 3(4)379--381,
4(4)381--396, 6(1)51--75, 7(3)369--381, 9(2)169--178, 9(2)261--288,
11(2)149--184, 12(2)209--223, 12(3)389--406, 18(1)105--134,
19(1)87--115, 21(2)205--231, 22(1)45--63, 25(2)123--164,
29(2)171--182, 30(2)121--151, 33(1)1--28, 37(1)67--92, 39(1)77--106,
45(3)267--300, 48(2)135--158, 66(4)845--860
-
Unification, AC-, 11(2)185--212
-
unification, AC-, 4(4)465--474
-
unification, AC-, 8(1)39--44
-
Unification, Anti-, 58(2)293--310
-
unification, Anti-, 52(2)155--190
-
unification, anti-, 9(3)381--389, 9(3)391--406
-
unification, -, 21(2)205--231, 30(2)121--151, 39(1)77--106
-
Unification, E-, 20(1)47--80
-
unification, E-, 48(3)363--390
-
Unifier, 57(3)245--280
-
unifiers, 8(1)39--44, 20(1)5--25
-
Uniform, 11(3)317--331, 59(2)219--265, 65(7)941--969, 66(3)409--435
-
Unifying, 60(3)299--335, 65(3)461--461, 67(2)z--99999999
-
UniMath, 63(2)285--318
-
Uninitialised, 62(4)433--480
-
Uninterpreted, 65(3)357--423
-
Union--Find, 62(3)331--365
-
Unit, 18(2)205--210, 25(1)35--82
-
Unit-Refutation, 52(1)31--65
-
unit-resulting, 16(3)241--319
-
Unity, 23(3)445--498
-
Univalence, 63(2)159--171
-
Univalent, 63(2)157--158
-
Univariate, 54(4)285--326, 57(3)187--217, 62(1)69--91
-
Universes, 27(1)3--27
-
University, 35(4)429--431, 49(1)107--109
-
unnecessary, 9(1)43--76
-
Unnormalized, 45(1)61--87
-
Unpublished, 66(4)575--584
-
Unranked, 52(2)155--190
-
UNSAT, 64(3)513--532
-
Unsatisfiability, 28(4)417--434, 47(2)111--132
-
Unsatisfiable, 40(1)1--33
-
Unsolved, 7(2)287--300
-
Untrusted, 62(1)69--91
-
Untyped, 63(2)517--538
-
Up, Bottom-, 64(2)197--251
-
up, bottom-, 7(3)337--358
-
update, 11(2)249--267, 17(2)171--197, 19(1)31--85
-
Upper, 24(4)397--420, 46(2)161--203
-
Upper-Bounding, 61(1)485--520
-
Upside-down, 13(2)189--210
-
Urbain, Xavier, 32(4)z--99999999, 34(4)z--z
-
Urbain, Xavier, see Contejean, Evelyne
-
Urbain:2004:MIA, 32(4)z--99999999
-
Urban, Caterina, 58(3)363--390
-
Urban, Caterina, see D'Silva, Vijay
-
Urban, Christian, 40(4)327--356, 49(2)111--114, 52(4)451--480,
62(4)431--432, 64(1)73--95, 67(3)z--99999999
-
Urban, Christian, see Fernández, Maribel,
see Wu, Chunhan, \see{Zhang, Xingyuan
-
Urban, Josef, 33(3)319--339, 37(1)21--43, 50(2)191--202, 50(2)229--241,
52(2)191--213, 53(2)173--213, 54(1)99--99, 55(2)91--116,
55(3)245--256, 57(3)219--244, 65(2)287--320
-
Urban, Josef, see Alama, Jesse,
see Blanchette, Jasmin Christian,
see Färber, Michael,
see Iancu, Mihnea, \see{Kaliszyk, Cezary,
see Kühlwein, Daniel
-
Urban:2004:MMI, 33(3)319--339
-
Urban:2006:MDI, 37(1)21--43
-
Urban:2008:NTI, 40(4)327--356
-
Urban:2013:APS, 50(2)229--241
-
Urban:2023:PLD, 67(3)z--99999999
-
Üresin, 64(5)857--877
-
use, 7(3)435--438, 8(3)311--344, 10(3)287--343, 16(1)39--78,
16(1)79--111, 19(1)117--141, 41(1)1--31, 47(1)57--105
-
Useful, 64(7)1333--1359
-
User, 39(2)107--108, 39(2)109--139, 39(2)161--180
-
using, 2(1)1--42, 2(2)109--126, 4(4)445--462, 5(2)207--233, 5(3)403--408,
5(4)533--540, 8(2)307--309, 9(3)309--354, 10(2)161--172,
10(2)173--189, 16(1)3--37, 16(1)181--222, 16(3)223--239,
18(1)47--83, 22(3)241--262, 24(1)5--36, 24(1)37--65, 27(2)157--174,
28(2)205--232, 29(3)253--275, 32(2)93--102, 33(1)29--49, 34(4)z--z,
39(2)181--218, 39(4)z--z, 41(3)295--323, 44(4)401--424,
45(4)397--414, 47(1)1--16, 49(3)303--326, 50(2)161--172,
50(4)355--381, 52(4)361--378, 55(1)1--37, 56(4)387--457, 59(1)3--45,
60(1)43--62, 60(3)337--363, 62(1)1--68, 62(1)69--91, 63(2)369--392,
63(2)517--538, 63(3)723--762, 63(4)1005--1029, 63(4)1055--1075,
64(2)167--195, 64(4)767--791, 65(4)521--567, 66(3)357--407,
66(4)805--844
-
Utard, Gil, 34(1)73--101
-
Utard, Gil, see Jurkowiak, Bernard
-
Utility, 60(1)107--131
-
utterances, self-, 3(3)329--338
-
Utting, Mark, 66(4)747--803
-
Utting, Mark, see Pearce, David J.