Leroy Chew

Identifiers

• name variant Leroy Chew 0.60 · backfill

Papers (4)

1. On Proof Systems for #QBF cs.LO · 2026 · author #2
2. Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking cs.LO · 2026 · author #1
3. Lifting QBF Resolution Calculi to DQBF cs.LO · 2016 · author #2
4. Tableau vs. Sequent Calculi for Minimal Entailment cs.LO · 2014 · author #2

Mentions

• 2606.02143 #2 · arxiv_oai · confidence 0.70 Leroy Chew
• 1405.1565 #2 · backfill · confidence 0.70 Leroy Chew
• 2605.29763 #1 · arxiv_oai · confidence 0.70 Leroy Chew

Frequent Coauthors

• Olaf Beyersdorff 2 shared papers
• Anil Shukla 1 shared papers
• Martin Suda 1 shared papers
• Renate Schmidt 1 shared papers
• Sravanthi Chede 1 shared papers
• Tom\'a\v{s} Peitl 1 shared papers
• Vaibhav Krishan 1 shared papers