| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| 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 |
| Basin96d | Basin, David A.
Matthews, Seán
Viganò, Luca | 1996 | | 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 | Proceedings Article |
| Basin96x | Kraan, Ina
Basin, David A.
Bundy, Alan | 1996 | | Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | Part of a Book |
| Basin96y | Basin, David A.
Walsh, Toby | 1996 | | A Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180 | Part of a Book |
| Basin97a | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717 | Journal Article |
| Basin97b | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | Journal Article |
| Basin97c | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Journal Article |
| Basin97d | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Proceedings Article |
| Basin98a | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | Proceedings Article |
| BasinAbdu95 | Ayari, Abdelwaheb
Basin, David A. | 1995 | | Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100 | Proceedings Article |
| BasinAnderson00 | Anderson, Penny
Basin, David A. | 2000 | | Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36 | Journal Article |
| BasinBundyKraanMatthews93c | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | 1993 | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | Proceedings Article |
| BasinFriedrich96 | Basin, David A.
Friedrich, Stefan | 1996 | | Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | Proceedings Article |
