Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: IMPRS 1st Report
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 | Title | Type | ||||
|---|---|---|---|---|---|---|---|
| |||||||
| | ||||||
| |||||||
| | ||||||
| [1] | A. Gamkrelidze | Einige Optimierungsmethoden hierarchischer Schaltkreise Universität des Saarlandes | Thesis - Doctoral dissertation | | |||
| [2] | J. Hopf | Photomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem Universität des Saarlandes | Thesis - Doctoral dissertation | | ||
| [3] | K. Korovin | Knuth-Bendix orders in automated deduction and term rewriting University of Manchester | Thesis - Doctoral dissertation | | |||
| [4] | P. Maier | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Universität des Saarlandes | Thesis - Doctoral dissertation | | ||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)