MPI-INF Logo
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/EditorYearTitle
4
Show details for BookBook
42
Show details for Part of a BookPart of a Book
9
Show details for ProceedingsProceedings
1
Show details for Electronic ProceedingsElectronic Proceedings
429
Show details for Proceedings ArticleProceedings Article
8
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
2
Show details for PosterPoster
176
Show details for Journal ArticleJournal Article
2
Show details for Electronic Journal ArticleElectronic Journal Article
19
Show details for ReportReport
39
Show details for Thesis - Master's thesisThesis - Master's thesis
26
Hide details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
Backes, Werner2005Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes
Barth, Peter1995Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany
Baumeister, Hubert1999Attachment IconRelations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes
Eisenbrand, Friedrich2000Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes
Fehrer, Detlef1995A unifying logical framework for reason maintenance
Universität des Saarlandes
Gamkrelidze, Alexander2001Attachment IconEinige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes
Graf, Peter1995Term Indexing
Universität des Saarlandes
Hopf, Jörn2001Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes
Hustadt, Ullrich1999Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes
Jaeger, Manfred1995Default Reasoning about Probabilities
Universität des Saarlandes
Kasper, Thomas1998A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes
Kazakov, Yevgeny2006Attachment IconSaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes
Korovin, Konstantin2003Knuth-Bendix orders in automated deduction and term rewriting
University of Manchester
Maier, Patrick2003Attachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
Meyer, Christoph1999Soft Typing for Clausal Inference Systems
Universität des Saarlandes
Mukhopadhyay, Supratik2001Attachment IconA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes
Nonnengart, Andreas1995A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes
Ohlbach, Hans Jürgen1988A Resolution Calculus for Modal Logics
Universität Kaiserslautern

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)