Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
cardinality logic
cardinality logic
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
presburger arithmetic
(1)
set size logic
(1)
set theory
(1)
set cardinality
(1)
proof system
(1)
boolean algebra
(1)
Papers
Logics for Sizes with Union or Intersection
AAAI 2020
<
1
>