Author/Editor [Non Institute] | Year | | Title | Type |
Bachmair, Ganzinger, Lynch, Snyder
(Ed: Kapur)
[-] | 1992 | | Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476 | Proceedings Article |
Bachmair, Ganzinger, Lynch, Snyder
[Lynch, Snyder] | 1995 | | Basic Paramodulation
In: Information and Computation [121], 172-192 | Journal Article |
Bachmair, Ganzinger, Stuber
(Ed: Astesiano, Reggio, Tarlecki)
[-] | 1995 | | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article |
Bachmair, Ganzinger, Voronkov
(Ed: Kirchner, Kirchner)
[-] | 1998 | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article |
Bachmair, Ganzinger, Waldmann
(Ed: Gottlob, Leitsch, Mundici)
[Bachmair, Gottlob, Leitsch, Mundici] | 1993 | | Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96 | Proceedings Article |
Bachmair, Ganzinger, Waldmann
(Ed: Kirchner, Levi)
[-] | 1992 | | Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | Proceedings Article |
Bachmair, Ganzinger, Waldmann
[-] | 1994 | | Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212 | Journal Article |
Bachmair, Ganzinger, Waldmann
[Bachmair] | 1993 | | Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83 | Proceedings Article |
Backes
[-] | 2005 | | Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes | Thesis - PhD thesis |
Backes, Wetzel
(Ed: Bosma)
[Wetzel] | 2000 | | New Results on Lattice Basis Reduction in Practice
In: Proceedings of the 4th International Algorithmic Number Theory Symposium (ANTS-IV), 135-152 | Proceedings Article |
Backes, Wetzel
(Ed: Näher, Wagner)
[Wetzel] | 2001 | | Lattice Basis Reduction with Dynamic Approximation
In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73 | Proceedings Article |
Ball, Podelski, Rajamani
(Ed: Margaria, Yi)
[Ball, Rajamani] | 2001 | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | Proceedings Article |
Barnett, Basin, Hesketh
[-] | 1993 | | A Recursion Planning Analysis of Inductive Completion
In: Annals of Mathematics and Artificial Intelligence [8], 363-381 | Journal Article |
Barth
(Ed: Benhamou, Colmerauer, Smolka)
[-] | 1993 | | A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Proceedings Article |
Barth
(Ed: Jouannaud)
[-] | 1994 | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Proceedings Article |
Barth
(Ed: Voronkov)
[-] | 1993 | | Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | Proceedings Article |
Barth
[-] | 1995 | | Logic-based 0-1 constraint programming | Book |
Barth
[-] | 1995 | | Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany | Thesis - PhD thesis |
Barth, Bockmayr
(Ed: Sterling)
[-] | 1995 | | Finite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147 | Proceedings Article |
Barth, Bockmayr
[-] | 1997 | | PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | Proceedings Article |
Barth, Bockmayr
[-] | 1996 | | Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9 | Proceedings Article |
Barth, Bockmayr
[-] | 1995 | | Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53 | Journal Article |
Barth, Bockmayr
[-] | 1994 | | Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | Proceedings Article |
Barth, Bockmayr
[-] | 1993 | | Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | Proceedings Article |
Barth, Bockmayr
[Barth] | 1998 | | Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | Journal Article |
Barth, Kleine Büning, Weidenbach
(Ed: Dreschler-Fischer, Pribbenow)
[Kleine Büning] | 1995 | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Proceedings Article |
Basin
(Ed: Fribourg, Turini)
[-] | 1994 | | 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 | Proceedings Article |
Basin
(Ed: Van Hentenryck)
[-] | 1994 | | IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741 | Proceedings Article |
Basin
[-] | 1995 | | Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes | Thesis - Habilitation thesis |
Basin
[-] | 1994 | | A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66 | Journal Article |