Skip to content
conftrace_

set cardinality

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Logics for Sizes with Union or Intersection AAAI 2020