Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 3. Type of Publication - 1. All Types
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Author/Editor | Year | Title | ||||
|---|---|---|---|---|---|---|---|---|
| Ohlbach, Hans Jürgen | 1988 | A Resolution Calculus for Modal Logics Universität Kaiserslautern | | |||||
| | Schmidt, Renate A. | 1997 | Optimised Modal Translation and Resolution Universität des Saarlandes | | |||
| Struth, Georg | 1998 | Canonical Transformation in Algebra, Universal Algebra and Logic Universität des Saarlandes | | |||||
| | Stuber, Jürgen | 1999 |  | Superposition Theorem Proving for Commutative Algebraic Theories Universität des Saarlandes | | ||
| Tzakova, Miroslava | 1999 | Hybrid Languages Universität des Saarlandes | | |||||
| | Viganò, Luca | 1997 | A Framework for Non-Classical Logics Universität des Saarlandes | | |||
| Waldmann, Uwe | 1997 | Cancellative Abelian Monoids in Refutational Theorem Proving Universität des Saarlandes | | |||||
| | Weidenbach, Christoph | 1996 | Computational Aspects of a First-Order Logic with Sorts Universität des Saarlandes | | |||
| Zeyer, Jörg | 1997 | Eine Beobachtungs-Logik für modulare Sprachen Universität des Saarlandes | | |||||
| 9 |
| | ||||||
| 1 |
| | ||||||
| 11 |
| | ||||||
| 4 |
| | ||||||
| 782 |
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)