Jan Johannsen

Identifiers

• name variant Jan Johannsen 0.60 · backfill

Papers (3)

1. Improved Separations of Regular Resolution from Clause Learning Proof Systems cs.LO · 2012 · author #3
2. Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning cs.LO · 2008 · author #3
3. An Elementary Fragment of Second-Order Lambda Calculus cs.LO · 2002 · author #2

Mentions

• 1208.2469 #3 · backfill · confidence 0.70 Jan Johannsen
• 0811.1075 #3 · backfill · confidence 0.70 Jan Johannsen

Frequent Coauthors

• Jan Hoffmann 1 shared papers
• Klaus Aehlig 1 shared papers
• Maria Luisa Bonet 1 shared papers
• Sam Buss 1 shared papers
• Samuel R. Buss 1 shared papers