Counting of Teams in First-Order Team Logics.

Anselm Haak, Juha Kontinen, Fabian Mller, Heribert Vollmer, Fan Yang

Browse the full MFCS paper archive.