| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 58 |
| 2001 |
| |
| 48 |
| |
| 61 |
 | 1999 |
| |
| 6 |
|
| |
| 2 |
|
| Proceedings |
| |
| 30 |
|
| |
| 15 |
|
| Journal Article |
| |
| | | Basin, David A.
Friedrich, Stefan | | Modeling a Hardware Synthesis Methodology in Isabelle
In: Formal Methods in Systems Design [15], 99-122 | |
| | | Blackburn, Patrick
Tzakova, Miroslava | | Hybrid Languages and Temporal Logic
In: Logic Journal of the IGPL [7], 27-54 | |
| | | Bockmayr, Alexander
Eisenbrand, Friedrich
Hartmann, Mark
Schulz, Andreas S. | | On the Chvátal Rank of Polytopes in the 0/1 Cube
In: Discrete Applied Mathematics [98], 21-27 | |
| | | Buchmann, Johannes
Eisenbrand, Friedrich | | On Factor Refinement in Number Fields
In: Mathematics of Computation [68], 345-350 | |
| | | Delzanno, Giorgio
Galmiche, Didier
Martelli, Maurizio | | A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | |
| | | Eisenbrand, Friedrich | | On the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300 | |
| | | Gurevich, Yuri
Veanes, Margus | | Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235 | |
| | | Hustadt, Ullrich
Schmidt, Renate A. | | An Empirical Analysis of Modal Theorem Provers
In: Journal of Applied Non-Classical Logics [9], 479-522 | |
| | | Madden, Peter
Bundy, Alan
Smaill, Alan | | Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | |
| | | Schmidt, Renate A. | | Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396 | |
| | | van der Torre, Leendert W. N.
Tan, Yao-Hua | | Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78 | |
| | | van der Torre, Leendert W. N.
Tan, Yao-Hua | | Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67 | |
| | | Voronkov, Andrei | | The ground-negative fragment of first-order logics is $\pi^p_2$-complete
In: The Journal of Symbolic Logic [64], 984-990 | |
| | | Wang, Yongge | | Randomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529 | |
| | | Weidenbach, Christoph | | SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21 | |
