Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
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 | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Avenhaus, Jürgen |
| |
| | 2003 | [Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd] | | | On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233 | Journal Article | |
4 |
| Ayari, Abdelwaheb |
| |
1 |
| |
9 |
| Baader, Franz (ed.) |
| |
1 |
| |
20 |
| Bachmair, Leo |
| |
1 |
| |
1 |
| Bach, Alexander |
| |
3 |
| |
3 |
| Bajcsy, R. (ed.) |
| |
1 |
| |
1 |
| Ball, Thomas |
| |
1 |
| |
2 |
| Ball, Tom |
| |
1 |
| |
2 |
| Barkaoui, Kamel (ed.) |
| |
1 |
| |
1 |
| Bartenstein, Oskar (ed.) |
| |
14 |
| |
54 |
| Basin, David A. |
| |
1 |
| |
2 |
| Basin, David (ed.) |
| |
4 |
| |
13 |
| Baumgartner, Peter |
| |
3 |
| |
3 |
| Beckert, Bernhard (ed.) |
| |
1 |
| |
1 |
| Behrmann, Gerd |
| |
1 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)