Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/abstract-14⫷Vol-3739/abstract-15⫸Vol-3739/abstract-16
Louwe KuijerTony TanFrank WolterMichael Zakharyaschev

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)