Jochen Meßner

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Jochen Meßner
On Optimal Algorithms and Optimal Proof Systems. STACS (1999)
Jochen Meßner, Jacobo Torán
Optimal Proof Systems for Propositional Logic and Complete Sets. STACS (1998)
Jochen Meßner
Pattern Matching in Trace Monoids (Extended Abstract). STACS (1997)
Jochen Meßner, Jacobo Torán
Optimal proof systems for Propositional Logic and complete sets Electron. Colloquium Comput. Complex. 4 (26) (1997)