Caleb Kisby

1 papers · 2020–2020 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8)

Conferences

AAAI (1)

Top co-authors

Alex Kruckman (1) Saúl Blanco (1) Lawrence Moss (1)

Keywords

boolean algebra (1) proof system (1) cardinality logic (1) presburger arithmetic (1) set size logic (1) set theory (1) set cardinality (1)

Papers

Logics for Sizes with Union or Intersection AAAI 2020