1 |
| Jeusfeld, Manfred A. (ed.) |
| |
3 |
| Jouannaud, Jean-Pierre (ed.) |
| |
| | 1994 | Bachmair, Leo
Ganzinger, Harald | Jouannaud, Jean-Pierre | | Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301 | Proceedings Article | |
| | 1994 | [Johann, Patricia]
Socher-Ambrosius, Rolf | Jouannaud, Jean-Pierre | | Solving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367 | Proceedings Article | |
1 |
| Kaoen, Joost-Pieter (ed.) |
| |