Decidability Frontier for Fragments of First-Order Logic with Transitivity

    Description Logics, 2018.

    Cited by: 0|Bibtex|Views0|Links
    EI

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments