| |
| 1999 | ||
|---|---|---|
| 4 | EE | Jochen Meßner: On Optimal Algorithms and Optimal Proof Systems. STACS 1999: 541-550 |
| 1998 | ||
| 3 | Jochen Meßner, Jacobo Torán: Optimal Proof Systems for Propositional Logic and Complete Sets. STACS 1998: 477-487 | |
| 1997 | ||
| 2 | Jochen Meßner: Pattern Matching in Trace Monoids (Extended Abstract). STACS 1997: 571-582 | |
| 1 | EE | Jochen Meßner, Jacobo Torán: Optimal proof systems for Propositional Logic and complete sets Electronic Colloquium on Computational Complexity (ECCC) 4(26): (1997) |
| 1 | Jacobo Torán | [1] [3] |