# | | Year | | Title | Type | |
1 |
| Wagner, Podelski [Podelski, Raskin, Thiagarajan] |
| |
6 |
| |
| | 2002 | | A New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12 | Proceedings Article | |
| | 2002 | | Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861 | Journal Article | |
| | 2002 | | Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829 | Journal Article | |
| | 1998 | | Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49 | Journal Article | |
| | 1997 | | Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1992 | | Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35 | Journal Article | |
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 |
| Weidenbach [Hermann, Salzer] |
| |
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 |
| Weydert [-] |
| |
1 |
| |
1 |
| Weydert [Brewka, Witteveen, Schaub] |
| |
1 |
| Weydert [Brewka, Witteveen] |
| |