Index file section U for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
U
-
Uchimura, K., 18(2)207--220, 31(3)227--261
-
Uchimura:1982:PSG, 18(2)207--220
-
Uchimura:1984:TIM, 31(3)227--261
-
Ukkonen, E., 16(2)187--198
-
Ukkonen, E., see Raiha, K.-J.
-
Ullman, J. D., 17(3)317--331
-
Ullman, J. D., see Sadri, F.
-
unary, 22(1)209--217, 22(3)331--346
-
unbounded, 23(2)187--210, 23(3)305--315, 24(2)123--130, 32(1)87--120
-
unboundedly, 32(3)331--337
-
undecidability, 13(2)225--230, 23(3)339--345, 31(1)165--174,
32(3)261--277, 33(2)261--278
-
undecidable, 17(1)55--73, 19(3)231--251, 21(2)119--144, 23(1)49--68,
23(3)339--345
-
underlying, 10(1)19--35
-
undetermined, 10(1)93--105
-
unification, 13(2)225--230, 15(3)329--338
-
unified, 12(1)83--96, 15(2)159--179, 18(3)227--258
-
uniform, 11(2)145--165, 16(1)99--110, 18(1)95--103, 20(3)323--352,
22(1)57--69, 25(1)1--66, 26(3)287--300
-
uniform, non-, 26(3)287--300
-
uniformly, 23(1)69--82
-
unifying, 12(1)61--81
-
uninterpreted, 20(1)3--32
-
union, 27(1)85--108, 32(1)121--156, 34(3)315--335
-
unique, 12(3)229--254, 25(1)67--94
-
uniquely, 25(1)67--94
-
unitary, 27(3)311--332
-
units, 34(1)157--168
-
univariate, 15(1)77--110
-
universal, 11(2)167--180, 16(1)93--98, 19(2)143--160, 22(1)19--55,
23(3)305--315, 26(3)327--333, 32(1)185--199
-
universes, 10(1)93--105
-
unmarked, 29(1)87--121
-
unprovability, 18(3)259--268
-
unranking, 10(1)63--82
-
unwind, 25(1)1--66
-
up, speed-, 26(3)335--342
-
update, 19(1)69--84
-
upper, 16(1)93--98, 22(3)285--296, 24(3)239--277, 27(1)3--38,
27(3)241--253, 28(3)263--276, 29(1)123--153, 30(3)319--341,
32(1)173--183
-
UR-complete, 24(3)291--300
-
Urbanek, 32(3)339--340
-
Urbanek, F. J., 22(1)95--126
-
Urbanek, F. J., see Kuich, W.
-
use, 12(1)1--17, 21(3)237--253
-
users, 23(1)11--36
-
using, 12(1)61--81, 13(3)331--336, 19(3)321--330, 21(1)75--90,
22(1)195--208, 23(3)305--315, 24(2)143--159, 30(1)1--48,
33(1)107--116