|
Search the dblp DataBase
Jochen Meßner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jochen Meßner
Pattern Matching in Trace Monoids (Extended Abstract). [Citation Graph (0, 0)][DBLP] STACS, 1997, pp:571-582 [Conf]
- Jochen Meßner
On Optimal Algorithms and Optimal Proof Systems. [Citation Graph (0, 0)][DBLP] STACS, 1999, pp:541-550 [Conf]
- Jochen Meßner, Jacobo Torán
Optimal Proof Systems for Propositional Logic and Complete Sets. [Citation Graph (0, 0)][DBLP] STACS, 1998, pp:477-487 [Conf]
- Jochen Meßner, Jacobo Torán
Optimal proof systems for Propositional Logic and complete sets [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 1997, v:4, n:26, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|