Jan Johannsen
Identifiers
- name variant Jan Johannsen 0.60 · backfill
Papers (3)
- Improved Separations of Regular Resolution from Clause Learning Proof Systems cs.LO · 2012 · author #3
- Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning cs.LO · 2008 · author #3
- An Elementary Fragment of Second-Order Lambda Calculus cs.LO · 2002 · author #2
Mentions
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