1 research outputs found

    Remarks on many-sorted equational logic with respect to algebraic implementations

    No full text
    corecore