| # | 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 |
| |
| 1 |
|
| Book |
| |
| 6 |
|
| |
| 1 |
|
| Proceedings |
| |
| 35 |
|
| |
| | | Ayari, Abdelwaheb
Basin, David A. | | Generic System Support for Deductive Program Development
In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328 | |
| | | Barth, Peter
Bockmayr, Alexander | | Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9 | |
| | | Basin, David A.
Friedrich, Stefan | | Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | |
| | | Basin, David A.
Ganzinger, Harald | | Complexity Analysis Based on Ordered Resolution
In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465 | |
| | | Basin, David A.
Matthews, Seán | | Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185 | |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | Implementing Modal and Relevance Logics in a Logical Framework
In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397 | |
| | | Bockmayr, Alexander | | Constraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4 | |
| | | Bockmayr, Alexander
Barth, Peter
Kasper, Thomas | | Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109 | |
| | | Bockmayr, Alexander
Kasper, Thomas | | Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41 | |
| | | Cantu, Francisco
Bundy, Alan
Smaill, Alan
Basin, David A. | | Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108 | |
| | | Charatonik, Witold
Podelski, Andreas | | The Independence Property of a Class of Set Constraints
In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), 76-90 | |
| | | Ganzinger, Harald | | Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | |
