# | Y | | Author/Editor | | Title | |
1 |
| 2013 |
| |
2 |
| |
16 |
| 2007 |
| |
43 |
| |
41 |
| 2005 |
| |
37 |
| |
36 |
| 2003 |
| |
39 |
| |
58 |
| 2001 |
| |
48 |
| |
61 |
| 1999 |
| |
73 |
| |
5 |
|
| Part of a Book |
| |
37 |
|
| |
22 |
|
| Journal Article |
| |
| | | Bachmair, Leo
Ganzinger, Harald | | Ordered Chaining Calculi for First-Order Theories of Transitive Relations
In: Journal of the ACM [45], 1007-1049 | |
| | | Barth, Peter
Bockmayr, Alexander | | Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | |
| | | Basin, David A.
Klarlund, Nils | | Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288 | |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263 | |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | |
| | | Blackburn, Patrick
Tzakova, Miroslava | | Hybrid Completeness
In: Logic Journal of the IGPL [6], 625-650 | |
| | | Blackburn, Patrick
Tzakova, Miroslava | | Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49 | |
| | | Bockmayr, Alexander
Kasper, Thomas | | Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300 | |
| | | Charatonik, Witold | | An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151 | |
| | | Charatonik, Witold | | Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75 | |
| | | Frank, Ian
Basin, David A. | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123 | |
| | | Ganzinger, Harald | | Preface
In: Theoretical Computer Science [208], 1 | |
| | | Krishna Rao, M. R. K. | | Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86 | |
| | | Letz, Reinhold
Weidenbach, Christoph | | Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | |
| | | Matthews, Seán
Basin, David A. | | Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14 | |