# | Y | | Author/Editor | | Title | |
1 |
| 2013 |
| |
2 |
| |
16 |
| 2007 |
| |
43 |
| |
41 |
| 2005 |
| |
37 |
| |
36 |
| 2003 |
| |
39 |
| |
58 |
| 2001 |
| |
48 |
| |
61 |
| 1999 |
| |
73 |
| |
42 |
| 1997 |
| |
64 |
| |
55 |
| 1995 |
| |
64 |
| |
2 |
|
| Part of a Book |
| |
1 |
|
| |
43 |
|
| Proceedings Article |
| |
| | | Antoy, Sergio
Echahed, Rachid
Hanus, Michael | | A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279 | |
| | | Bachmair, Leo
Ganzinger, Harald | | Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301 | |
| | | Bachmair, Leo
Ganzinger, Harald | | Ordered Chaining for Total Orderings
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450 | |
| | | Bachmair, Leo
Ganzinger, Harald | | Rewrite Techniques for Transitive Relations
In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393 | |
| | | Barth, Peter | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | |
| | | Barth, Peter
Bockmayr, Alexander | | Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | |
| | | Basin, David A. | | IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741 | |
| | | Basin, David A. | | Logic Frameworks for Logic Programs
In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16 | |
| | | Basin, David A.
Walsh, Toby | | Termination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483 | |
| | | Bockmayr, Alexander | | Cutting planes in constraint logic programming (Abstract)
In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics, | |
| | | Bockmayr, Alexander | | Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract)
In: Operations Research '93, 18th Symposium on Operations Research, 47-49 | |