| # |  | Year | | Title | Type | |
|---|
| 1 |
![Show details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=0) | Wagner, Podelski [Podelski, Raskin, Thiagarajan] |
| |
| 6 |
| |
| 1 |
| Waldmann [Bonacina, Furbach] |
| |
| 1 |
| Waldmann [Goré, Leitsch, Nipkow] |
| |
| 1 |
| Waldmann [Kirchner, Kirchner] |
| |
| 1 |
| Waldmann [McAllester, Voronkov] |
| |
| 3 |
| Wang [-] |
| |
| 11 |
| |
| 1 |
| Weidenbach [Bibel, Schmitt] |
| |
| 1 |
| Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk] |
| |
| 1 |
![Hide details for Weidenbach [Hermann, Salzer]](/intranet/ag2/ag2publ.nsf/$PlusMinus?OpenImageResource&ImgIndex=1) | Weidenbach [Hermann, Salzer] |
| |
| | 1996 | | Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Proceedings Article | |
| 1 |
| Weidenbach [McRobbie, Slaney] |
| |
| 1 |
| Weidenbach [Robinson, Voronkov] |
| |
| 1 |
| Weidenbach [Schulz, Kepser] |
| |
| 1 |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-] |
| |
| 1 |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov] |
| |
| 1 |
| Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney] |
| |
| 1 |
| Weidenbach, Meyer, Cohrs, Engel, Keen [-] |
| |
| 3 |
| Werner, Bockmayr, Krischer [-] |
| |
| 2 |
| Werner, Bockmayr, Krischer [Werner, Krischer] |
| |
| 7 |
| |
| 1 |
| Weydert [Besnard, Hanks] |
| |
| 1 |
| Weydert [Brewka, Witteveen, Schaub] |
| |
| 1 |
| Weydert [Brewka, Witteveen] |
| |
| 1 |
| Weydert [Cohn, Schubert, Shapiro] |
| |
| 1 |
| Weydert [Cunningham, Gabbay] |
| |
| 1 |
| Weydert [de Leon, Wallin, Hulth] |
| |
| 1 |
| Weydert [Delgrande, Truszczynski] |
| |
| 1 |
| Weydert [Froideveaux, Kohlas] |
| |
| 1 |
| Weydert [Fuhrmann, Rott] |
| |
| 1 |
| |
| 1 |
| Weydert [Gabbay, Ohlbach] |
| |
| 1 |
| |
| 1 |
| Weydert [Lopez de Mantaraz, Poole] |
| |
| 1 |
| |
| 1 |
| Weydert [Rott, Albert, Brewka, Witteveen] |
| |
| 1 |
| Weydert [Wachsmuth, Rollinger, Brauer] |
| |
| 1 |
| Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen] |
| |
| 1 |
| Weydert, van der Torre [Lang] |
| |
| 1 |
| Weydert, van der Torre [van der Torre] |
| |
| 1 |
| |
| 1 |
| Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi] |
| |
| 1 |
| |
| 1 |
| Wu, Liu [Liu] |
| |
| 1 |
| |
| 1 |
| Wu, Tan, Li [Tan, Li] |
| |
| 1 |
| |
| 1 |
| Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh] |
| |
| 1 |
| Yuan, Billington, Freiheit [Yuan, Billington] |
| |
| 1 |
| Zeyer [-] |
| |
| 782 |
| |
