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


Vol-3739/abstract-14⫷Vol-3739/abstract-15⫸Vol-3739/abstract-16

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