A Certified Functional Nominal C-Unification Algorithm

    Mauricio Ayala-Rincón
    Mauricio Ayala-Rincón
    Gabriel Ferreira Silva
    Gabriel Ferreira Silva
    Daniele Nantes-Sobrinho
    Daniele Nantes-Sobrinho

    LOPSTR, pp. 123-138, 2019.

    Cited by: 1|Bibtex|Views12|Links
    EI

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments