# | | Author/Editor | Year | | Title | |
| | 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 | |
| | Basin, David A.
Walsh, Toby | 1996 | | A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180 | |
| | Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | 2006 | | Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | |
| | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Sinner, Alex | 2004 | | Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286 | |
| | Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan | 2005 | | Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11 | |
| | Baumgartner, Peter
Grabowski, Barbara
Oevel, Walter
Melis, Erica | 2004 | | In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45 | |
| | Ben-Amram, Amir M.
Lee, Chin Soon | 2007 | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | |
| | Bezem, Marc
Hendriks, Dimitri
de Nivelle, Hans | 2002 | | Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275 | |
| | Blackburn, Patrick
Tzakova, Miroslava | 1999 | | Hybrid Languages and Temporal Logic
In: Logic Journal of the IGPL [7], 27-54 | |
| | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | Hybrid Completeness
In: Logic Journal of the IGPL [6], 625-650 | |
| | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49 | |
| | Blanchet, Bruno
Podelski, Andreas | 2005 | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90 | |
| | Bockmayr, Alexander | 1993 | | Conditional Narrowing Modulo a Set of Equations
In: Applicable Algebra in Engineering, Communication and Computing [4], 147-168 | |
| | Bockmayr, Alexander
Brzoska, C.
Deussen, P.
Varsek, I. | 1991 | | KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung
In: Informatik--Forschung und Entwicklung [6], 128-140 | |
| | Bockmayr, Alexander
Eisenbrand, Friedrich | 2001 | | Cutting planes and the elementary closure in fixed dimension
In: Mathematics of Operations Research [26], 304-312 | |
| | Bockmayr, Alexander
Eisenbrand, Friedrich
Hartmann, Mark
Schulz, Andreas S. | 1999 | | On the Chvátal Rank of Polytopes in the 0/1 Cube
In: Discrete Applied Mathematics [98], 21-27 | |
| | Bockmayr, Alexander
Kasper, Thomas | 1998 | | Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300 | |
| | Bockmayr, Alexander
Krischer, Stefan
Werner, Andreas | 1995 | | Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155 | |
| | Booth, Richard | 2001 | | The lexicographic closure as a revision process
In: Journal of Applied Non-Classical Logics [11], 35-58 | |
| | Brahm, Uwe
Pitz, Werner | 1990 | | Parkwächter
In: c't Magazin für computer technik [-], 252-253 | |
| | Brink, Chris
Britz, Katarina
Schmidt, Renate A. | 1994 | | Peirce Algebras
In: Formal Aspects of Computing [6], 339-358 | |
| | Brink, Chris
Gabbay, Dov M.
Ohlbach, Hans Jürgen | 1994 | | Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90 | |
| | Brink, Chris
Rewitzky, I. M.
Schmidt, Renate A. | 1991 | | Autodescriptivity: Beware!
In: The Computer Journal [34], 380-381 | |
| | Buchmann, Johannes
Eisenbrand, Friedrich | 1999 | | On Factor Refinement in Number Fields
In: Mathematics of Computation [68], 345-350 | |
| | Bugliesi, Michele
Delzanno, Giorgio
Liquori, Luigi
Martelli, Maurizio | 2000 | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | |
| | Chadha, Ritu
Plaisted, David A. | 1994 | | Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122 | |
| | Chadha, Ritu
Plaisted, David A. | 1993 | | On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744 | |
| | Charatonik, Witold | 1998 | | An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151 | |
| | Charatonik, Witold | 1998 | | Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75 | |
| | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | 2003 | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | |