Publications Master Template
Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 | Year | | Title | BibTeX cite key | |
|---|
 | van der Torre |
| |
|
| |
| van der Torre, Weydert |
| |
|
| |
| 2000 | | Farmer's Theorem Revisited
In: Information Processing Letters [74], 47-53 | Veanes99 | |
| 1998 | | The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275 | Veanes98 | |
| Veit |
| |
|
| |
| Vorobyov |
| |
|
| |
| Voronkov |
| |
|
| |
| Waldmann |
| |
|
| |
| Weidenbach |
| |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić |
| |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić |
| |
|
| |
| Weidenbach, Meyer, Cohrs, Engel, Keen |
| |
| Werner, Bockmayr, Krischer |
| |
| Weydert |
| |
| Weydert, Brewka, Witteveen (ed.) |
| |
| Weydert, van der Torre |
| |
|
| |
| Wies, Kuncak, Lam, Podelski, Rinard |
| |
|
| |
| Wu, Liu |
| |
|
| |
| Wu, Tan, Li |
| |
|
| |
| Yoshida, Bundy, Green, Walsh, Basin |
| |
| Yuan, Billington, Freiheit |
| |
| Zeyer |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)
