Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-01⫷Vol-2211/paper-02⫸Vol-2211/paper-03
Lidia Tendera

Decidability Frontier for Fragments of First-Order Logic with Transitivity