A. Ponse

Identifiers

• name variant A. Ponse 0.60 · backfill

Papers (3)

1. Short-circuit logic cs.LO · 2010 · author #2
2. Proposition Algebra with Projective Limits cs.LO · 2008 · author #2
3. Tuplix Calculus cs.LO · 2007 · author #2

Mentions

• 1010.3674 #2 · backfill · confidence 0.70 A. Ponse
• 0807.3648 #2 · backfill · confidence 0.70 A. Ponse
• 0712.3423 #2 · backfill · confidence 0.70 A. Ponse

Frequent Coauthors

• J.A. Bergstra 2 shared papers
• D.J.C. Staudt 1 shared papers
• Jan A. Bergstra 1 shared papers
• M.B. van der Zwaag 1 shared papers