Skip to content
conftrace_

set size logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Logics for Sizes with Union or Intersection AAAI 2020