D.J.C. Staudt
Identifiers
- name variant D.J.C. Staudt 0.60 · backfill
Papers (2)
- Completeness for Two Left-Sequential Logics cs.LO · 2012 · author #1
- Short-circuit logic cs.LO · 2010 · author #3
Mentions
Frequent Coauthors
- A. Ponse 1 shared papers
- Jan A. Bergstra 1 shared papers