Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
W
-
W, 23(3)299--318
-
w.r.t, 66(3)301--329
-
Waaler, Arild, 38(1)3--30
-
Waaler, Arild, see Antonsen, Roger
-
Wahl, Thomas, 47(4)341--367
-
Wahl, Thomas, see Brillout, Angelo
-
Wait, Stop-and-, 42(1)1--33
-
Waldinger, Richard, 3(4)343--377, 56(2)95--98
-
Waldinger, Richard, see Baumgartner, Peter,
see Manna, Zohar
-
Waldmann, Johannes, 34(4)365--385, 40(2)195--220
-
Waldmann, Johannes, see Endrullis, Jörg,
see Geser, Alfons
-
Waldmann, Uwe, 38(1)57--78, 47(2)191--227, 64(7)1169--1195,
65(7)893--940, 66(4)499--539
-
Waldmann, Uwe, see Baumgartner, Peter,
see Bentkamp, Alexander,
see Jacobs, Swen,
see Schlichtkrull, Anders
-
Waldmann:2022:CFS, 66(4)499--539
-
WALDMEISTER, 18(2)265--270
-
Walker, Adrian, 11(1)1--22
-
Walker:1993:BIT, 11(1)1--22
-
Walsh, Toby, 11(1)23--41, 16(1)147--180, 19(3)319--346, 24(1)1--3,
28(2)99--99, 35(1)1--2
-
Walsh, Toby, see Basin, David A.,
see Bundy, Alan, \see{Gent, Ian P.,
see Giunchiglia, Enrico,
see Giunchiglia, Fausto
-
Walther, Christoph, 32(1)35--73, 59(2)267--286
-
Walther:2004:VC, 32(1)35--73
-
Walther:2017:FEW, 59(2)267--286
-
Wang, Bow-Yaw, 52(4)379--405
-
Wang, Bow-Yaw, see Zhou, Min
-
Wang, Dingkang, 59(3)331--344
-
Wang, Dingkang, see Zhou, Jie
-
Wang, Dongming, 21(3)277--278
-
Wang, Dongming, see Kapur, Deepak
-
Wang, Jinchang, 11(2)269--288
-
Wang, Lusheng, 16(3)355--368
-
Wang, Qinshi, 67(1)z--99999999
-
Wang, Tie-Cheng, 3(1)35--77, 3(4)437--451, 5(2)141--165
-
Wang, Wenxi, 63(3)723--762
-
Wang, Zhe, 53(3)245--269
-
Wang, Zhe, see Glimm, Birte
-
Wang, Zongyan, 33(2)171--218
-
Wang, Zongyan, see Newborn, Monty
-
Wang:1987:CSM, 3(4)437--451
-
Wang:1987:HD, 3(1)35--77
-
Wang:1989:SOP, 5(2)141--165
-
Wang:1993:IFH, 11(2)269--288
-
Wang:1996:CIC, 16(3)355--368
-
Wang:2019:WPB, 63(3)723--762
-
Wang:2023:SAC, 67(1)z--99999999
-
Wanted, 20(1)47--80
-
Warinschi, Bogdan, 46(3)225--259
-
Warinschi, Bogdan, see Cortier, Véronique
-
Warners, Joost P., 24(1)37--65, 24(1)101--125
-
Warners, Joost P., see Groote, Jan Friso,
see Klerk, Etienne de
-
Warshall, 26(2)205--221
-
Wasser, Nathan, 59(2)267--286
-
Wasser, Nathan, see Walther, Christoph
-
Wassyng, Alan, 60(1)63--84
-
Wassyng, Alan, see Newell, Josh
-
Watson, 26(4)357--408
-
Watson, L. T., 6(1)51--75
-
Watson, L. T., see Roach, J. W.
-
Wave, 50(4)423--456
-
Weak, 5(3)293--307, 51(3)281--324, 64(7)1307--1330
-
Weber, Tjark, 42(2)189--227, 55(1)61--90, 56(1)1--47
-
Weber, Tjark, see Bengtson, Jesper,
see Cok, David R., \see{Tews, Hendrik
-
Weddell, Grant, 40(2)117--132, 53(3)215--243
-
Weddell, Grant, see Toman, David,
see Wu, Jiewen
-
Wehrheim, Heike, 66(1)141--171
-
Wehrheim, Heike, see Dalvandi, Sadegh
-
Weidenbach, Christoph, 15(2)267--275, 18(2)247--252, 58(1)1--2,
61(1)333--365, 64(3)361--362, 64(3)611--640, 66(4)575--584,
67(3)z--z
-
Weidenbach, Christoph, see Biere, Armin,
see Blanchette, Jasmin Christian,
see Demri, Stéphane,
see Leidinger, Hendrik,
see Ohlbach, Hans Jürgen,
see Teucke, Andreas, \see{Tourret, Sophie
-
Weidenbach:1997:SV, 18(2)247--252
-
Weigert, Thomas J., 10(1)59--78
-
Weigert:1993:FOL, 10(1)59--78
-
Weighted, 24(1)205--223
-
Weighting, 35(1)97--142
-
weights, 4(4)463--464
-
Weirich, Stephanie, 49(3)301--302
-
Weirich, Stephanie, see Pierce, Benjamin C.
-
Weis, Pierre, 50(4)423--456
-
Weis, Pierre, see Boldo, Sylvie
-
Weispfenning, Volker, 21(3)357--380
-
Weispfenning, Volker, see Dolzmann, Andreas
-
Weissenbacher, Georg, 57(1)3--36
-
Weissenbacher, Georg, see Schlaipfer, Matthias
-
Weitzhofer, Simon, 55(1)39--59
-
Weitzhofer, Simon, see Botana, Francisco
-
Well-Behaved, 21(3)381--400
-
Well-Founded, 20(1)143--165, 26(4)333--356, 28(1)53--97, 64(2)167--195
-
Well-Foundedness, 23(3)197--234
-
well-kept, 7(3)301--302
-
Weller, Daniel, 63(1)95--126
-
Weller, Daniel, see Ebner, Gabriel
-
Wen-Tsun, 2(3)219--220
-
Wen-Tsun, Wu, 7(2)171--191
-
Wen-Tsun:1991:MTP, 7(2)171--191
-
Wendler, Philipp, 60(3)299--335, 65(3)461--461
-
Wendler, Philipp, see Beyer, Dirk
-
Wendling, Dominique, Larchey-, 38(1)201--225, 64(7)1197--1219
-
Wenzel, Makarius, 44(1)z--99999999, 56(3)261--282
-
Wenzel, Makarius, see Carette, Jacques,
see Matichuk, Daniel
-
Wenzel, Markus, 29(3)389--411
-
Wenzel:2002:CMI, 29(3)389--411
-
Wernhard, Christoph, 65(5)647--690
-
Wernhard:2021:CIC, 65(5)647--690
-
Whalen, Michael W., 57(4)281--318
-
Whalen, Michael W., see Pham, Tuan-Hung
-
What, 5(1)1--23, 10(1)79--93, 20(1)47--80
-
when, 36(4)289--310, 64(6)1001--1050
-
while, 6(3)299--317
-
Whiley, 66(4)747--803
-
Whittle, Jon, 22(2)117--147
-
Whittle, Jon, see Melis, Erica
-
Wick, Cynthia A., 5(2)239--255
-
Wick:1989:ARA, 5(2)239--255
-
Wiedijk, Freek, 29(3)365--387, 29(3)389--411, 44(1)z--99999999,
49(1)107--109
-
Wiedijk, Freek, see Carette, Jacques,
see Wenzel, Markus
-
Wiedijk:2002:NIA, 29(3)365--387
-
Wiedijk:2012:BRH, 49(1)107--109
-
Wiener, Christian, Halaschek-, 44(4)337--369
-
Wies, Thomas, 57(1)37--65
-
Wies, Thomas, see Totla, Nishant
-
Wilding, Matthew, 7(3)439--446
-
Wilding:1991:PML, 7(3)439--446
-
Wildmoser, M., 30(3)363--398
-
Wildmoser, M., see Klein, G.
-
Wilke, Pierre, 62(4)433--480, 63(2)369--392
-
Wilke, Pierre, see Besson, Frédéric
-
Wilkins, David C., 46(2)103--160
-
Wilkins, David C., see Mengshoel, Ole J.
-
Wilson, 1(2)121--139, 59(2)267--286
-
Wilson, Debra S., 14(2)325--351
-
Wilson, Debra S., see Loveland, Donald W.
-
Winding, 64(2)331--360
-
Windmills, 40(4)307--326
-
Windsor, Aaron A., 67(1)z--99999999
-
Windsor:2023:CAC, 67(1)z--99999999
-
Winker, S., 6(4)465--489
-
Winker:1990:RAC, 6(4)465--489
-
Winkler, Sarah, 50(3)317--354, 67(1)z--99999999
-
Winkler, Sarah, see Bonacina, Maria Paola
-
Winkler:2013:MCT, 50(3)317--354
-
Winslett, Marianne, 12(2)157--208
-
Winslett, Marianne, see Chou, Timothy S. C.
-
Winterhalter, Théo, 64(5)947--999,
see Sozeau, Matthieu
-
Wintersteiger, Christoph M., 58(1)127--147
-
Wintersteiger, Christoph M., see Zelji{\'c}, Aleksandar
-
Wired, 41(3)325--364
-
Wireless, 41(3)325--364
-
Wisnesky, Ryan, 66(4)805--844
-
Wisnesky, Ryan, see Meyers, Joshua
-
Wojciechowski, Piotr, 66(2)239--274, 67(1)z--99999999
-
Wojciechowski, Piotr, see Velasquez, Alvaro
-
Wojciechowski:2022:ARO, 66(2)239--274
-
Wojcik, A. S., 5(4)533--540
-
Wojcik, A. S., see Chisholm, G. H.
-
Wolff, Burkhart, 41(3)219--249, 42(2)349--388, 44(1)z--z
-
Wolff, Burkhart, see Brucker, Achim D.,
see Böhme, Sascha,
see Daum, Matthias
-
Wolfram, D. A., 5(1)37--47
-
Wolfram:1989:IUP, 5(1)37--47
-
Wombit, 63(3)723--762
-
Wong, S. K. M., 16(3)355--368
-
Wong, S. K. M., see Wang, Lusheng
-
Woody, 18(1)1--4, 20(3)255--282
-
Word, 11(2)149--184, 28(3)235--256, 66(3)301--329
-
Word-Level, 63(3)723--762
-
Work, 34(1)73--101, 56(2)99--112, 66(4)541--564
-
World, 5(3)293--307
-
World, Closed-, 18(3)357--398, 25(4)247--289
-
Worst-Case, 24(1)127--143, 24(4)397--420
-
Wos, 66(4)437--438, 66(4)439--461, 66(4)565--574, 66(4)575--584
-
Wos, L., 1(1)5--48, 2(1)1--42
-
Wos, L., see Parrello, Bruce D.
-
Wos, Larry, 1(1)1--3, 3(1)79--80, 3(1)81--90, 3(1)91--107, 3(2)201--209,
3(3)319--328, 3(4)433--435, 4(1)101--107, 4(2)215--217,
4(3)327--329, 4(4)463--464, 5(1)93--95, 5(2)235--237, 5(3)399--401,
5(4)531--532, 6(1)77--78, 6(2)211--212, 6(2)213--232, 6(3)337--339,
6(4)463--464, 7(1)105--107, 7(3)435--438, 7(4)631--634,
8(2)213--274, 8(2)307--309, 8(3)421--426, 9(1)141--143,
9(2)145--146, 9(2)289--290, 9(3)iii--iii, 9(3)407--408,
10(1)137--138, 10(2)283--284, 10(3)287--343, 10(3)421--422,
11(1)147--148, 11(2)289--291, 11(3)433--434, 12(1)133--134,
12(2)265--271, 12(3)407--409, 15(3)279--315, 17(1)23--81,
17(2)215--257, 18(2)211--220, 21(2)135--175, 22(1)1--44,
27(2)89--95, 27(2)175--199, 27(2)201--225, 29(1)1--16, 29(1)67--89,
29(2)107--124, 30(2)179--204, 58(1)181--207
-
Wos, Larry, see Beeson, Michael,
see Fitelson, Branden,
see McCune, William,
see Thiele, Ruediger, \see{Veroff, Robert
-
Wos, Lawrence, 2(3)287--327
-
Wos, Lawrence, see Boyer, Robert
-
Wos:1985:EJB, 1(1)1--3
-
Wos:1985:OAR, 1(1)5--48
-
Wos:1987:EN, 3(1)79--80
-
Wos:1987:PCI, 3(2)201--209
-
Wos:1987:PDE, 3(4)433--435
-
Wos:1987:PES, 3(3)319--328
-
Wos:1987:SOA, 3(1)81--90
-
Wos:1988:PED, 4(2)215--217
-
Wos:1988:PFS, 4(1)101--107
-
Wos:1988:PSAa, 4(3)327--329
-
Wos:1988:PSAb, 4(4)463--464
-
Wos:1989:PDS, 5(2)235--237
-
Wos:1989:PFI, 5(1)93--95
-
Wos:1989:PGA, 5(4)531--532
-
Wos:1989:PGE, 5(3)399--401
-
Wos:1990:MCF, 6(2)213--232
-
Wos:1990:PCBa, 6(1)77--78
-
Wos:1990:PCBb, 6(4)463--464
-
Wos:1990:PFM, 6(2)211--212
-
Wos:1990:PFS, 6(3)337--339
-
Wos:1991:PCR, 7(4)631--634
-
Wos:1991:PCT, 7(3)435--438
-
Wos:1991:PFR, 7(1)105--107
-
Wos:1992:NMA, 9(2)145--146
-
Wos:1992:PCB, 8(2)307--309
-
Wos:1992:PDAa, 9(2)289--290
-
Wos:1992:PDAb, 9(3)407--408
-
Wos:1992:PDD, 9(1)141--143
-
Wos:1992:PRI, 8(3)421--426
-
Wos:1992:TF, 9(3)iii--iii
-
Wos:1993:KSU, 10(3)287--343
-
Wos:1993:PAT, 10(1)137--138
-
Wos:1993:PI, 11(3)433--434
-
Wos:1993:PNF, 11(1)147--148
-
Wos:1993:PRA, 10(3)421--422
-
Wos:1993:PRC, 11(2)289--291
-
Wos:1993:PSA, 10(2)283--284
-
Wos:1994:PH, 12(2)265--271
-
Wos:1994:PHN, 12(3)407--409
-
Wos:1994:PSH, 12(1)133--134
-
Wos:1995:SCP, 15(3)279--315
-
Wos:1996:OMI, 17(2)215--257
-
Wos:1996:PCR, 17(1)23--81
-
Wos:1998:ASE, 21(2)135--175
-
Wos:1999:HLS, 22(1)1--44
-
Wos:2001:CMS, 27(2)175--199
-
Wos:2001:MRS, 27(2)89--95
-
Wos:2002:VXQ, 29(2)107--124
-
Wos:2003:SC, 30(2)179--204
-
Wrightson, Graham, 1(1)5--48, 13(2)173--173
-
Wrightson, Graham, see Wos, L.
-
Wrightson:1994:PSI, 13(2)173--173
-
Write, 32(1)75--92
-
Writing, 1(3)285--326
-
WS, 65(7)971--999
-
Wu, 2(3)219--220, 4(3)237--267
-
Wu, Chih-Hung, 12(3)359--388, 26(1)67--106
-
Wu, Chih-Hung, see Lee, Shie-Jue
-
Wu, Chunhan, 52(4)451--480, 64(1)73--95
-
Wu, Chunhan, see Zhang, Xingyuan
-
Wu, Jiewen, 53(3)215--243
-
Wu, Jinzhao, 21(3)381--400
-
Wu, Minchao, 66(2)215--238
-
Wu, Minchao, see Lewis, Robert Y.
-
Wu, Wen-Tsun, 2(3)221--252
-
Wu, Xiongnan, 61(1)141--189
-
Wu, Xiongnan, see Chen, Hao
-
Wu, Yi-Chin, 60(1)107--131
-
Wu:1986:BPM, 2(3)219--220, 2(3)221--252
-
Wu:1998:WBI, 21(3)381--400
-
Wu:2001:PHL, 26(1)67--106
-
Wu:2014:AA, 53(3)215--243
-
Wu:2014:FMN, 52(4)451--480
-
Wu:2018:SOP, 60(1)107--131