FO^2 with one transitive relation is decidable

    STACS, pp. 317-328, 2013.

    Cited by: 34|Bibtex|Views0|Links
    EI

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments