1 |
| Kaoen, Joost-Pieter (ed.) |
| |
1 |
| Khasidashvili, Zurab (ed.) |
| |
1 |
| Kijania-Placek, Katarzyna (ed.) |
| |
| | 1998 | Bachmair, Leo
Ganzinger, Harald | Kirchner, Claude
Kirchner, Hélène | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | Proceedings Article | |
| | 1998 | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | Kirchner, Claude
Kirchner, Hélène | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | [Kirchner, Claude]
[Kirchner, Hélène] | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1998 | Waldmann, Uwe | [Kirchner, Claude]
[Kirchner, Hélène] | | Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159 | Proceedings Article | |
| | 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 | Hanus, Michael | Kirchner, Hélène
Levi, Georgio | | Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | 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 | |