Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
6 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
2 |
| |||||||||
1992 | Bachmair, Leo Ganzinger, Harald Waldmann, Uwe | Kirchner, Hélène Levi, G. | Theorem proving for hierarchic first-order theories In: Algebraic and Logic Programming, 420-434 | Proceedings Article | ||||||
1992 | Socher-Ambrosius, Rolf | Kirchner, Hélène Levi, G. | A Goal Oriented Strategy Based on Completion In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445 | Proceedings Article |