Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format
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
| # |  | Year | edoc | Lck | Author(s) [non member] | Editor(s) [non member] | Title | Type | edoc identifier | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 698 |
| | ||||||||||||
| 10 |
| | ||||||||||||
| 39 |
| | ||||||||||||
| 26 |
| | ||||||||||||
| 2006 | Kazakov, Yevgeny |  | Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment Universität des Saarlandes | Thesis - PhD thesis | C84B4763BC1994CDC1257145004631F6-Kazakov2005 | | ||||||||
| | 2005 | | Backes, Werner | | Programmanalyse des XRTL Zwischencodes Universität des Saarlandes | Thesis - PhD thesis | F7CE8EEF2522E595C1256FE3007F965D-BackesDiss2005 | | |||||
| 2003 | Korovin, Konstantin | Knuth-Bendix orders in automated deduction and term rewriting University of Manchester | Thesis - PhD thesis | E3C39EF5774D742BC1256E23006B0F5E-KorovinPhD2003 | | |||||||||
| | 2003 | | Maier, Patrick | | | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Universität des Saarlandes | Thesis - PhD thesis | 97A2749806AF9DF1C1256EC2005EAF70-Maier2003 | | ||||
| 2001 | Gamkrelidze, Alexander | | Einige Optimierungsmethoden hierarchischer Schaltkreise Universität des Saarlandes | Thesis - PhD thesis | 12484DF28310855CC1256B49004727A6-Gamkrelidze-Thesis-2001 | | ||||||||
| | 2001 | | Hopf, Jörn | | Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem Universität des Saarlandes | Thesis - PhD thesis | D9E61C40FD0C5700C1256D280044BDD2-HopfDiss2001 | | |||||
| 2001 | Mukhopadhyay, Supratik | | A Uniform Constraint-based Framework for the Verification of Infinite State Systems Universität des Saarlandes | Thesis - PhD thesis | 01D792E063A8C408C1256A72005560AC-Mukhopadhyay-Thesis-2001 | | ||||||||
| | 2000 | | Eisenbrand, Friedrich | | Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra Universität des Saarlandes | Thesis - PhD thesis | D7F17E3D0E338FF9C1256A0000431A5B-Eisenbrand2000 | | |||||
| 1999 | Baumeister, Hubert | | Relations between Abstract Datatypes modeled as Abstract Datatypes Universität des Saarlandes | Thesis - PhD thesis | 259AAD6E949570BFC12568A900543BDC-BaumeisterDiss99 | | ||||||||
| | 1999 | | Hustadt, Ullrich | | Resolution-Based Decision Procedures for Subclasses of First-Order Logic Universität des Saarlandes | Thesis - PhD thesis | 3C4F8D74A0A484FFC125675A005CF7E5-Hustadt1999 | | |||||
| 1999 | Meyer, Christoph | Soft Typing for Clausal Inference Systems Universität des Saarlandes | Thesis - PhD thesis | E3964A9439776535C1256809005340DB-Meyer-Diss | | |||||||||
| | 1999 | | Stuber, Jürgen | | | Superposition Theorem Proving for Commutative Algebraic Theories Universität des Saarlandes | Thesis - PhD thesis | 38C07437FD69F7E3C1256951003719A5-Stuber1999 | | ||||
| 1999 | Tzakova, Miroslava | Hybrid Languages Universität des Saarlandes | Thesis - PhD thesis | 291126B1799920CAC125686A004B8901-Tzakova1999 | | |||||||||
| | 1998 | | Kasper, Thomas | | A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming Universität des Saarlandes | Thesis - PhD thesis | 01DDA49C6FF1D250C12566FF00456AA6-KasperDiss1998 | | |||||
| 1998 | Struth, Georg | Canonical Transformation in Algebra, Universal Algebra and Logic Universität des Saarlandes | Thesis - PhD thesis | 995A157C8352C09BC12567750041FAE8-StruthDiss1999 | | |||||||||
| | 1997 | | Schmidt, Renate A. | | Optimised Modal Translation and Resolution Universität des Saarlandes | Thesis - PhD thesis | B051B4AF36990D1EC1256559005776F7-Schmidt97d | | |||||
| 1997 | Viganò, Luca | A Framework for Non-Classical Logics Universität des Saarlandes | Thesis - PhD thesis | 891E1A29FE081653C125651D0046B879-Vigano97 | | |||||||||
| | 1997 | | Waldmann, Uwe | | Cancellative Abelian Monoids in Refutational Theorem Proving Universität des Saarlandes | Thesis - PhD thesis | 0677A953E435DEBCC12565850050E6A5-Waldmann1997 | | |||||
| 1997 | Zeyer, Jörg | Eine Beobachtungs-Logik für modulare Sprachen Universität des Saarlandes | Thesis - PhD thesis | 0FBA3F6E1B6FBC4EC1256A38004C7E98-ZeyerDiss1997 | | |||||||||
| | 1996 | | Weidenbach, Christoph | | Computational Aspects of a First-Order Logic with Sorts Universität des Saarlandes | Thesis - PhD thesis | 28087E6665761AB5C1256458003556E3-Weidenbach96e | | |||||
| 1995 | Barth, Peter | Logic-based 0-1 Constraint Solving in Constraint Logic Programming Fachbereich Informatik, Universität des Saarlandes, Germany | Thesis - PhD thesis | B40EFE1A58AD5E2CC12561440062485A-Barth-Diss | | |||||||||
| | 1995 | | Fehrer, Detlef | | A unifying logical framework for reason maintenance Universität des Saarlandes | Thesis - PhD thesis | 293D475E4BA8883AC1256A38004B752F-FehrerDiss1995 | | |||||
| 1995 | Graf, Peter | Term Indexing Universität des Saarlandes | Thesis - PhD thesis | 09E4AD18C8E7C54AC125647C002B817F-Graf-95-phd | | |||||||||
| | 1995 | | Jaeger, Manfred | | Default Reasoning about Probabilities Universität des Saarlandes | Thesis - PhD thesis | DED7848ED229A117C12562F90050F618-JaegerThesis | | |||||
| 1995 | Nonnengart, Andreas | A Resolution-Based Calculus for Temporal Logics Universität des Saarlandes | Thesis - PhD thesis | E2DA5AF2849CB50BC12562F90054DE49-Nonnengart-Dissertation | | |||||||||
| | 1988 | | Ohlbach, Hans Jürgen | | A Resolution Calculus for Modal Logics Universität Kaiserslautern | Thesis - PhD thesis | 87D0C4F36A47E62CC1256479004E38F8-Ohlbach88 | | |||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)