# | | Author/Editor | Year | | Title | |
4 |
| Book |
| |
42 |
| |
9 |
| Proceedings |
| |
1 |
| |
429 |
| Proceedings Article |
| |
8 |
| Electronic Proceedings Article |
| |
2 |
| Poster |
| |
176 |
| |
2 |
| Electronic Journal Article |
| |
19 |
| |
| | Basin, Giunchiglia, Kaufmann (ed.) | 1994 | | Proceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems | |
| | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | Hybrid Languages and Temporal Logic (Full Version) | |
| | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | 2001 | | The Complexity of Model Checking Mobile Ambients | |
| | Claus, Hopf, Schwefel (ed.) | 1996 | | Evolutionary Algorithms and their Application | |
| | de Nivelle, Hans
Demri, Stéphane | 2003 | | Deciding regular grammar logics with converse through first-order logic | |
| | de Nivelle, Hans
Kazakov, Yevgeny | 2004 | | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | |
| | Frank, Ian
Basin, David A. | 1996 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play | |
| | Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A. | 2002 | | A New Clausal Class Decidable by Hyperresolution | |
| | Hähnle, Reiner
Kerber, Manfred
Weidenbach, Christoph | 1996 | | Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | |
| | Hopf, Jörn | 1996 | | Optimizing Photo Mask Layout for Grey-tone Lithography | |
| | Hopf, Jörn | 1996 | | Optimizing Photo Mask Layout for Grey-tone Lithography | |
| | Maier, Patrick | 2004 | | Intuitionistic LTL and a New Characterization of Safety and Liveness | |
| | Ohlbach, Hans Jürgen
Koehler, Jana | 1996 | | Reasoning about Sets via Atomic Decomposition | |
| | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | 2004 | | Summaries for While Programs with Recursion | |
| | Podelski, Andreas
Wagner, Silke | 2007 | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | |
| | Socher-Ambrosius, Rolf | 1991 | | On the Church-Rosser Property in Left-Linear Systems | |
| | Sofronie-Stokkermans, Viorica | 1998 | | Resolution-based Theorem Proving for SHn-Logics | |
| | Struth, Georg | 1994 | | Philosophical Logics: A Survey and a Bibliography | |
| | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | 1993 | | How to Realize LSE Narrowing | |
39 |
| |