Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
2004 | Ganzinger, Harald Sofronie-Stokkermans, Viorica Waldmann, Uwe | Modular Proof Systems for Partial Functions with Weak Equality In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Proceedings Article | ||||||
1999 | Stuber, Jürgen | Theory path orderings In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162 | Proceedings Article | ||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
20 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
36 |
| ||||||||
2 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
1 |
|
Previous Page | Next Page |