D.J.C. Staudt

Identifiers

• name variant D.J.C. Staudt 0.60 · backfill

Papers (2)

1. Completeness for Two Left-Sequential Logics cs.LO · 2012 · author #1
2. Short-circuit logic cs.LO · 2010 · author #3

Mentions

• 1206.1936 #1 · backfill · confidence 0.70 D.J.C. Staudt
• 1010.3674 #3 · backfill · confidence 0.70 D.J.C. Staudt

Frequent Coauthors

• A. Ponse 1 shared papers
• Jan A. Bergstra 1 shared papers