Balder ten Cate (UCSC)

Identifiers

• name variant Balder ten Cate (UCSC) 0.60 · backfill

Papers (1)

1. Unary negation cs.LO · 2013 · author #2

Mentions

• 1309.2069 #2 · backfill · confidence 0.70 Balder ten Cate (UCSC)

Frequent Coauthors

• Luc Segoufin (INRIA) 1 shared papers