Author Info
Name
Papers
Collaborators
JOCHEN MESSNER
2
2
Citations 
PageRank 
Referers 
13
1.19
18
Referees 
References 
35
19
Title
Citations
PageRank
Year
Optimal Proof Systems for Propositional Logic and Complete Sets130.861997
Pattern Matching in Trace Monoids (Extended Abstract)00.341997