Index file section W for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
W
-
Waack, S., 86(2)267--275
-
Waack, S., see Krause, M.
-
Wadler, P., 73(2)231--248
-
Wadler:1990:DTP, 73(2)231--248
-
Wagner, E. G., 70(1)3--34, 77(1)195--219
-
Wagner, K. W., 75(3)357--363
-
Wagner, K. W., see Lengauer, T.
-
Wagner:1990:APP, 70(1)3--34
-
Wagner:1990:ASL, 77(1)195--219
-
waiting, 125(1)17--43
-
waiting-time, 125(1)3--16
-
Waldmann, U., 94(1)1--35
-
Waldmann:1992:SOS, 94(1)1--35
-
Walker, D., 89(1)161--177
-
Walker, D., see Stirling, C.
-
Walker, David, 114(1)149--171
-
Walker, David, see Milner, Robin
-
walking, 93(1)43--74
-
Waltz, 112(1)53--97
-
Walukiewicz, Igor, 118(1)67--79
-
Walukiewicz:1993:GTA, 118(1)67--79
-
Wang, Biing-Feng F., 120(2)215--227
-
Wang, Biing-Feng F., see Chen, Gen-Huey H.
-
Wang, Hui, 85(1)53--74, 99(2)301--315, 125(2)243--257
-
Wang, Hui, see Ibarra, O. H., \see{Jiang, Tao
-
Wang, Jie, 85(1)1--31
-
Wang, Ke, 100(2)347--364
-
Wang:1991:CSC, 85(1)1--31
-
Wang:1992:CBD, 100(2)347--364
-
Warmerdam, J. H. A., 90(1)127--149
-
Warmerdam, J. H. A., see de Bakker, J. W.
-
was, 117(1)199--202
-
Watanabe, O., 83(2)337--343, 97(2)199--215, 100(1)205--221
-
Watanabe, O., see Toda, S.
-
Watanabe:1991:IC, 83(2)337--343
-
Watanabe:1992:PTT, 97(2)199--215
-
Watson, Phil, 112(1)145--185
-
Watson, Phil, see Thomas, Muffy
-
wave, 84(2)281--292
-
Waves, 84(2)281--292
-
way, 89(1)3--32
-
way, 2-, 98(2)347--356
-
way, One-, 81(1)155--163, 129(2)309--321, 132(1)259--290
-
way, one-, 81(1)155--163, 83(2)337--343, 84(1)23--52,
85(1)53--74, 85(1)135--153, 88(2)287--296, 96(2)305--324,
96(2)411--419, 108(2)393--400, 119(2)233--245, 127(2)395--402,
129(2)309--321, 132(1)259--290
-
way, R-, 110(1)99--129
-
way, three-, 73(3)295--311
-
way, two-, 74(3)341--354, 79(1)3--24, 82(1)113--129,
93(1)43--74, 108(2)271--290, 115(2)261--275, 117(1)39--43
-
weak, 70(1)127--150, 79(2)295--321, 82(2)409--418, 83(2)323--335,
87(1)203--208, 87(1)221--228, 93(2)185--199, 93(2)227--244,
94(1)101--124, 97(2)233--244, 103(1)143--159, 112(2)413--418,
118(2)193--229, 120(2)197--213, 133(1)3--14, 133(1)85--94
-
weak-connected, 127(2)395--402
-
weakest, 100(2)365--383
-
weakly, 74(1)71--93, 82(2)409--418, 101(1)99--132, 113(1)119--165,
120(2)197--213, 120(2)279--291
-
Weber, A., 88(2)325--349
-
Weber, Andreas, 134(1)225--251, 134(1)253--262
-
Weber:1991:DAF, 88(2)325--349
-
Weber:1994:EUL, 134(1)253--262
-
Weber:1994:FVD, 134(1)225--251
-
Wechsung, G., 83(2)313--322
-
Wechsung, G., see Hemachandra, L. A.
-
wedge, 83(2)261--273
-
wedge-free, 117(1)303--313
-
Wegener, I., 81(2)257--268, 85(1)155--170
-
Wegener, I., see Lenz, K.
-
Wegener, Ingo, 118(1)81--98
-
Wegener:1991:CPF, 85(1)155--170
-
Wegener:1993:BHS, 118(1)81--98
-
Wei, Jiawang, 129(1)123--142
-
Wei:1994:CFT, 129(1)123--142
-
Weibel, T., 97(1)157--173
-
Weibel:1992:ECL, 97(1)157--173
-
weight, 80(2)337--345, 93(2)279--301, 93(2)303--319, 94(2)295--310,
127(2)199--228, 131(2)415--429, 135(2)345--359
-
weight-reducing, 74(1)3--18
-
weighted, 73(3)319--328, 75(1)157--215, 75(1)z--z, 79(1)179--193,
91(1)1--21, 99(2)335--344, 108(2)371--384, 119(1)39--62, 119(1)z--z,
127(2)255--267, 130(1)85--99, 130(1)101--123, 130(1)125--138
-
weighting, 75(1)157--215
-
Weihrauch, K., 82(1)1--18
-
Weihrauch, Klaus, 113(2)191--210
-
Weihrauch:1991:TCC, 82(1)1--18
-
Weihrauch:1993:CCM, 113(2)191--210
-
Weijland, W. P., 71(1)155--174
-
Weijland:1990:SLP, 71(1)155--174
-
Weil, P., 76(2)251--260, 104(2)161--183
-
Weil, P., see Straubing, H.
-
Weil:1990:PLC, 76(2)251--260
-
Weinert, H. J., 92(2)269--289
-
Weinert, H. J., see Hebisch, U.
-
Weir, D. J., 104(2)235--261
-
Weir:1992:GHB, 104(2)235--261
-
well, 96(1)35--72, 96(1)z--z
-
well-balanced, 93(2)279--301
-
well-behaved, 97(1)143--156
-
well-behavedness, 97(1)143--156, 120(1)83--99
-
well-formed, 81(2)223--235
-
well-founded, 105(1)7--25, 114(2)299--315, 116(2)291--303, 122(1)49--68,
122(1)97--117, 124(1)189--192, 136(1)243--275
-
well-guardedness, 82(2)403--408
-
well-posedness, 94(2)175--197
-
well-quasi-orderings, 70(1)151--158
-
well-typed, 110(2)405--418
-
well-typedness, 89(1)107--136
-
Wells, C., 70(1)159--178
-
Wells:1990:GCS, 70(1)159--178
-
Wen, Zhi-Xiong, 94(2)373--393
-
Wen, Zhi-Ying, 94(2)373--393
-
Wen, Zhi-Ying, see Wen, Zhi-Xiong
-
Wen:1992:SST, 94(2)373--393
-
West, Julian, 117(1)303--313
-
West:1993:STT, 117(1)303--313
-
WFF-resolution, 81(2)223--235
-
WFS, 122(1)49--68
-
what, 120(2)197--213
-
where, 107(2)349--356, 110(1)99--129
-
whether, 112(2)311--337
-
which, 74(1)3--18, 79(1)241--256, 84(2)251--264, 87(1)25--41,
92(2)269--289, 120(1)83--99, 124(1)149--168
-
while, 87(1)189--202
-
while-do, 82(2)215--252
-
while-program, 118(1)67--79
-
Whitesides, Sue, 131(2)361--374
-
Whitesides, Sue, see Eades, Peter
-
Whitney, Stiefel-, 117(1)289--301
-
whole, 76(2)243--250, 88(1)171--182
-
whose, 96(2)325--344
-
wide-spectrum, 131(1)219--241
-
widths, 74(3)313--323
-
Wiedermann, J., 80(2)337--345
-
Wiedermann:1991:CES, 80(2)337--345
-
Wiehagen, R., 110(1)131--144
-
Wiehagen, R., see Freivalds, R.
-
Wielonsky, F., 94(2)175--197
-
Wielonsky, F., see Baratchart, L.
-
Wigderson, A., 107(1)63--76
-
Wigderson, A., see Heiman, R.
-
Wilm, A., 87(1)189--202
-
Wilm:1991:DNP, 87(1)189--202
-
Wilson, C., 75(3)335--346
-
Wilson, C., see Allender, E.
-
Winkler, Timothy, 135(1)155--169
-
Winkler, Timothy, see Lincoln, Patrick
-
Winkowski, J., 103(2)335--363
-
Winkowski, J., see Maggiolo-Schettini, A.
-
winning, 98(2)263--287, 106(2)309--326, 108(2)311--329, 112(2)371--382,
123(2)341--349, 129(2)385--396
-
Winograd, 131(2)475--477
-
Winograd, S., 86(2)143--203
-
Winograd, S., see Averbuch, A.
-
Winskel, G., 83(1)157--167
-
Winskel:1991:NMC, 83(1)157--167
-
with-parameters, iteration-, 121(1)309--321
-
witness, 81(2)189--199
-
Woeginger, Gerhard J., 130(1)5--16
-
Woeginger:1994:LSJ, 130(1)5--16
-
Wolf, Marty J., 125(2)295--313
-
Wolf:1994:NCS, 125(2)295--313
-
Wolfe, David, 119(2)323--329
-
Wolfe:1993:SDG, 119(2)323--329
-
Wolfram, D. A., 136(1)277--289
-
Wolfram:1994:SP, 136(1)277--289
-
Wolfstahl, Y., 84(2)179--197
-
Wolfstahl, Y., see Moran, S.
-
Wood, D., 72(2)251--264, 84(2)265--279
-
Wood, D., see Klein, R., \see{Maurer, H. A.
-
Wood, Derick, 127(2)199--228
-
Wood, Derick, see Cameron, Helen
-
word, 71(3)281--346, 71(3)381--400, 72(1)27--38, 72(1)39--53,
72(1)55--64, 73(3)335--340, 74(1)3--18, 79(1)195--207,
79(1)241--256, 81(1)147--153, 81(2)305--310, 82(1)71--84,
83(2)301--312, 85(1)33--52, 86(2)277--323, 88(1)83--98,
88(2)365--384, 92(1)19--31, 93(2)227--244, 94(2)199--213,
94(2)367--371, 96(2)325--344, 96(2)405--410, 99(2)327--z,
100(1)67--104, 102(2)253--281, 106(2)327--335, 106(2)373--383,
106(2)395--400, 108(1)3--16, 108(1)17--24, 108(1)45--82,
108(1)103--118, 108(1)z--z, 108(2)251--270, 108(2)311--329,
108(2)357--363, 110(1)1--51, 112(2)187--214, 112(2)311--337,
115(1)43--62, 115(2)191--224, 115(2)243--260, 117(1)217--226,
119(2)267--291, 120(2)303--310, 123(1)55--60, 123(2)273--289,
126(2)237--257, 127(1)53--67, 129(2)263--278, 129(2)369--383,
131(2)271--294, 132(1)129--150, 132(1)415--425, 134(1)209--223,
134(1)225--251, 134(1)z--z, 134(2)529--536, 136(2)361--385
-
word-decreasing, one-, 112(2)255--275
-
word-lengths, 141(1)329--330
-
word-rewriting, 106(1)61--86
-
words, omega-, 103(1)143--159, 110(1)1--51
-
working, 71(1)79--93, 109(1)3--6
-
Workshop, 71(2)z--z, 78(1)z--z, 96(1)z--z, 98(1)z--z, 109(1)z--z,
111(1)z--z, 114(1)z--z, 133(1)z--z
-
worktape, 76(2)323--330, 82(1)113--129, 118(1)49--65
-
world, 78(1)159--187, 86(1)35--79, 122(1)49--68, 134(2)545--557
-
world, closed-, 114(2)231--245, 118(2)315--315
-
world, possible-, 85(2)283--303
-
worst, 130(1)5--16
-
worst-case, 74(3)273--298, 84(1)127--150, 93(2)279--301, 100(1)185--204,
103(2)283--309, 117(1)187--198, 120(2)197--213, 128(1)75--97,
129(2)397--406, 132(1)1--35
-
Wos, L., 87(1)221--228
-
Wos, L., see McCune, W.
-
Wright, J., Von, 100(2)365--383
-
Wright, Paul E., 125(1)3--16, 125(1)149--165
-
Wright, Paul E., see Baccelli, François,
see Coffman, Jr., E. G.
-
write, 71(3)401--411, 93(2)245--264, 107(1)77--94, 123(2)415--426
-
write-only, 108(2)271--290
-
Wymann-Böni, M., 110(2)419--432, see Sprenger, M.
-
Wythoff, 75(3)311--333
-
WZ, 117(1)199--202