Inproceedings,

First-order logic with counting.

, and .
LICS, page 1-12. IEEE Computer Society, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews