BibTeX cite key | Author/Editor | Year | | Title | Type |
BachmairGanzingerVoronkov-98-cade | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | 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 |
BachmairGanzingerWaldmann-92-alp | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | 1992 | | Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | Proceedings Article |
BachmairGanzingerWaldmann-93-kgs | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | 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 |
BachmairGanzingerWaldmann-93-lics | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | 1993 | | Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83 | Proceedings Article |
BachmairGanzingerWaldmann-94-aaecc | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | 1994 | | Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212 | Journal Article |
BackesDiss2005 | Backes, Werner | 2005 | | Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes | Thesis - PhD thesis |
BallPodelskiRajamaniTACAS2000 | Ball, Thomas
Podelski, Andreas
Rajamani, Sriram K. | 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 |
BarnettBasinHesketh92a | Barnett, Richard
Basin, David A.
Hesketh, Jane | 1993 | | A Recursion Planning Analysis of Inductive Completion
In: Annals of Mathematics and Artificial Intelligence [8], 363-381 | Journal Article |
Barth-95b | Barth, Peter | 1995 | | Logic-based 0-1 constraint programming | Book |
Barth-Diss | Barth, Peter | 1995 | | Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany | Thesis - PhD thesis |
Barth93b | Barth, Peter | 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 |
Barth93c | Barth, Peter | 1993 | | A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | Proceedings Article |
Barth94a | Barth, Peter | 1994 | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Proceedings Article |
BarthBockmayr-ICLP95 | Barth, Peter
Bockmayr, Alexander | 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 |
BarthBockmayr93a | Barth, Peter
Bockmayr, Alexander | 1993 | | Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | Proceedings Article |
BarthBockmayr94 | Barth, Peter
Bockmayr, Alexander | 1994 | | Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | Proceedings Article |
BarthBockmayr95e | Barth, Peter
Bockmayr, Alexander | 1995 | | Pseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53 | Journal Article |
BarthBockmayr96a | Barth, Peter
Bockmayr, Alexander | 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 |
BarthBockmayr97a | Barth, Peter
Bockmayr, Alexander | 1997 | | PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | Proceedings Article |
BarthBockmayr98 | Barth, Peter
Bockmayr, Alexander | 1998 | | Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | Journal Article |
Basin90b | Basin, David A.
Kaufmann, Matt | 1991 | | The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119 | Proceedings Article |
Basin91a | Basin, David A.
Howe, D. | 1991 | | Some Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494 | Proceedings Article |
Basin91b | Basin, David A.
Giunchiglia, Fausto
Traverso, P. | 1991 | | Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57 | Proceedings Article |
Basin91c | Basin, David A.
Brown, G. M.
Leeser, M. E. | 1991 | | Formally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250 | Journal Article |
Basin92a | Basin, David A.
Walsh, Toby | 1992 | | Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309 | Proceedings Article |
Basin93a | Basin, David A.
Constable, Robert L. | 1993 | | Metalogical Frameworks
In: Logical Environments, 1-29 | Part of a Book |
Basin93d | Basin, David A. | 1994 | | IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741 | Proceedings Article |
Basin94a | Basin, David A.
Walsh, Toby | 1994 | | Termination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483 | Proceedings Article |
Basin94c | Basin, David A. | 1994 | | A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66 | Journal Article |
Basin96c | Basin, David A.
Matthews, Seán
Viganò, Luca | 1996 | | A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92 | Part of a Book |